1245 search results - page 8 / 249 » Playing with Conway's problem |
ILC
2007
Springer
14 years 1 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present a new approximation algorithm for Unique Games. For a Unique Game with n vertices and k states (labels), if a (1 − ε) fraction of all constraints is sa...
FC
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we consider the problem of efficiently locating cryptographic keys hidden in gigabytes of data, such as the complete file system of a typical PC. We describe efficie...
ICAISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
AGS
2009
Springer
14 years 2 months ago
2009
Springer
Video games in general and educational role play games in particular would increase in believability if Non Player Characters reacted appropriately to the player’s actions. Reali...