Sciweavers

2302 search results - page 203 / 461
» Testing as Abstraction
Sort
View
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
16 years 6 days ago
Toward 30-gram Autonomous Indoor Aircraft: Vision-based Obstacle Avoidance and Altitude Control
Abstract— We aim at developing autonomous microflyers capable of navigating within houses or small built environments. The severe weight and energy constraints of indoor flying...
Jean-Christophe Zufferey, Dario Floreano
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
16 years 6 days ago
Behavior-Grounded Representation of Tool Affordances
Abstract— This paper introduces a novel approach to representing and learning tool affordances by a robot. The tool representation described here uses a behavior-based approach t...
Alexander Stoytchev
ICRA
2005
IEEE
259views Robotics» more  ICRA 2005»
16 years 6 days ago
Flexible Microscope Calibration using Virtual Pattern for 3-D Telemicromanipulation
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
Mehdi Ammi, Vincent Frémont, Antoine Ferrei...
ICRA
2005
IEEE
107views Robotics» more  ICRA 2005»
16 years 6 days ago
Wheel Torque Control in Rough Terrain - Modeling and Simulation
Abstract - This paper presents a method for wheel-ground contact angle measurement and a traction control strategy minimizing slip in rough terrain. The slip minimization algorithm...
Pierre Lamon, Roland Siegwart
QEST
2005
IEEE
16 years 6 days ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...