Sciweavers

2425 search results - page 234 / 485
» An abstraction of the Lidar measurements
Sort
View
ICRA
1999
IEEE
122views Robotics» more  ICRA 1999»
15 years 11 months ago
Learning Visual Landmarks for Pose Estimation
Abstract-- We present an approach to vision-based mobile robot localization, even without an a-priori pose estimate. This is accomplished by learning a set of visual features calle...
Robert Sim, Gregory Dudek
RSP
1999
IEEE
15 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
SIBGRAPI
1999
IEEE
15 years 11 months ago
Curvature Operators in Geometric Image Processing
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
Cicero Mota, Jonas Gomes
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 11 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
PKC
1999
Springer
83views Cryptology» more  PKC 1999»
15 years 11 months ago
On the Security of Random Sources
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
Jean-Sébastien Coron