75 search results - page 9 / 15 » A Correctness Result for Reasoning about One-Dimensional Pla... |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...
AIPS
2008
13 years 9 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
ATAL
2005
Springer
14 years 28 days ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
SAC
2009
ACM
14 years 1 days ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...