8828 search results - page 1464 / 1766 » Formal methods in practice |
176
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coordination of multiple agents under uncertainty in the decentralized POMDP model is known to be NEXP-complete, even when the agents have a joint set of goals. Nevertheless, we s...
198
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
125
click to vote
EMMCVPR
2009
Springer
16 years 1 months ago
2009
Springer
7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, Bonn, Germany, August 24-27, 2009 Bayesian boundary models often assume tha...
167
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...
164
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...