Sciweavers

425 search results - page 77 / 85
» Theoretical methods for planning and control in mobile robot...
Sort
View
ECCV
1994
Springer
14 years 16 days ago
Integration and Control of Reactive Visual Processes
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
James L. Crowley, Jean Marc Bedrune, Morten Bekker...
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
14 years 2 months ago
A humanoid upper body system for two-handed manipulation
— This video presents a humanoid two-arm system developed as a research platform for studying dexterous twohanded manipulation. The system is based on the modular DLR-Lightweight...
Christoph Borst, Christian Ott, Thomas Wimböc...
SPIN
2000
Springer
14 years 9 hour ago
Logic Verification of ANSI-C Code with SPIN
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
Gerard J. Holzmann
IROS
2007
IEEE
179views Robotics» more  IROS 2007»
14 years 2 months ago
Incremental learning for place recognition in dynamic environments
Abstract— Vision-based place recognition is a desirable feature for an autonomous mobile system. In order to work in realistic scenarios, visual recognition algorithms should be ...
Jie Luo, Andrzej Pronobis, Barbara Caputo, Patric ...
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
14 years 1 months ago
On-Line Terrain Parameter Estimation for Planetary Rovers
Future planetary exploration missions will require rovers to traverse very rough terrain with limited human supervision. Wheel-terrain interaction plays a critical role in rough-t...
Karl Iagnemma, Hassan Shibly, Steven Dubowsky