Sciweavers

2582 search results - page 211 / 517
» Scheduling in a Planning Environment
Sort
View
ICRA
2003
IEEE
177views Robotics» more  ICRA 2003»
15 years 12 months ago
A navigation framework for multiple mobile robots and its application at the Expo.02 exhibition
This paper presents a navigation framework which enables multiple mobile robots to attain individual goals, coordinate their actions and work safely and reliably in a highly dynam...
Kai Oliver Arras, Roland Philippsen, Nicola Tomati...
ICCBR
2010
Springer
15 years 10 months ago
Goal-Driven Autonomy with Case-Based Reasoning
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
Héctor Muñoz-Avila, Ulit Jaidee, Dav...
ICRA
2009
IEEE
131views Robotics» more  ICRA 2009»
15 years 4 months ago
Efficient C-space and cost function updates in 3D for unmanned aerial vehicles
When operating in partially-known environments, autonomous vehicles must constantly update their maps and plans based on new sensor information. Much focus has been placed on devel...
Sebastian Scherer, Dave Ferguson, Sanjiv Singh
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
SIGMOD
2006
ACM
162views Database» more  SIGMOD 2006»
16 years 6 months ago
Adaptive query processing: why, how, when, what next
Adaptive query processing has been the subject of a great deal of recent work, particularly in emerging data management environments such as data integration and data streams. We ...
Amol Deshpande, Joseph M. Hellerstein, Vijayshanka...