3820 search results - page 479 / 764 » Bounded Model Debugging |
127
click to vote
GRID
2007
Springer
15 years 7 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
128
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
140
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
139
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...
160
Voted
ALGORITHMICA
2007
15 years 3 months ago
2007
We study the problem of providing a sensor with an accurate estimate of the time, from a novel perspective which is complementary to the well-studied clock synchronization problem....