Sciweavers

5227 search results - page 905 / 1046
» Enterprise modeling using class and instance models
Sort
View
CCECE
2006
IEEE
16 years 28 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ICCSA
2005
Springer
16 years 12 days ago
Sinogram Denoising of Cryo-Electron Microscopy Images
Cryo-electron microscopy has recently been recognized as a useful alternative to obtain three-dimensional density maps of macromolecular complexes, especially when crystallography ...
Taneli Mielikäinen, Janne Ravantti
WABI
2005
Springer
107views Bioinformatics» more  WABI 2005»
16 years 10 days ago
Linear Time Algorithm for Parsing RNA Secondary Structure
Abstract Baharak Rastegari and Anne Condon Department of Computer Science, University of British Columbia Abstract. Accurate prediction of pseudoknotted RNA secondary structure is ...
Baharak Rastegari, Anne Condon
SIGCSE
2004
ACM
82views Education» more  SIGCSE 2004»
16 years 9 days ago
Handwritten slides on a tabletPC in a discrete mathematics course
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
Evan Golub
UIST
2004
ACM
16 years 9 days ago
Visual tracking of bare fingers for interactive surfaces
Visual tracking of bare fingers allows more direct manipulation of digital objects, multiple simultaneous users interacting with their two hands, and permits the interaction on l...
Julien Letessier, François Bérard