The proposed approach is motivated by applications which allow user navigation and individual viewpoint specification in shared virtual environments with telepresence quality. In ...
Eddie Cooke, Oliver Schreer, Bernhard Pasewaldt, P...
We present teleassistance, a two-tiered control structure for robotic manipulation that combines the advantages of autonomy and teleoperation. At the top level, a teleoperator pro...
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Log data constitute a relevant aspect in the evaluation process of the quality of a search engine and the quality of a multilingual search service; log data can be used to study t...
Thomas Mandl, Maristella Agosti, Giorgio Maria Di ...
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...