419 search results - page 43 / 84 » Automatic Synthesis of Real Time Systems |
134
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
In this paper we describe a system that separates signals by comparing the interaural time delays (ITDs) of their timefrequency components to a fixed threshold ITD. While in previ...
128
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
136
click to vote
IISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
Many embedded real world applications are intellectual property, and vendors hesitate to share these proprietary applications with computer architects and designers. This poses a ...
150
click to vote
TITS
2011
14 years 11 months ago
2011
—This study investigates a method for estimating a driver’s spontaneous frustration in the real world. In line with a specific definition of emotion, the proposed method inte...
147
click to vote
ICIP
2003
IEEE
15 years 9 months ago
2003
IEEE
Driver’s fatigue/distraction is one of the most common causes of traffic accidents. The aim of this paper is to develop a real time system to detect anomalous situations while ...