11160 search results - page 189 / 2232 » Incompleteness in a General Setting |
161
click to vote
ML
2007
ACM
15 years 3 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
157
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
122
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...
191
click to vote
TOG
2012
13 years 6 months ago
2012
Point samples with different spectral noise properties (often defined using color names such as white, blue, green, and red) are important for many science and engineering discip...
143
click to vote
SIROCCO
2007
15 years 5 months ago
2007
A set of input vectors S is conclusive if correct functionality for all input vectors is implied by correct functionality over vectors in S. We consider four functionalities of co...