8828 search results - page 1297 / 1766 » Formal methods in practice |
202
click to vote
TASLP
2008
15 years 7 months ago
2008
Abstract-- Speaker space based adaptation methods for automatic speech recognition have been shown to provide significant performance improvements for tasks where only a few second...
193
click to vote
TCS
2008
15 years 7 months ago
2008
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
194
click to vote
IPM
2007
15 years 7 months ago
2007
Users of search engines express their needs as queries, typically consisting of a small number of terms. The resulting search engine query logs are valuable resources that can be ...
173
click to vote
TDP
2008
15 years 7 months ago
2008
The mean vector and covariance matrix are sufficient statistics when the un derlying distribution is multivariate normal. Many type of statistical analyses used in practice rely on...
174
click to vote
BIOINFORMATICS
2005
15 years 7 months ago
2005
A key issue in supervised protein classification is the representation of input sequences of amino acids. Recent work using string kernels for protein data has achieved state-of-t...