Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
Rolf Johansson, Magnus Annerstedt, Anders Robertss...
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
Xavier Granier, Michael Goesele, Wolfgang Heidrich...
We present two projects that facilitate collective music creativity over networks. One system is a participative social music system on mobile devices. The other is a collaborativ...