3335 search results - page 278 / 667 » Grid result checking |
175
click to vote
PRL
1998
15 years 6 months ago
1998
This paper describes and evaluates an image-based place recognition method for mobile robots based on matching image signatures. The method represents an image as a set of arrays ...
231
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
154
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Algorithmic choice is essential in any problem domain to realizing optimal computational performance. Multigrid is a prime example: not only is it possible to make choices at the ...
179
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a novel method for computing simulated x-ray images, or DRRs (digitally reconstructed radiographs), of tetrahedral meshes with higher-order attenuation functio...
161
click to vote
MOBICOM
2004
ACM
15 years 12 months ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...