Sciweavers

5506 search results - page 753 / 1102
» Visualizing Software Changes
Sort
View
AVI
2008
15 years 6 months ago
A system for dynamic 3D visualisation of speech recognition paths
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
Saturnino Luz, Masood Masoodian, Bill Rogers, Bo Z...
AVI
2008
15 years 6 months ago
TapTap and MagStick: improving one-handed target acquisition on small touch-screens
We present the design and evaluation of TapTap and MagStick, two thumb interaction techniques for target acquisition on mobile devices with small touch-screens. These two techniqu...
Anne Roudaut, Stéphane Huot, Eric Lecolinet
CODES
2008
IEEE
15 years 6 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
CSSE
2008
IEEE
15 years 6 months ago
JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
Giovanni Malnati, Caterina Maria Cuva, Claudia Bar...
AVI
2010
15 years 6 months ago
The effect of stereoscopy and motion cues on 3D interpretation task performance
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
Boris W. van Schooten, Elisabeth M. A. G. van Dijk...