5465 search results - page 785 / 1093 » Assigning Types to Processes |
263
click to vote
JSC
2010
15 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
186
click to vote
TJS
2010
15 years 2 months ago
2010
The Sort operation is a core part of many critical applications. Despite the large efforts to parallelize it, the fact that it suffers from high data-dependencies vastly limits it...
198
click to vote
ICASSP
2011
IEEE
2011
IEEE
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
14 years 11 months ago
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...
215
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We consider the use of Bayesian topic models in the analysis of computer network traffic. Our approach utilizes latent Dirichlet allocation and time-varying dynamic latent Dirich...
184
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...