Sciweavers

1052 search results - page 94 / 211
» Combining Gaussian Mixture Models
Sort
View
158
Voted
CADE
2007
Springer
16 years 3 months ago
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
155
Voted
ICCV
2011
IEEE
14 years 2 months ago
From Learning Models of Natural Image Patches to Whole Image Restoration
Learning good image priors is of utmost importance for the study of vision, computer vision and image processing applications. Learning priors and optimizing over whole images can...
Daniel Zoran, Yair Weiss
ICML
2010
IEEE
15 years 3 months ago
Gaussian Process Change Point Models
We combine Bayesian online change point detection with Gaussian processes to create a nonparametric time series model which can handle change points. The model can be used to loca...
Yunus Saatci, Ryan Turner, Carl Edward Rasmussen
127
Voted
CSDA
2006
142views more  CSDA 2006»
15 years 2 months ago
Automatic approximation of the marginal likelihood in non-Gaussian hierarchical models
Fitting of non-Gaussian hierarchical random effects models by approximate maximum likelihood can be made automatic to the same extent that Bayesian model fitting can be automated ...
Hans J. Skaug, David A. Fournier
107
Voted
SIGIR
2005
ACM
15 years 8 months ago
Using term informativeness for named entity detection
Informal communication (e-mail, bulletin boards) poses a difficult learning environment because traditional grammatical and lexical information are noisy. Other information is nec...
Jason D. M. Rennie, Tommi Jaakkola