Sciweavers

259 search results - page 43 / 52
» Coalitional skill games
Sort
View
SCP
2010
172views more  SCP 2010»
14 years 10 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
CLIMA
2011
13 years 11 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CHI
2008
ACM
16 years 4 days ago
Playful toothbrush: ubicomp technology for teaching tooth brushing to kindergarten children
This case study in UbiComp technology and design presents a "Playful Toothbrush" system for assisting parents and teachers to motivate kindergarten children to learn pro...
Yu-Chen Chang, Jin-Ling Lo, Chao-Ju Huang, Nan-Yi ...
TEDU
2008
126views Education» more  TEDU 2008»
14 years 11 months ago
Designing an Educational Game: Case Study of 'Europe 2045'
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
Vít Sisler, Cyril Brom
CSCW
2004
ACM
15 years 5 months ago
In-group/out-group effects in distributed teams: an experimental simulation
Modern workplaces often bring together virtual teams where some members are collocated, and some participate remotely. We are using a simulation game to study collaborations of 10...
Nathan Bos, N. Sadat Shami, Judith S. Olson, Arik ...