There is a growing interest into non-visual forms of data communication, not only driven by the need for accessible representations but also because researchers are realizing the ...
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
This paper describes development of a haptic interface using a laser range finder. The system consists of a laser range finder, computer and a 1 degree-of-freedom haptic apparat...
We present a tangible user interface for direct manipulation of sound during playback. The interface was inspired by observing DJs and musicians working with computers where loopi...
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...