Sciweavers

6110 search results - page 1015 / 1222
» Approximate Computing
Sort
View
WABI
2007
Springer
16 years 15 days ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
3DPVT
2006
IEEE
136views Visualization» more  3DPVT 2006»
16 years 14 days ago
Image Guided Geometry Inference
We introduce a new method for filling holes in geometry obtained from 3D range scanners. Our method makes use of 2D images of the areas where geometric data is missing. The 2D im...
Songhua Xu, Athinodoros S. Georghiades, Holly E. R...
3DPVT
2006
IEEE
179views Visualization» more  3DPVT 2006»
16 years 14 days ago
Large-Scale Urban Modeling by Combining Ground Level Panoramic and Aerial Imagery
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
Lu Wang, Suya You, Ulrich Neumann
CBMS
2006
IEEE
16 years 14 days ago
Efficient Rotation Invariant Retrieval of Shapes with Applications in Medical Databases
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...
Selina Chu, Shrikanth S. Narayanan, C. C. Jay Kuo
CSFW
2006
IEEE
16 years 14 days ago
Decentralized Robustness
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
Stephen Chong, Andrew C. Myers
« Prev « First page 1015 / 1222 Last » Next »