682 search results - page 27 / 137 » Game Development Using Design-by-Contract |
231
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This tutorial presents an overview of the data management issues faced by computer games today. While many games do not use databases directly, they still have to process large am...
112
Voted
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
98
Voted
IJVR
2007
15 years 2 months ago
2007
—Understanding of player behaviors is an important issue to keep online games interesting to their players. Focusing on player movement, in our previous work, we proposed a metho...
128
Voted
GI
2003
Springer
15 years 7 months ago
2003
Springer
: Strategic Simulation Games have become an important element of policy development in the context of Critical Infrastructure Protection (CIP). They foster the network between all ...
131
Voted
AAAI
2004
15 years 3 months ago
2004
We develop an exact dynamic programming algorithm for partially observable stochastic games (POSGs). The algorithm is a synthesis of dynamic programming for partially observable M...