92 search results - page 9 / 19 » A General Game Description Language for Incomplete Informati... |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
In many developing countries such as India and China, low educational levels often hinder economic empowerment. In this paper, we argue that mobile learning games can play an impo...
WWW
2005
ACM
14 years 1 months ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
ENTCS
2006
13 years 7 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
INTETAIN
2005
Springer
14 years 1 months ago
2005
Springer
COMPASS2008 is a general service platform developed to be utilized as the tourist and city explorers assistant within the information services for the Beijing Olympic Games 2008. T...
SIGCSE
2010
ACM
14 years 2 months ago
2010
ACM
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...