Sciweavers

49 search results - page 10 / 10
» A UPF-UKF Framework For SLAM
Sort
View
RAS
2006
111views more  RAS 2006»
13 years 5 months ago
Planning under uncertainty using model predictive control for information gathering
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
Cindy Leung, Shoudong Huang, Ngai Ming Kwok, Gamin...
CAV
2006
Springer
95views Hardware» more  CAV 2006»
13 years 9 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
ICCV
2003
IEEE
14 years 7 months ago
Real-Time Simultaneous Localisation and Mapping with a Single Camera
Ego-motion estimation for an agile single camera moving through general, unknown scenes becomes a much more challenging problem when real-time performance is required rather than ...
Andrew J. Davison
MICCAI
2009
Springer
13 years 11 months ago
Optical Biopsy Mapping for Minimally Invasive Cancer Screening.
The quest for providing tissue characterization and functional mapping during minimally invasive surgery (MIS) has motivated the development of new surgical tools that extend the...
Peter Mountney, Stamatia Giannarou, Daniel Elson...