4447 search results - page 230 / 890 » Model Checking Games |
126
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Over the last few years, the number of game players using voice communication to talk to each other while playing games has increased dramatically. In fact, many modern games and ...
130
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
152
click to vote
AIIDE
2009
15 years 5 months ago
2009
In most modern video games, content (e.g. models, levels, weapons, etc.) shipped with the game is static and unchanging, or at best, randomized within a narrow set of parameters. ...
155
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...