5216 search results - page 845 / 1044 » Planning as Model Checking |
168
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
153
click to vote
TMA
2010
Springer
16 years 1 months ago
2010
Springer
The paper describes the EmPath tool that was designed to emulate packet transfer characteristics as delays and losses in IP network. The main innovation of this tool is its ability...
141
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
We address the problem of multi-UAV surveillance in complex urban environments with occlusions. The problem consists of coordinating the flight of UAVs with on-board cameras so t...
179
click to vote
ALGOSENSORS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a framework for storing and processing kinetic data observed by sensor networks. These sensor networks generate vast quantities of data, which motivates a significant...
178
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...