5216 search results - page 847 / 1044 » Planning as Model Checking |
177
click to vote
PG
2007
IEEE
16 years 21 days ago
2007
IEEE
Minkowski sum is a fundamental operation in many geometric applications, including robotics, penetration depth estimation, solid modeling, and virtual prototyping. However, due to...
175
click to vote
SASO
2007
IEEE
16 years 21 days ago
2007
IEEE
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
137
click to vote
ACII
2007
Springer
16 years 19 days ago
2007
Springer
Affective reasoning has been the subject of increasing attention in recent years. Because negative affective states such as frustration and anxiety can impede progress toward learn...
164
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
169
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...