6308 search results - page 232 / 1262 » Modeling Urgency in Timed Systems |
124
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
122
click to vote
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
135
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a referential semantic language model that achieves accurate recognition in user-defined domains with no available domain-specific training corpora. This mo...
170
Voted
ANSS
1997
IEEE
15 years 9 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
120
click to vote
FCCM
2002
IEEE
15 years 9 months ago
2002
IEEE
Speech recognition is a computationally demanding task, particularly the stage which uses Viterbi decoding for converting pre-processed speech data into words or sub-word units. W...