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...
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...
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...
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...
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...