207 search results - page 7 / 42 » A Temporal Proof System for General Game Playing |
MOR
2006
14 years 9 months ago
2006
We consider a two-player zero-sum game given by a Markov chain over a finite set of states K and a family of zero-sum matrix games (Gk)kK. The sequence of states follows the Marko...
QEST
2006
IEEE
15 years 3 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
MM
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Adaptability to the needs of end-users has been identified as a key requirement for technologies designed to support mental health interventions. The PlayWrite system allows end u...
NETGAMES
2004
ACM
15 years 2 months ago
2004
ACM
Ordering of command messages from the clients at the game servers is an important issue that impacts fairness, response times, and smoothness of the game play. Recently, protocols...