Sciweavers

1033 search results - page 73 / 207
» Properties of Exercise Strategies
Sort
View
AIPS
2006
14 years 11 months ago
Plan Stability: Replanning versus Plan Repair
The ultimate objective in planning is to construct plans for execution. However, when a plan is executed in a real environment it can encounter differences between the expected an...
Maria Fox, Alfonso Gerevini, Derek Long, Ivan Seri...
ICTAC
2004
Springer
15 years 3 months ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
15 years 4 months ago
Adaptive Sampling for Multi-Robot Wide-Area Exploration
— The exploration problem is a central issue in mobile robotics. A complete coverage is not practical if the environment is large with a few small hotspots, and the sampling cost...
Kian Hsiang Low, Geoffrey J. Gordon, John M. Dolan...
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
15 years 4 months ago
Equitable partitioning policies for robotic networks
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Alessandro Arsie, Emilio Frazzoli, F...
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 4 months ago
Space-time scaling laws for self-triggered control
— Feedback control laws have been traditionally treated as periodic tasks when implemented on digital platforms. However, the growing complexity of systems calls for efficient i...
Adolfo Anta Martinez, Paulo Tabuada