In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
We present the first user study of out-of-turn interaction in menu-based, interactive voice-response systems. Out-ofturn interaction is a technique which empowers the user (unable...
Saverio Perugini, Taylor J. Anderson, William F. M...
We introduce a new approach to computing an approximately maximum s-t flow in a capacitated, undirected graph. This flow is computed by solving a sequence of electrical flow probl...
Paul Christiano, Jonathan A. Kelner, Aleksander Ma...