1653 search results - page 71 / 331 » Computer science and game theory |
ECAL
1999
Springer
14 years 1 months ago
1999
Springer
The “social dilemma” is a problem inherent in forming and maintaining cooperation among selfish individuals, and is of fundamental importance in the biological and social sci...
Book
"These notes were written over a period of years as part of an advanced undergraduate/
beginning graduate course on Algebraic Coding Theory at Michigan
State University.&quo...
TLCA
2001
Springer
14 years 1 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
SIGCSE
2004
ACM
14 years 2 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...