10568 search results - page 385 / 2114 » Computer Intelligence and Formalization |
149
click to vote
AI50
2006
15 years 8 months ago
2006
Computers have become an essential part of modern life, providing services in a multiplicity of ways. Access to these services, however, comes at a price: human attention is bound...
145
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
127
click to vote
FLAIRS
2004
15 years 5 months ago
2004
How to compute marginals efficiently is one of major concerned problems in probabilistic reasoning systems. Traditional graphical models do not preserve all conditional independen...
153
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Robotic swarms, like all spatial computers, are a challenging environment for the execution of distributed consensus algorithms due to their scale, diameter, and frequent failures...
184
click to vote
AAAI
2012
13 years 6 months ago
2012
Significant progress has been made recently in the following two lines of research in the intersection of AI and game theory: (1) the computation of optimal strategies to commit ...