9110 search results - page 2 / 1822 » Formally-Based Design Evaluation |
CHI
2011
ACM
12 years 9 months ago
2011
ACM
CONCURRENCY
2011
12 years 9 months ago
2011
ECTEL
2011
Springer
12 years 5 months ago
2011
Springer
This paper presents a customizable system used to develop a collaborative multi-user problem solving game. It addresses the increasing demand for appealing informal learning experi...
AAAI
2011
12 years 5 months ago
2011
Planning agents often lack the computational resources needed to build full planning trees for their environments. Agent designers commonly overcome this finite-horizon approxima...
CHI
2011
ACM
12 years 9 months ago
2011
ACM
There is a wealth of theoretical knowledge about the developmental abilities and skills of children. However, this knowledge is not readily accessible to designers of interactive ...