2025 search results - page 172 / 405 » Theory as Game: Designing the Game Game |
137
click to vote
IPL
2006
15 years 6 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
208
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose the energy efficient MAC algorithm in this paper. In the proposed algorithm, each node sets the contention window size with respect to the residual energy, the harvest...
137
click to vote
CGA
2006
15 years 6 months ago
2006
We discuss work carried out at the University of Salford (UK) and INESC-id (Portugal) on the design and implementation of interactive dramas in 3D graphics environments. We presen...
191
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
We consider the loss in social welfare caused by individual rationality in matching scenarios. We give both theoretical and experimental results comparing stable matchings with soc...
196
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A mechanism is manipulable if it is in some agents’ best interest to misrepresent their private information. The revelation principle establishes that, roughly, anythin...