Sciweavers

631 search results - page 70 / 127
» An experimental evaluation of continuous testing during deve...
Sort
View
VR
2000
IEEE
101views Virtual Reality» more  VR 2000»
14 years 7 days ago
Multimodal Menu Presentation and Selection in Immersive Virtual Environments
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
Namgyu Kim, Gerard Jounghyun Kim, Chan-Mo Park, In...
DAGSTUHL
2004
13 years 9 months ago
ECA Perspectives - Requirements, Applications, Technology
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
Anton Eliëns, Zhisheng Huang, Johan F. Hoorn,...
ICPR
2008
IEEE
14 years 9 months ago
Recovering audio-to-video synchronization by audiovisual correlation analysis
Audio-to-video synchronization (AV-sync) may drift and is difficult to recover without dedicated human effort. In this work, we develop an interactive method to recover the drifte...
Yoichi Sato, Yuyu Liu
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 8 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
ISWC
2002
IEEE
14 years 23 days ago
A Wearable Computer for Support of Astronaut Extravehicular Activity
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...
Christopher E. Carr, Steven J. Schwartz, Ilia Rose...