2025 search results - page 263 / 405 » Theory as Game: Designing the Game Game |
212
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...
168
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
178
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
192
click to vote
IJSR
2011
15 years 1 months ago
2011
Deception is utilized by a variety of intelligent systems ranging from insects to human beings. It has been argued that the use of deception is an indicator of theory of mind [2] ...
159
click to vote
SAGT
2009
Springer
16 years 28 days ago
2009
Springer
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...