2032 search results - page 23 / 407 » Encodings of the Sequence Constraint |
JSAT
2006
14 years 11 months ago
2006
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...
110
click to vote
SIAMCO
2010
14 years 10 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
The paper addresses the problem of improving the MPEG compression of synthetic video sequences by exploiting the knowledge about the original 3D model. Two techniques are proposed...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
— The problem of channel code design for the M-ary input AWGN channel with additive discrete interference where the sequence of i.i.d. interference symbols is known causally at t...