419 search results - page 44 / 84 » Automatic Synthesis of Real Time Systems |
134
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
In an experimental environment, we simulated the situation of a user who gives speech input to a system while walking through an airport. The time pressure on the subjects and the ...
131
Voted
ICAI
2004
15 years 5 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
143
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
139
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
We report an experimental high- delity system for making psychophysical measurements on human operators performing real, virtual, and real-remote 3D haptic manipulation tasks. Ope...
156
click to vote
JMM2
2006
15 years 4 months ago
2006
Spontaneous facial expressions differ from posed expressions in both which muscles are moved, and in the dynamics of the movement. Advances in the field of automatic facial express...