Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Previous works related to texture coordinate coding of the three-dimensional(3-D) mesh models employed the same predictor as the geometry coder. However, discontinuities in the tex...
Sung-Yeol Kim, Young-Suk Yoon, Seung Man Kim, Kwan...
This paper presents new results in the field of video coding and compression using 3D information. Contrary to prior art in 3D model-based coding where 3D models have to be known,...
Franck Galpin, Koichiro Deguchi, Luce Morin, Rapha...
Compressed images transmitted over noisy channels are extremely sensitive to bit errors. This necessitates the application of error control channel coding to the compressed repres...
Jiali He, Daniel J. Costello Jr., Yih-Fang Huang, ...
Given a sequence S of n symbols over some alphabet Σ, we develop a new compression method that is (i) very simple to implement; (ii) provides O(1) time random access to any symbol...