1503 search results - page 23 / 301 » Generalized Parity Games |
DSD
2009
IEEE
14 years 3 months ago
2009
IEEE
—We present experiments with synthesis tools using examples which are currently believed to be very hard, namely the LEKU examples by Cong and Minkovich and parity examples of ou...
COGSCI
2004
13 years 9 months ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
KI
2011
Springer
13 years 4 months ago
2011
Springer
We have parallelized our general game player Ary on a cluster of computers. We propose multiple parallelization algorithms. For the sake of simplicity all our algorithms have proce...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents a brief review of current game usability models. This leads to the conception of a high-level game development-centered usability model that integrates current...
COMPSEC
2006
13 years 9 months ago
2006