Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
This paper presents a robot search task (social tag) that uses social interaction, in the form of asking for help, as an integral component of task completion. We define socially...
In this paper we take a closer and in-depth look at initial results obtained from a previous novel experiment conducted with a 3D subliminal teaching Intelligent Tutoring System. S...
Although domestic computer use is increasing, most efforts to reduce energy use through improved power management have focused on computers in the workplace. We studied 20 househo...
Marshini Chetty, A. J. Bernheim Brush, Brian Meyer...
Physical and social interactions are constrained, and natural interactions are lost in most of present digital family entertainment systems [5]. Magic Cubes strive for bringing th...
Zhiying Zhou, Adrian David Cheok, Yu Li, Hirokazu ...