337 search results - page 20 / 68 » JPEG2000 image coding system theory and applications |
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
Coding at the sample level in still image watermarking takes advantage of avoiding a non-optimum initial diversity stage, used in many watermarking systems for tailoring Gaussian ...
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
The resampling of discrete-time signals where the underlying analog signal is non-bandlimited is considered in this paper. We extend the generalized sampling theory developed base...
91
Voted
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
90
Voted
WISEC
2010
ACM
14 years 7 months ago
2010
ACM
As sensors in a network are mostly homogeneous in software and hardware, a captured sensor can easily expose its code and data to attackers and further threaten the whole network....