5216 search results - page 603 / 1044 » Planning as Model Checking |
186
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
176
click to vote
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
305
click to vote
SIGMOD
2009
ACM
16 years 7 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...
184
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
174
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...