Sciweavers

526 search results - page 50 / 106
» The Robot Scientist Project
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
RAS
2006
87views more  RAS 2006»
13 years 7 months ago
Mission-level path planning and re-planning for rover exploration
The Life in the Atacama (LITA) project seeks to develop technologies for robotic life detection and apply them to the investigation of the Atacama Desert. Its field investigation ...
Paul Tompkins, Anthony Stentz, David Wettergreen
AI
2000
Springer
13 years 7 months ago
The Spatial Semantic Hierarchy
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...
Benjamin Kuipers
TROB
2002
142views more  TROB 2002»
13 years 7 months ago
A unified geometric approach to modeling and control of constrained mechanical systems
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
Guanfeng Liu, Zexiang Li
JIRS
2002
137views more  JIRS 2002»
13 years 7 months ago
Mobile Robot Command by Man-Machine Co-Operation - Application to Disabled and Elderly People Assistance
Disabled people assistance is developing thanks to progress of new technologies. A manipulator arm mounted on a mobile robot can assist the disabled person for the partial restora...
Philippe Hoppenot, Etienne Colle