Sciweavers

4190 search results - page 97 / 838
» Implementing commitment-based interactions
Sort
View
HAPTICS
2009
IEEE
15 years 9 months ago
Control of an actuated car door providing outstanding haptic interaction
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...
TPHOL
2007
IEEE
15 years 8 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
126
Voted
CSCWD
2007
Springer
15 years 8 months ago
An interactive graph visualization for handling cooperative design activity context
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...
Gilles Halin
ICMCS
2006
IEEE
123views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Experiences with High Definition Interactive Video Conferencing
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...
117
Voted
CW
2005
IEEE
15 years 8 months ago
The Interactive 3D BreakAway Map: A navigation and examination aid for multi-floor 3D worlds
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 ...
Luca Chittaro, Vijay Kumar Gatla, Subramanian Venk...