Sciweavers

5689 search results - page 324 / 1138
» A Performance Process Maturity Model
Sort
View
222
Voted
FMCAD
2008
Springer
15 years 9 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
ICASSP
2011
IEEE
14 years 11 months ago
High accurate model-integration-based voice conversion using dynamic features and model structure optimization
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
Daisuke Saito, Shinji Watanabe, Atsushi Nakamura, ...
199
Voted
ICIP
2004
IEEE
16 years 9 months ago
Statistical transformations of frontal models for non-frontal face verification
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
Conrad Sanderson, Samy Bengio
181
Voted
ICASSP
2010
IEEE
15 years 7 months ago
Morphology-based and sub-word language modeling for Turkish speech recognition
We explore morphology-based and sub-word language modeling approaches proposed for morphologically rich languages, and evaluate and contrast them for Turkish broadcast news transc...
Hasim Sak, Murat Saraclar, Tunga Güngör
AAAI
2010
15 years 4 months ago
A Topic Model for Linked Documents and Update Rules for its Estimation
The latent topic model plays an important role in the unsupervised learning from a corpus, which provides a probabilistic interpretation of the corpus in terms of the latent topic...
Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Y...