The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of rese...
This paper presents an overview of auditory display (the use of non-speech sounds to convey information) applied to the study of molecular properties in human
Miguel Angel Garcia-Ruiz, Jorge Rafael Gutierrez-P...
Information visualisation systems which generate diagrams representing discrete relational information must consider potential users if they are to be effective. Many algorithms w...