Sciweavers

1021 search results - page 44 / 205
» Concepts in Proof Planning
Sort
View
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
14 years 3 months ago
Decidability of Motion Planning with Differential Constraints
— Classical path planning does not address many of the challenges of robotic systems subject to differential constraints. While there have been many recent efforts to develop mot...
Peng Cheng, George J. Pappas, Vijay Kumar
IROS
2007
IEEE
188views Robotics» more  IROS 2007»
14 years 3 months ago
Behavior maps for online planning of obstacle negotiation and climbing on rough terrain
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
Christian Dornhege, Alexander Kleiner
AGENTS
1997
Springer
14 years 25 days ago
Decision Making and Plan Management by Autonomous Agents: Theory, Implementation and Applications
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
Subrata Kumar Das, John Fox, D. Elsdon, Peter Hamm...
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
14 years 2 months ago
Third-Person Interactive Control of Humanoid with Real-Time Motion Planning Algorithm
- Interactive avatar control means a control mechanism using AI techniques to improve user navigation efficiency as well as visual realism in a 3D virtual environment. This paper r...
Shu-Wei Hsu, Tsai-Yen Li
WCRE
1997
IEEE
14 years 26 days ago
Program Plan Recognition for Year 2000 Tools
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
Arie van Deursen, Steven Woods, Alex Quilici