4502 search results - page 289 / 901 » Regular Model Checking |
152
click to vote
IPAS
2008
15 years 9 months ago
2008
We propose an image restoration technique exploiting regularized inversion and the recent block-matching and 3D filtering (BM3D) denoising filter. The BM3D employs a non-local mod...
134
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper proposes a new technique in wavelet video compression that exploits the spatiotemporal regularity of the video. A sequence of frames is said to be regular along the dire...
181
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a new Bayesian approach to object identification: variants. By object identification we mean the detection of the member (regular variant) of a given statistical popula...
174
click to vote
NIPS
2003
15 years 8 months ago
2003
We explore the phenomena of subjective randomness as a case study in understanding how people discover structure embedded in noise. We present a rational account of randomness per...
122
click to vote
APAL
2010
15 years 6 months ago
2010
Let C() denote the class of all cardinal sequences of length associated with compact scattered spaces. Also put C() = {f C() : f(0) = = min[f() : < ]}. If is a cardinal an...