207 search results - page 16 / 42 » A Temporal Proof System for General Game Playing |
160
click to vote
ACMACE
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes the design of SCORPIODROME a mixed reality game for groups of 3-4 children aged 11-14. SCORPIODROME is designed for social gaming; i.e., computer gaming that ...
170
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
This study examines the usability challenges faced by new players of massively multiplayer online role-playing games (MMORPGs), one of the fastest-growing segments of the video ga...
185
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
185
click to vote
NETGAMES
2006
ACM
15 years 12 months ago
2006
ACM
While psychologists analyze network game-playing behavior in terms of players’ social interaction and experience, understanding user behavior is equally important to network res...
114
click to vote
PRIMA
2007
Springer
16 years 18 hour ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...