Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...
Alexander Aiken, Jolly Chen, Mark Lin, Mybrid Spal...
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
Telepresence offers considerable advantages in the remote execution of maintenance assignments. In this work a telepresence system is presented that allows to perform assembly tas...
—Motion perception in immersive virtual environments significantly differs from the real world. For example, previous work has shown that users tend to underestimate travel dista...
Gerd Bruder, Frank Steinicke, Phil Wieland, Markus...
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
P. Vartholomeos, Kostas Vlachos, Evangelos Papadop...