4447 search results - page 18 / 890 » Model Checking Games |
151
click to vote
AIED
2009
Springer
15 years 1 months ago
2009
Springer
Educational games may be particularly suited to teaching social learning skills with virtual humans. We investigate the importance of social goals and engaging social interactions ...
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
Abstract. We study the following problem in a sovereign informationsharing setting: How to ensure that the individual participants, driven solely by self-interest, will behave hone...
111
click to vote
ESAW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
130
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Two-player games of billiards, of the sort seen in recent Computer Olympiads held by the International Computer Games Association, are an emerging area with unique challenges for ...
143
click to vote
FDG
2009
ACM
15 years 7 months ago
2009
ACM
The tremendous advances in gaming technologies over the past decade have focused primarily on the physical realism of the game environment and game characters, and the complexity ...