Sciweavers

2119 search results - page 285 / 424
» Structure-Preserving Model Reduction
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
A study of an irrelevant variability normalization based discriminative training approach for LVCSR
This paper presents a discriminative training (DT) approach to irrelevant variability normalization (IVN) based training of feature transforms and hidden Markov models for large v...
Yu Zhang, Jian Xu, Zhi-Jie Yan, Qiang Huo
ICASSP
2011
IEEE
14 years 1 months ago
An iterative least-squares technique for dereverberation
Some recent dereverberation approaches that have been effective for automatic speech recognition (ASR) applications, model reverberation as a linear convolution operation in the s...
Kshitiz Kumar, Bhiksha Raj, Rita Singh, Richard M....
ICASSP
2011
IEEE
14 years 1 months ago
Design of robust steerable broadband beamformers incorporating microphone gain and phase error characteristics
Beamformers are known to be sensitive to errors and mismatches in their array elements. This paper proposes a robust steerable broadband beamformer design using the Farrow structu...
Chiong-Ching Lai, Sven Nordholm, Yee-Hong Leung
AAAI
2011
13 years 10 months ago
Global Seismic Monitoring: A Bayesian Approach
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik...
FROCOS
2011
Springer
13 years 9 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...