6355 search results - page 248 / 1271 » From Logic to Games |
152
click to vote
CEAS
2007
Springer
16 years 25 days ago
2007
Springer
We show how a game-theoretic model of spam e-mailing, which we had introduced in previous work, can be extended to include the possibility of employing Human Interactive Proofs (h...
165
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
145
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
In realistic looking game environments it is important that virtual characters behave naturally. Our goal is to produce naturally looking gaze behavior for animated agents and avat...
174
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Roberts’ theorem from 1979 states that the only incentive compatible mechanisms over a full domain and range of at least 3 are weighted variants of the VCG mechanism termed affin...
144
click to vote
TBILLC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...