2797 search results - page 189 / 560 » Code query by example |
147
click to vote
ICPR
2004
IEEE
16 years 7 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...
156
click to vote
CJ
2010
15 years 6 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...
199
click to vote
FUIN
2010
15 years 5 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...
183
click to vote
JSC
2010
15 years 4 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...
183
click to vote
ICIP
1999
IEEE
16 years 8 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...