2286 search results - page 302 / 458 » Algorithms for Categorical Equivalence |
189
click to vote
IJCV
2011
14 years 10 months ago
2011
We examine the underlying structure of popular algorithms for variational methods used in image processing. We focus here on operator splittings and Bregman methods based on a uniï...
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Among image restoration literature, there are mainly two kinds of approach. One is based on a process over image wavelet coefficients, as wavelet shrinkage for denoising. The other...
185
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Data cube pre-computation is an important concept for supporting OLAP(Online Analytical Processing) and has been studied extensively. It is often not feasible to compute a complet...
177
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
We study error-correcting codes for highly noisy channels. For example, every received signal in the channel may originate from some half of the symbols in the alphabet. Our main c...
197
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...