2388 search results - page 351 / 478 » Kernel information embeddings |
174
Voted
CORR
2012
Springer
14 years 9 days ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
158
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
Privacy protection of visual information is increasingly important as pervasive camera networks becomes more prevalent. The proposed scheme addresses the problem of preserving and...
143
Voted
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper deals with conversion from H.264/AVC (Advanced Video Coding) coded video into the MPEG-2 format. The proposed approach exploits similarities between the coding techniqu...
152
click to vote
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a practical scheme for error-resilient digital video broadcasting, using the Wyner-Ziv coding paradigm. We apply the general framework of systematic lossy source-channe...
132
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Topology has been an important tool for analyzing scalar data and flow fields in visualization. In this work, we analyze the topology of multivariate image and volume data sets wit...