This paper reviews the existing literature on input device evaluation and design in human-computer interaction (HCI) and discusses possible applications of this knowledge to the d...
Nicola Orio, Norbert Schnell, Marcelo M. Wanderley
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
We report our work in progress in the area of music intelligent tutoring systems (MITS). We discuss the motivation behind the design of GUI that aim to support an interactive lear...
In an effort to enlarge moral reference communities to include netizens of the world, the author constructed a web application called the Interactive Computer Ethics Explorer (ICE...
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...