239 search results - page 3 / 48 » How to Play Unique Games Using Embeddings |
JAIR
2011
12 years 11 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
AIIDE
2009
13 years 9 months ago
2009
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
ICALP
2000
Springer
14 years 4 days ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
HCI
2009
13 years 6 months ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
FOCS
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...