79 search results - page 9 / 16 » Preventing bots from playing online games |
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
NETGAMES
2006
ACM
15 years 3 months ago
2006
ACM
We present a proxy-based gaming architecture and authority assignment within this architecture that can lead to better game playing experience in Massively Multi-player Online gam...
ML
2000
ACM
14 years 9 months ago
2000
ACM
In this paper we present TDLEAF( ), a variation on the TD( ) algorithm that enables it to be used in conjunction with game-tree search. We present some experiments in which our che...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Online learning algorithms have impressive convergence properties when it comes to risk minimization and convex games on very large problems. However, they are inherently sequenti...
EMNLP
2008
14 years 11 months ago
2008
Obtaining labeled data is a significant obstacle for many NLP tasks. Recently, online games have been proposed as a new way of obtaining labeled data; games attract users by being...