295 search results - page 6 / 59 » Games and Definability for System F |
CHI
2006
ACM
15 years 10 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...
79
Voted
AIED
2007
Springer
15 years 4 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
14 years 10 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...
79
Voted
ATAL
2007
Springer
15 years 4 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
15 years 10 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...