1632 search results - page 25 / 327 » Modeling billiards games |
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
MLQ
2007
14 years 9 months ago
2007
Abstract. We prove the existence of pairs of models of the same cardinality λ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but w...
AIIDE
2009
14 years 11 months ago
2009
We demonstrate an approach to modelling the effects of certain parameters of platform game levels on the players' experience of the game. A version of Super Mario Bros has be...
ERSHOV
2003
Springer
15 years 3 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.