Sciweavers

1319 search results - page 40 / 264
» Playing the Expert Game
Sort
View
WWW
2009
ACM
14 years 8 months ago
Playful tagging: folksonomy generation using online games
Collaborative Tagging is a powerful method to create folksonomies that can be used to grasp/filter user preferences or enhance web search. Recent research has shown that depending...
Markus Krause, Hidir Aras
ATAL
2009
Springer
14 years 2 months ago
Rational play and rational beliefs under uncertainty
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
Nils Bulling, Wojciech Jamroga
SIGECOM
2003
ACM
135views ECommerce» more  SIGECOM 2003»
14 years 29 days ago
Playing large games using simple strategies
We prove the existence of -Nash equilibrium strategies with support logarithmic in the number of pure strategies. We also show that the payoffs to all players in any (exact) Nash...
Richard J. Lipton, Evangelos Markakis, Aranyak Meh...
PROVSEC
2007
Springer
14 years 1 months ago
Formal Proof of Provable Security by Game-Playing in a Proof Assistant
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
Reynald Affeldt, Miki Tanaka, Nicolas Marti
ICCBR
2005
Springer
14 years 1 months ago
Advertising Strategies: Learning Competence through Cooperative Game Playing
In this paper we consider the competition on the Internet between information providers to maximise their exposure to a relevant audience. Spammers and Search engine gamers adopt a...
Paolo Avesani, Conor Hayes