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»
14 years 1 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»
13 years 7 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
12 years 7 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»
14 years 1 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»
14 years 1 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...