Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
In this paper, a system called GENTORO that supports children's storytelling activities is proposed. By using GENTORO, children can make a robot play their story in the real ...
Studies which I carried out recently of users of digital music players revealed that the element of randomness plays a role in influencing the user experience (UX). Apart from bei...
Users require flexibility when interacting with information systems to contend with changing business processes, and to support diverse workflow. Model-based user interface design...
- In order to help the user to accomplish a task, teleoperation systems have to integrate different tools such as visualization, divers interaction devices, planning tools, etc......