Sciweavers

1653 search results - page 41 / 331
» Computer science and game theory
Sort
View
78
Voted
LICS
2003
IEEE
15 years 6 months ago
A Proof Theory for Generic Judgments: An extended abstract
Dale Miller, Alwen Fernanto Tiu
73
Voted
ICALP
2003
Springer
15 years 6 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
91
Voted
ACMACE
2009
ACM
15 years 4 months ago
Interactive fitness game for public places
We present a concept of a fitness game that can be installed in public places and encourage passers-by to participate in a short play. The game is controlled by players' body...
Ekaterina Kurdyukova, Matthias Rehm

Book
1174views
16 years 10 months ago
Graph Theory
A well-written book about graph theory.
Reinhard Diestel
ICALP
2004
Springer
15 years 6 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...