2088 search results - page 387 / 418 » The SPARK Agent Framework |
138
click to vote
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
119
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
118
click to vote
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
133
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
130
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...