3387 search results - page 21 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
NAACL
1994
13 years 8 months ago
1994
In addressing the problem of achieving high-accuracy real-time speech recognition systems, we focus on recognizing speech from ARPA's20,000-word Wall Street Journal (WSJ) tas...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
MSE
2002
IEEE
14 years 13 days ago
2002
IEEE
This paper describes the first multimedia system that allows users to conduct a realistic electronic orchestra. Users control tempo, dynamics, and instrument emphasis of the orch...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...