7766 search results - page 418 / 1554 » Testing Nondeterminate Systems |
256
click to vote
SPEECH
2011
15 years 2 months ago
2011
This paper first introduces a newly-recorded high quality Romanian speech corpus designed for speech synthesis, called “RSS”, along with Romanian front-end text processing mo...
210
click to vote
STOC
2009
ACM
16 years 8 months ago
2009
ACM
The "direct product code" of a function f gives its values on all k-tuples (f(x1), . . . , f(xk)). This basic construct underlies "hardness amplification" in c...
179
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
We present the design and results of the Spring 2007 (RT-07) Rich Transcription Meeting Recognition Evaluation; the fifth in a series of community-wide evaluations of language tech...
228
click to vote
SIGCSE
2005
ACM
16 years 1 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
218
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...