Side estimation plays an important role in Wyner-Ziv video coding. In this paper, we examine the use of two conventional motion search methods to improve side estimation. Unlike m...
In this paper, an effective implementation of the allpass-based orthonormal symmetric wavelets is proposed for image compression. Since the orthonormal symmetric wavelets are used...
Xi Zhang, Kousuke Kawai, Toshinori Yoshikawa, Yosh...
Decreasing disk costs have made it practical to retain longlived snapshots, enabling new applications that analyze past states and infer about future states. Current approaches of...
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...