6355 search results - page 48 / 1271 » From Logic to Games |
LOGCOM
2007
13 years 11 months ago
2007
In this paper we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of...
DEXAW
2007
IEEE
14 years 5 months ago
2007
IEEE
ENTCS
2007
13 years 11 months ago
2007
DIGRA
2005
Springer
14 years 4 months ago
2005
Springer
Academic interest in game development and game studies has grown steadily in recent years, with many institutions now offering courses or programs in this area. To provide a truly...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
We describe the design process and initial user study of an audio game created for the visually impaired. Until the advent of 3D graphics games, platform games where the player ju...