7773 search results - page 327 / 1555 » On generalized Frame-Stewart numbers |
184
click to vote
AI
2007
Springer
16 years 26 days ago
2007
Springer
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
156
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
183
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
176
click to vote
CAAN
2007
Springer
16 years 25 days ago
2007
Springer
In the recently introduced model for cleaning a graph with brushes, we use a degree-greedy algorithm to clean a random d-regular graph on n vertices (with dn even). We then use a d...
141
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...