Actuated car doors are a promising way to increase the convenience of access to cars. In this paper, an advanced door concept which can easily be integrated into conventional car ...
Michael Strolz, Alexander Mortl, Michael Graf, Mar...
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
The context of a collective activity is characterized by all information produced during the activity. The comprehension of this context by each actor is essential for the success...
We review the design and implementation of UltraGrid, a new high definition video conferencing system, and present some experimental results. UltraGrid was the first system to s...
Ladan Gharai, Tom Lehman, Alvaro Saurin, Colin Per...
In this paper, we propose the Interactive 3D BreakAway Map (I3BAM), an extension of the wellknown Worlds In Miniature [6]. The I3BAM supports user navigation in virtual buildings ...