2797 search results - page 189 / 560 » Code query by example |
102
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Wavelet transform coefficient encoders are broadly categorized as depending on correlations: across sub-bands through a zerotree, or within sub-bands through a block quad-tree. Th...
101
click to vote
CJ
2010
15 years 3 months ago
2010
How best to quantify the information of an object, whether natural or artifact, is a problem of wide interest. A related problem is the computability of an object. We present prac...
147
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
126
click to vote
JSC
2010
15 years 1 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
135
Voted
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper highlights recent advancesin image compression aided by 3-D geometry information. As two examples, we present a model-aided video coder for efficient compression of hea...