Sciweavers

CORR
2006
Springer
112views Education» more  CORR 2006»
13 years 8 months ago
Joint universal lossy coding and identification of i.i.d. vector sources
The problem of joint universal source coding and modeling, addressed by Rissanen in the context of lossless codes, is generalized to fixed-rate lossy coding of continuousalphabet m...
Maxim Raginsky
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 8 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
CORR
2006
Springer
129views Education» more  CORR 2006»
13 years 8 months ago
Instanton analysis of Low-Density-Parity-Check codes in the error-floor regime
Abstract-- In this paper we develop instanton method introduced in [1], [2], [3] to analyze quantitatively performance of Low-Density-Parity-Check (LDPC) codes decoded iteratively ...
Mikhail G. Stepanov, Michael Chertkov
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 8 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal
CORR
2006
Springer
89views Education» more  CORR 2006»
13 years 8 months ago
Design of Rate-Compatible Serially Concatenated Convolutional Codes
Recently a powerful class of rate-compatible serially concatenated convolutional codes (SCCCs) have been proposed based on minimizing analytical upper bounds on the error probabil...
Alexandre Graell i Amat, Fredrik Brannstrom, Lars ...
CORR
2006
Springer
113views Education» more  CORR 2006»
13 years 8 months ago
Study of Self-Organization Model of Multiple Mobile Robot
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...
Cheng Xian-Yi, Li Shu-Qin, Xian De-Shen
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 8 months ago
A Constructive Semantic Characterization of Aggregates in ASP
Tran Cao Son, Enrico Pontelli
CORR
2006
Springer
153views Education» more  CORR 2006»
13 years 8 months ago
Genetic Programming, Validation Sets, and Parsimony Pressure
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
Christian Gagné, Marc Schoenauer, Marc Pari...