Interactive history tools, ranging from basic undo and redo to branching timelines of user actions, facilitate iterative forms of interaction. In this paper, we investigate the des...
Jeffrey Heer, Jock D. Mackinlay, Chris Stolte, Man...
Using the same application on different devices requires the user to perform a mental transformation in order to adapt his knowledge to a new platform. In this work we describe ho...
Bangarama is a music controller using headbanging as the primary interaction metaphor. It consists of a head-mounted tilt sensor and a guitar-shaped controller that does not requi...
Laszlo Bardos, Stefan Korinek, Eric Lee, Jan Borch...
We present the pervasive game Insectopia, which have been designed by the approach of utilizing commercially available mobile phones to provide context-dependent gameplay. The des...
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...