161 search results - page 15 / 33 » Efficiently Executing Information-Gathering Plans |
102
click to vote
ATAL
2005
Springer
15 years 5 months 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...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Agents interacting in a multiagent environment not only have to be wary of interfering with each other when carrying out their tasks, but also should capitalize on opportunities f...
AIPS
2004
15 years 1 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
107
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Query optimizers in current database systems are designed to pick a single efficient plan for a given query based on current statistical properties of the data. However, different...
178
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...