1184 search results - page 103 / 237 » Algorithmic Results in List Decoding |
122
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
109
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
113
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Interpretation of simple microarray experiments is usually based on the fold-change of gene expression between a reference and a "treated" sample where the t...
109
click to vote
ICIP
2009
IEEE
15 years 28 days ago
2009
IEEE
We propose a novel scene image segmentation algorithm based on Perceptual Organization. We develop a Perceptual Organization model by quantitatively incorporating a list of Gestal...
144
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...