521 search results - page 11 / 105 » Timing Verification Using HDTV |
PR
2006
14 years 9 months ago
2006
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
112
click to vote
CSREAPSC
2006
14 years 11 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...
FORMATS
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
ENTCS
2006
14 years 9 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
RTS
2008
14 years 9 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...