1760 search results - page 76 / 352 » Program Analysis Using Weighted Pushdown Systems |
109
click to vote
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes a new method for fast speaker adaptation in large vocabulary recognition systems. As in most HMM-based recognizers, the observation densities are modeled as a...
97
Voted
TSP
2010
14 years 7 months ago
2010
Abstract--The performance of existing moments-based nondata-aided (NDA) estimators of signal-to-noise ratio (SNR) in digital communication systems substantially degrades with multi...
116
click to vote
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
117
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
112
click to vote
MBEES
2010
15 years 1 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...