Studies show that 14-to-40 year olds are spending more time at the computer and less time exercising. Using Contextual Design, our group tackled the challenge of motivating people...
From working with location-based information systems we know that positioning is problematic. A different approach was tested, where users themselves were allowed to name and defi...
This paper introduces SmartPad, a new input device for mobile computers that is an enhanced physical keypad by a finger position sensor. This input device acts as a normal keypad ...
This paper introduces a new sensor architecture for making interactive surfaces that are sensitive to human hand and finger gestures. This sensor recognizes multiple hand position...
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...