1232 search results - page 81 / 247 » Digraphs: theory, algorithms and applications |
161
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...
158
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
161
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present a browser extension to dynamically learn to filter unwanted images (such as advertisements or flashy graphics) based on minimal user feedback. To do so, we apply the we...
180
click to vote
ATVA
2009
Springer
16 years 22 days ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
161
click to vote
VMCAI
2007
Springer
16 years 8 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...