620 search results - page 82 / 124 » grid 2005 |
100
click to vote
CF
2005
ACM
15 years 1 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
121
click to vote
JFR
2007
14 years 11 months ago
2007
We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
HPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Biomolecular simulations produce more output data than can be managed effectively by traditional computing systems. Researchers need distributed systems that allow the pooling of...
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, our contributions are two-fold: First, we enhance the Min-Min and Sufferage heuristics under three risk modes driven by security concerns. Second, we propose a new ...
ICMENS
2005
IEEE
15 years 5 months ago
2005
IEEE
Inertial displacement sensors employing currently available high performance micromachined accelerometers and gyroscopes measure position and attitude with sub-micron accuracy for ...