In this paper we describe the process and technology behind a dance performance, “Bodies/Antibodies,” that will be presented at CHI 2010. This performance is part of an ongoin...
Celine Latulipe, David C. Wilson, Sybil Huskey, Me...
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
In this work, we present iWalk, a multimedia exploration tool that provides an interactive virtual environment for physically exploring geo-tagged data. This tool is flexible enou...