Sciweavers

1256 search results - page 189 / 252
» Experiences with the DEVStone benchmark
Sort
View
106
Voted
AIPS
2007
15 years 3 months ago
Mixed Integer Linear Programming for Exact Finite-Horizon Planning in Decentralized Pomdps
We consider the problem of finding an n-agent jointpolicy for the optimal finite-horizon control of a decentralized Pomdp (Dec-Pomdp). This is a problem of very high complexity ...
Raghav Aras, Alain Dutech, François Charpil...
AIPS
2008
15 years 3 months ago
An Online Learning Method for Improving Over-Subscription Planning
Despite the recent resurgence of interest in learning methods for planning, most such efforts are still focused exclusively on classical planning problems. In this work, we invest...
Sung Wook Yoon, J. Benton, Subbarao Kambhampati
91
Voted
FLAIRS
2008
15 years 3 months ago
Complementary Analysis of High-Order Association Patterns and Classification
To facilitate more meaningful interpretation considering the internal interdependency relationships between data values, a new form of high-order (multiple-valued) pattern known a...
Thomas W. H. Lui, David K. Y. Chiu
ASAP
2008
IEEE
120views Hardware» more  ASAP 2008»
15 years 2 months ago
Lightweight DMA management mechanisms for multiprocessors on FPGA
This paper presents a multiprocessor system on FPGA that adopts Direct Memory Access (DMA) mechanisms to move data between the external memory and the local memory of each process...
Antonino Tumeo, Matteo Monchiero, Gianluca Palermo...
112
Voted
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 2 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang