2025 search results - page 336 / 405 » Theory as Game: Designing the Game Game |
TARK
2007
Springer
14 years 2 months ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulï¬ll certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
ICDCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
ITICSE
2006
ACM
14 years 2 months ago
2006
ACM
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
Structured peer-to-peer systems allow to administer large volumes of data. Several peers collaborate to generate a query result. Analyses of unstructured peer-to-peer systems, nam...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...