Sciweavers

1270 search results - page 28 / 254
» Improving Code Density Using Compression Techniques
Sort
View
FATES
2003
Springer
14 years 23 days ago
Using a Software Testing Technique to Improve Theorem Proving
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 ...
Reiner Hähnle, Angela Wallenburg
PCM
2005
Springer
142views Multimedia» more  PCM 2005»
14 years 1 months ago
Texture Coordinate Compression for 3-D Mesh Models Using Texture Image Rearrangement
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...
CVPR
2004
IEEE
14 years 9 months ago
3D Models Coding and Morphing for Efficient Video Compression
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...
ICIP
1997
IEEE
14 years 9 months ago
On the application of turbo codes to the robust transmission of compressed images
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, ...
WEA
2007
Springer
125views Algorithms» more  WEA 2007»
14 years 1 months ago
Simple Compression Code Supporting Random Access and Fast String Matching
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...
Kimmo Fredriksson, Fedor Nikitin