837 search results - page 37 / 168 » codes 2000 |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
We propose an image coding scheme using 2-D anisotropic dual-tree discrete wavelet transform (DDWT). First, we extend 2-D DDWT to anisotropic decomposition, and obtain more direct...
ZUM
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
SPIN
2000
Springer
14 years 7 days ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
DCC
2002
IEEE
14 years 8 months ago
2002
IEEE
On-line adaptation to nonstationary distributions is essential to good performance in image coding. Fixed-size contexts (with adaptive tables) are also widely used, in conjunction...
DCC
1995
IEEE
14 years 7 days ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...