4502 search results - page 340 / 901 » Regular Model Checking |
205
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Spatially-discrete Markov random fields (MRFs) and spatially-continuous variational approaches are ubiquitous in low-level vision, including image restoration, segmentation, opti...
156
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a system which converts a twodimensional sketch with hidden lines removed of a single polyhedral object into a boundary representation solid model. The system...
140
click to vote
EMNLP
2008
15 years 8 months ago
2008
We describe the first tractable Gibbs sampling procedure for estimating phrase pair frequencies under a probabilistic model of phrase alignment. We propose and evaluate two nonpar...
174
click to vote
JMIV
2007
15 years 6 months ago
2007
These last few years, image decomposition algorithms have been proposed to split an image into two parts: the structures and the textures. These algorithms are not adapted to the ...
211
click to vote
JMLR
2010
15 years 1 months ago
2010
An algorithm is presented for topology selection in graphical models of autoregressive Gaussian time series. The graph topology of the model represents the sparsity pattern of the...