Sciweavers

4306 search results - page 237 / 862
» Timed Testing with TorX
Sort
View
89
Voted
IV
2005
IEEE
86views Visualization» more  IV 2005»
15 years 6 months ago
Visualizing Time Dependent Semantics: An Application to Quantum Algorithms
We have developed a visual syntax for representing concepts that are contingent on temporal properties (timedependent semantics). A within-group (N=24) experiment was conducted to...
Nivedita R. Kadaba, Pourang Irani, Michel Toulouse
113
Voted
ROBOCUP
2005
Springer
90views Robotics» more  ROBOCUP 2005»
15 years 6 months ago
Real-Time Diagnosis and Repair of Faults of Robot Control Software
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
Gerald Steinbauer, Martin Mörth, Franz Wotawa
ADAEUROPE
2004
Springer
15 years 6 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
143
Voted
DAGM
2003
Springer
15 years 6 months ago
Real-Time Recognition of 3D-Pointing Gestures for Human-Machine-Interaction
We present a system capable of visually detecting pointing gestures and estimating the 3D pointing direction in real-time. We use Hidden Markov Models (HMMs) trained on different ...
Kai Nickel, Rainer Stiefelhagen
124
Voted
AIMDM
1999
Springer
15 years 5 months ago
Knowledge-Based Event Detection in Complex Time Series Data
This paper describes an approach to the detection of events in complex, multi-channel, high frequency data. The example used is that of detecting the re-siting of a transcutaneous ...
Jim Hunter, Neil McIntosh