1503 search results - page 124 / 301 » Generalized Parity Games |
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
AI
2002
Springer
13 years 9 months ago
2002
Springer
Learning to act in a multiagent environment is a difficult problem since the normal definition of an optimal policy no longer applies. The optimal policy at any moment depends on ...
HUC
2010
Springer
13 years 6 months ago
2010
Springer
Consumer game platforms are realizing Ubicomp's vision of seamless, sensor-based, embodied interaction with computation. Here we present Propinquity, a full-body dancing/figh...
NETCOOP
2007
Springer
14 years 3 months ago
2007
Springer
We consider jamming in wireless networks with transmission cost for both transmitter and jammer. We use the framework of non-zerosum games. In particular, we prove the existence an...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
Many incoming college freshmen have accumulated a significant number of hours of experience playing computer games. Extending that experience to actual game creation activities ca...