4447 search results - page 232 / 890 » Model Checking Games |
142
click to vote
AIED
2009
Springer
15 years 9 months ago
2009
Springer
EAGLE (Electronic Assistant for Game-Based Learning Experiences) is an intelligent tutoring system that supports learning with video games. We describe how a flexible ontology-base...
167
click to vote
CSEE
2006
Springer
15 years 8 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
146
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we study false-name manipulations in weighted voting games. Weighted voting is a well-known model of cooperation among agents in decision-making domains. In such ga...
121
click to vote
ICMLA
2008
15 years 6 months ago
2008
This paper treats the problem of distributed planning in general-sum stochastic games with communication when the model is known. Our main contribution is a novel, game theoretic ...
137
click to vote
APVIS
2004
15 years 5 months ago
2004
This paper explores visualisation of a simplified model of a financial market, known as the Minority Game, using a computer game modification (mod) as a medium. The purpose of thi...