305 search results - page 42 / 61 » From Sets to Bits in Coq |
130
Voted
ICIP
2004
IEEE
16 years 13 days ago
2004
IEEE
This paper proposes a framework of scalable motion estimation and coding with the structure of multi-layers for 3D wavelet video coding. The motion representation consists of mult...
146
click to vote
POPL
2001
ACM
15 years 11 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
DCC
2004
IEEE
15 years 10 months ago
2004
IEEE
Video codecs that use motion compensation have shown PSNR gains from the use of multiple frame prediction, in which more than one past reference frame is available for motion esti...
ICCD
2008
IEEE
15 years 7 months ago
2008
IEEE
High associativity is important for level-two cache designs [9]. Implementing CAM-based Highly Associative Caches (CAM-HAC), however, is both costly in hardware and exhibits poor s...
IEEEARES
2010
IEEE
15 years 5 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...