Sciweavers

4973 search results - page 110 / 995
» Probabilistic Algorithms in Robotics
Sort
View
ALGORITHMICA
2000
125views more  ALGORITHMICA 2000»
15 years 4 months ago
Mobile Robot Self-Localization without Explicit Landmarks
Localization is the process of determining the robot's location within its environment. More precisely, it is a procedure which takes as input a geometric map, a current estim...
R. G. Brown, Bruce Randall Donald
IROS
2008
IEEE
167views Robotics» more  IROS 2008»
15 years 11 months ago
Multi-robot complete exploration using hill climbing and topological recovery
— This article addresses the problem of autonomous map building and exploration of an unknown environment with mobile robots. The proposed method assumes that mobile robots use o...
Rui Rocha, João Filipe Ferreira, Jorge Dias
IROS
2007
IEEE
144views Robotics» more  IROS 2007»
15 years 10 months ago
Global action selection for illumination invariant color modeling
— A major challenge in the path of widespread use of mobile robots is the ability to function autonomously, learning useful features from the environment and using them to adapt ...
Mohan Sridharan, Peter Stone
AROBOTS
2002
126views more  AROBOTS 2002»
15 years 4 months ago
Selecting Landmarks for Localization in Natural Terrain
We describe techniques to optimally select landmarks for performing mobile robot localization by matching terrain maps. The method is based upon a maximum-likelihood robot localiza...
Clark F. Olson
QEST
2006
IEEE
15 years 10 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier