— This paper is the continuation of our previous work in intercontinental, collaborative teleoperation with a humanoid robot. Our new achievement consists in an extension of the ...
Paul Evrard, Nicolas Mansard, Olivier Stasse, Abde...
We describe a demonstration of four novel interaction techniques for a cubic head-coupled 3D display. The interactions illustrated include: viewing a static scene, navigating thro...
Abstract— In this paper we consider the problem of sensorimotor coordination in a Bayesian framework. To this end we introduce a novel kind of Dynamic Bayesian Network serving as...
Ruben Coen Cagli, Paolo Napoletano, Paolo Coraggio...
— This paper presents an approach for producing virtual fixture based on simulated plasticity, which can be used for assisting precise manual manipulations performed by human us...
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...