Sciweavers

2119 search results - page 128 / 424
» Structure-Preserving Model Reduction
Sort
View
ICASSP
2008
IEEE
15 years 9 months ago
Language modeling for voice search: A machine translation approach
This paper presents a novel approach to language modeling for voice search based on the idea and method of statistical machine translation. We propose an n-gram based translation ...
Xiao Li, Yun-Cheng Ju, Geoffrey Zweig, Alex Acero
131
Voted
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
15 years 8 months ago
A Bernoulli Relational Model for Nonlinear Embedding
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...
Gang Wang, Hui Zhang, Zhihua Zhang, Frederick H. L...
SPIN
2005
Springer
15 years 8 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina
WSC
2000
15 years 4 months ago
Automatic generation of simulation models from neutral libraries: an example
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...
Young-Jun Son, Albert Jones, Richard A. Wysk
CSL
2002
Springer
15 years 2 months ago
Transformation streams and the HMM error model
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
M. J. F. Gales