207 search results - page 8 / 42 » A Temporal Proof System for General Game Playing |
STOC
2007
ACM
15 years 9 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
SOUPS
2009
ACM
15 years 4 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
IJCAI
2007
14 years 11 months ago
2007
We present a reinforcement learning game player that can interact with a General Game Playing system and transfer knowledge learned in one game to expedite learning in many other ...
79
Voted
FSTTCS
2004
Springer
15 years 2 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a new expression database which contains video sequences of both played and natural expressions and an expression classification system based on warped optical flow fi...