The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
Abstract. Many techniques make great contributions to video compression with removal of spatial and temporal redundancy in and between frames. However, compressed video is still ra...
In previous techniques of bit rate reduction transcoding, reusing the mode of the input MB is widely adopted. However, directly re-using the mode of input MB will cause additional ...
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lesca...