Sciweavers

2032 search results - page 21 / 407
» Encodings of the Sequence Constraint
Sort
View
ECAI
2004
Springer
15 years 3 months ago
Encoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
TASLP
2010
98views more  TASLP 2010»
14 years 10 months ago
Trellis-Based Approaches to Rate-Distortion Optimized Audio Encoding
—Many important audio coding applications, such as streaming and playback of stored audio, involve offline compression. In such scenarios, encoding delays no longer represent a ...
Vinay Melkote, Kenneth Rose
ICASSP
2011
IEEE
14 years 3 months ago
On efficient soft-input soft-output encoding of convolutional codes
We study efficient algorithms for soft-input soft-output (SISO) encoding of convolutional codes. While the BCJR algorithm has been suggested for SISO encoding, we show that a for...
Andreas Winkelbauer, Gerald Matz
DNA
2005
Springer
144views Bioinformatics» more  DNA 2005»
15 years 5 months ago
Designing Nucleotide Sequences for Computation: A Survey of Constraints
We survey the biochemical constraints useful for the design of DNA code words for DNA computation. We define the DNA/RNA Code Constraint problem and cover biochemistry topics rel...
Jennifer A. Sager, Darko Stefanovic