Sciweavers

1052 search results - page 94 / 211
» Combining Gaussian Mixture Models
Sort
View
CADE
2007
Springer
14 years 10 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...
ICCV
2011
IEEE
12 years 10 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
13 years 11 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
CSDA
2006
142views more  CSDA 2006»
13 years 10 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
SIGIR
2005
ACM
14 years 3 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