6800 search results - page 725 / 1360 » Testing with Functions as Specifications |
195
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
Combilex is a high quality lexicon that has been developed specifically for speech technology purposes and recently released by CSTR. Combilex benefits from many advanced features...
191
click to vote
JMLR
2010
15 years 1 months ago
2010
Recent research has seen the proposal of several new inductive principles designed specifically to avoid the problems associated with maximum likelihood learning in models with in...
212
click to vote
NAR
2010
15 years 1 months ago
2010
Nucleic acid-binding proteins are involved in a great number of cellular processes. Understanding the mechanisms underlying these proteins first requires the identification of spe...
185
click to vote
TSP
2010
15 years 1 months ago
2010
In this correspondence, a two-channel linear phase finite impulse response (FIR) quadrature mirror filter (QMF) bank minimax design problem is formulated as a nonconvex optimizati...
291
click to vote
HPDC
2011
IEEE
14 years 11 months ago
2011
IEEE
Cloud computing systems are becoming an important platform for science applications. Infrastructure as a Service (IaaS) clouds provide the capability to provision virtual machines...