4447 search results - page 26 / 890 » Model Checking Games |
134
click to vote
FECS
2006
15 years 4 months ago
2006
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
153
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
111
click to vote
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
132
click to vote
ENTCS
2010
15 years 3 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
120
click to vote
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...