Sciweavers

150 search results - page 16 / 30
» The Minimum Description Length Principle in Coding and Model...
Sort
View
CORR
2004
Springer
144views Education» more  CORR 2004»
13 years 7 months ago
Iterative Quantization Using Codes On Graphs
We study codes on graphs combined with an iterative message passing algorithm for quantization. Specifically, we consider the binary erasure quantization (BEQ) problem which is th...
Emin Martinian, Jonathan S. Yedidia
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
14 years 18 days ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
MEMOCODE
2003
IEEE
14 years 28 days ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
PAMI
2008
182views more  PAMI 2008»
13 years 7 months ago
A Hierarchical Compositional Model for Face Representation and Sketching
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
Zijian Xu, Hong Chen, Song Chun Zhu, Jiebo Luo
CISS
2008
IEEE
14 years 2 months ago
Information theory based estimator of the number of sources in a sparse linear mixing model
—In this paper we present an Information Theoretic Estimator for the number of sources mutually disjoint in a linear mixing model. The approach follows the Minimum Description Le...
Radu Balan