17 search results - page 1 / 4 » Continuous Time in a SAT-Based Planner |
AAAI
2004
13 years 6 months ago
2004
AAAI
2011
12 years 4 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
IJCAI
2003
13 years 6 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— We have recently proposed DSLX, a motion planner that significantly reduces the computational time for solving challenging kinodynamic problems by interleaving continu...
CPAIOR
2005
Springer
13 years 10 months ago
2005
Springer
We describe the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne telescope. The problem requires maximizing the nu...