4460 search results - page 594 / 892 » Formal methods for interactive systems |
209
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
204
click to vote
PDC
2004
ACM
16 years 1 days ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
155
click to vote
IWPC
2005
IEEE
16 years 6 days ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
215
click to vote
HAPTICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...
174
click to vote
SIGIR
2005
ACM
16 years 5 days ago
2005
ACM
We present a metadata free system for the interaction with massive collections of music, the MusicSurfer. MusicSurfer automatically extracts descriptions related to instrumentatio...