Sciweavers

2404 search results - page 230 / 481
» Postmodernism and Control Engineering
Sort
View
IJVR
2007
124views more  IJVR 2007»
15 years 6 months ago
Multi-party Conversation for Mixed Reality
—The interactive scenarios realized in the two prototypes of Virtual Human require an approach that allows humans and virtual characters to interact naturally and flexibly. In th...
Markus Löckelt, Norbert Pfleger, Norbert Reit...
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
VR
2010
IEEE
135views Virtual Reality» more  VR 2010»
15 years 4 months ago
Sound synthesis and evaluation of interactive footsteps for virtual reality applications
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
Rolf Nordahl, Stefania Serafin, Luca Turchet
VSTTE
2010
Springer
15 years 4 months ago
To Goto Where No Statement Has Gone Before
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
Michael Barnett, K. Rustan M. Leino