Sciweavers

5227 search results - page 905 / 1046
» Enterprise modeling using class and instance models
Sort
View
CCECE
2006
IEEE
14 years 3 months 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
14 years 2 months 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»
14 years 2 months 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»
14 years 2 months 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
14 years 2 months 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