4502 search results - page 333 / 901 » Regular Model Checking |
137
click to vote
NIPS
2007
15 years 8 months ago
2007
Recent research has studied the role of sparsity in high dimensional regression and signal reconstruction, establishing theoretical limits for recovering sparse models from sparse...
153
click to vote
AML
2010
15 years 6 months ago
2010
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...
185
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
This paper presents a non-local kernel regression (NL-KR) method for image and video restoration tasks, which exploits both the non-local self-similarity and local structural regul...
147
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract-- The FOCal Underdetermined System Solver (FOCUSS) algorithm has already found many applications in signal processing and data analysis, whereas the regularized MFOCUSS al...
172
click to vote
CPC
2002
15 years 6 months ago
2002
The space of permutation pseudographs is a probabilistic model of 2-regular pseudographs on n vertices, where a pseudograph is produced by choosing a permutation of {1, 2, . . . ...