Sciweavers

3208 search results - page 353 / 642
» Methods and views
Sort
View
MEMOCODE
2003
IEEE
15 years 12 months ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen
VR
2003
IEEE
139views Virtual Reality» more  VR 2003»
15 years 12 months ago
Combining Head-Mounted and Projector-Based Displays for Surgical Training
We introduce and present preliminary results for a hybrid display system combining head-mounted and projector-based displays. Our work is motivated by a surgical training applicat...
Kok-Lim Low, Adrian Ilie, Greg Welch, Anselmo Last...
DPPI
2003
ACM
15 years 12 months ago
Observing and probing
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
Vesa Jääskö, Tuuli Mattelmäki
ITICSE
2003
ACM
15 years 12 months ago
Observations from using two modes of teaching undergraduate computer architecture
The authors present observations from using two modes of teaching undergraduate computer architecture. Two sections were taught differently: one section was taught using a traditi...
Benjoe A. Juliano, Chi-Hui Chen, Elena Kroumova
MM
2003
ACM
142views Multimedia» more  MM 2003»
15 years 12 months ago
Synchronization of lecture videos and electronic slides by video text analysis
An essential goal of structuring lecture videos captured in live presentation is to provide a synchronized view of video clips and electronic slides. This paper presents an automa...
Feng Wang, Chong-Wah Ngo, Ting-Chuen Pong