6355 search results - page 85 / 1271 » From Logic to Games |
216
click to vote
AIIDE
2006
15 years 8 months ago
2006
This paper investigates the challenges posed by the application of reinforcement learning to large-scale strategy games. In this context, we present steps and techniques which syn...
207
click to vote
ENTCS
2011
15 years 1 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
166
click to vote
CCR
2002
15 years 6 months ago
2002
This paper describes the results of a 500 million packet trace of a popular on-line, multi-player, game server. The results show that the traffic behavior of this heavily loaded ga...
137
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
148
click to vote
AIIDE
2008
15 years 9 months ago
2008
In this paper we discuss our work on using the incongruity measure from psychological literature to scale the difficulty level of a game online to the capabilities of the human pl...