Sciweavers

5210 search results - page 852 / 1042
» Exact geometric computation
Sort
View
WABI
2007
Springer
14 years 4 months 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
ESCIENCE
2006
IEEE
14 years 4 months ago
Building Simple, Easy-to-Use Grids with Styx Grid Services and SSH
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...
J. D. Blower, K. Haines
ICDE
2006
IEEE
225views Database» more  ICDE 2006»
14 years 4 months ago
Continuous Reverse Nearest Neighbor Monitoring
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...
Tian Xia, Donghui Zhang
ICRA
2006
IEEE
93views Robotics» more  ICRA 2006»
14 years 4 months ago
A SVM-based Method for Engine Maintenance Strategy Optimization
— Due to the abundant application background, the optimization of maintenance problem has been extensively studied in the past decades. Besides the well-known difficulty of larg...
Qing-Shan Jia, Qianchuan Zhao
ICWMC
2006
IEEE
14 years 4 months ago
The Impact of Location Errors on Geographic Routing in Sensor Networks
Geographic routing in wireless sensor networks is based on the prerequisite that every node has information about its current position, for instance via GPS or some localization a...
Matthias Witt, Volker Turau