207 search results - page 19 / 42 » A Temporal Proof System for General Game Playing |
238
click to vote
ACMACE
2011
ACM
14 years 5 months ago
2011
ACM
Alternate Reality Games (ARGs) are interactive narrative experiences that engage the player by layering a fictional world over the real world. Mobile ARG stories are often geo-sp...
151
click to vote
ETRA
2006
ACM
15 years 12 months ago
2006
ACM
Understanding players’ visual attention patterns within an interactive 3D game environment is an important research area that can improve game level design and graphics. Several...
151
click to vote
QEST
2008
IEEE
16 years 7 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
185
click to vote
JAR
2007
15 years 5 months ago
2007
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
177
click to vote
NETGAMES
2005
ACM
15 years 11 months ago
2005
ACM
We study the ‘background traffic’ resulting from tens of thousands of networked first person shooter (FPS) clients searching for servers on which to play. Networked, multiplay...