392 search results - page 19 / 79 » Comparative Study of Interactive Systems in a Museum |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, we introduce a prototype system designed to support mobile group socializing that has been appropriated for everyday use by 150 users over 18 months. The system sup...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Designing interactive conducting exhibits for public spaces poses unique challenges, primarily because the conceptual model of conducting music varies amongst users. In a user stu...
CLEF
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this report, we describe our studies with cross language and interactive image retrieval in ImageCLEF 2004. Typical cross language retrieval requires special linguisti...