1283 search results - page 77 / 257 » Science: the rules of the game |
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
109
click to vote
CSCW
2004
ACM
14 years 9 months ago
2004
ACM
Awareness of others' interests can lead to fruitful collaborations, friendships and positive social change. Interviews of groups involved in both research and corporate work r...
CSCW
2007
ACM
14 years 9 months ago
2007
ACM
To date the most popular and sophisticated types of virtual worlds can be found in the area of video gaming, especially in the genre of Massively Multiplayer Online Role Playing Ga...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Digital games have the ability to engage both children and adults alike. We are exploring the use of games for children with long term treatment regimes, where motivation for comp...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
Computer gaming offers a unique test-bed and market for advanced concepts in computer science, such as Human Computer Interaction (HCI), computer-supported collaborative work (CSC...