295 search results - page 6 / 59 » Games and Definability for System F |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Video game players often learn to map their physical actions (e.g., pressing buttons) onto their on-screen avatars' actions (e.g., wielding swords) in order to play. We explo...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
We investigate the relationship between a student’s affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Withi...
FFA
2008
13 years 7 months ago
2008
Syntactical properties of representations of integers in various number systems are well-known and have been extensively studied. In this paper, we transpose the notion of recogniz...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
PODC
2009
ACM
14 years 8 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...