Sciweavers

139 search results - page 17 / 28
» A Bayesian approach to empirical local linearization for rob...
Sort
View
ICARCV
2006
IEEE
94views Robotics» more  ICARCV 2006»
15 years 5 months ago
Global Localization Robust to GPS Outages using a Vertical Ladar
– This paper presents a localization strategy for vehicles in urban environments by mapping and updating natural landmarks provided by a 2D ladar (laser range scanner) when GPS d...
Maged Jabbour, Philippe Bonnifait
SWARM
2008
SPRINGER
222views Optimization» more  SWARM 2008»
14 years 11 months ago
Biologically inspired redistribution of a swarm of robots among multiple sites
We present a biologically inspired approach to the dynamic assignment and reassignment of a homogeneous swarm of robots to multiple locations, which is relevant to applications lik...
M. Ani Hsieh, Ádám M. Halász,...
FROCOS
2011
Springer
13 years 11 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
15 years 5 months ago
Vibration-based Terrain Analysis for Mobile Robots
—Safe, autonomous mobility in rough terrain is an important requirement for planetary exploration rovers. Knowledge of local terrain properties is critical to ensure a rover’s ...
Christopher A. Brooks, Karl Iagnemma, Steven Dubow...
CRV
2006
IEEE
160views Robotics» more  CRV 2006»
15 years 5 months ago
Multiple-Sensor Indoor Surveillance System
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...
Valery A. Petrushin, Gang Wei, Omer Shakil, Damian...