239 search results - page 3 / 48 » How to Play Unique Games Using Embeddings |
135
click to vote
JAIR
2011
14 years 3 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...
97
Voted
AIIDE
2009
15 years 1 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...
107
Voted
ICALP
2000
Springer
15 years 4 months 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 ...
123
Voted
HCI
2009
14 years 10 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...
101
click to vote
FOCS
2008
IEEE
15 years 7 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...