Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
SenseCam is an automatic wearable camera, often seen as a tool for the creation of digital memories. In this paper, we report findings from a field trial in which SenseCams were w...
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...
Petra Neumann, Tobias Isenberg, M. Sheelagh T. Car...