Sciweavers

5154 search results - page 97 / 1031
» Computing and using residuals in time series models
Sort
View
INTERSPEECH
2010
15 years 1 months ago
The use of subvector quantization and discrete densities for fast GMM computation for speaker verification
Last year, we showed that the computation of a GMM-UBMbased speaker verification (SV) system may be sped up by 30 times by using a high-density discrete model (HDDM) on the NIST 2...
Guoli Ye, Brian Mak
FMSD
2006
85views more  FMSD 2006»
15 years 6 months ago
Distributed disk-based algorithms for model checking very large Markov chains
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
Alexander Bell, Boudewijn R. Haverkort
WINE
2005
Springer
268views Economy» more  WINE 2005»
15 years 11 months ago
Mining Stock Market Tendency Using GA-Based Support Vector Machines
In this study, a hybrid intelligent data mining methodology, genetic algorithm based support vector machine (GASVM) model, is proposed to explore stock market tendency. In this hyb...
Lean Yu, Shouyang Wang, Kin Keung Lai
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
A Spectral Algorithm for Learning Hidden Markov Models
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...
Daniel Hsu, Sham M. Kakade, Tong Zhang
FORMATS
2005
Springer
15 years 11 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard