Sciweavers

6 search results - page 1 / 2
» Consistent, Convergent, and Constant-Time SLAM
Sort
View
IJCAI
2003
13 years 5 months ago
Consistent, Convergent, and Constant-Time SLAM
This paper presents a new efficient algorithm for simultaneous localization and mapping (SLAM), using multiple overlapping submaps, each built with respect to a local frame of re...
John J. Leonard, Paul M. Newman
IROS
2007
IEEE
135views Robotics» more  IROS 2007»
13 years 10 months ago
Power-SLAM: A linear-complexity, consistent algorithm for SLAM
— In this paper, we present an Extended Kalman Filter (EKF)-based estimator for simultaneous localization and mapping (SLAM) with processing requirements that are linear in the n...
Esha D. Nerurkar, Stergios I. Roumeliotis
IJRR
2007
100views more  IJRR 2007»
13 years 4 months ago
Exactly Sparse Extended Information Filters for Feature-based SLAM
Recent research concerning the Gaussian canonical form for Simultaneous Localization and Mapping (SLAM) has given rise to a handful of algorithms that attempt to solve the SLAM sc...
Matthew Walter, Ryan Eustice, John J. Leonard
SPIN
2001
Springer
13 years 8 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
TROB
2008
154views more  TROB 2008»
13 years 2 months ago
Large-Scale SLAM Building Conditionally Independent Local Maps: Application to Monocular Vision
SLAM algorithms based on local maps have been demonstrated to be well suited for mapping large environments as they reduce the computational cost and improve the consistency of the...
Pedro Pinies, Juan D. Tardós