Sciweavers

385 search results - page 35 / 77
» Code Compression Using Variable-to-fixed Coding Based on Ari...
Sort
View
ITC
2002
IEEE
83views Hardware» more  ITC 2002»
14 years 1 months ago
Packet-Based Input Test Data Compression Techniques
1 This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and the number of required tester channels. The techni...
Erik H. Volkerink, Ajay Khoche, Subhasish Mitra
ICIP
2006
IEEE
14 years 2 months ago
Lossless Compression of Microarray Images
During the past years, the development of microarray technology has been remarkable, and it is becoming a daily tool in many genomic research laboratories. The widespread adoption...
António J. R. Neves, Armando J. Pinho
ICIP
2003
IEEE
14 years 10 months ago
A 2D representation for analysis and coding of power quality events
In this work, we demonstrate examples about uses of practical image processing techniques over a new interpretation of power quality event data. Power quality event data are 1D da...
Ömer Nezih Gerek, Dogãn Gökhan Ec...
ICIP
2000
IEEE
14 years 10 months ago
Model-Aided Coding of Multi-Viewpoint Image Data
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...
Marcus A. Magnor, Peter Eisert, Bernd Girod
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
14 years 2 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon