101 search results - page 13 / 21 » Efficient Haplotype Inference with Answer Set Programming |
140
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
113
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
138
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Gene Set Enrichment Analysis (GSEA) is a computational method for the statistical evaluation of sorted lists of genes or proteins. Originally GSEA was developed for in...
123
click to vote
ICALP
1998
Springer
15 years 6 months ago
1998
Springer
We investigate the problem of finding two nonempty disjoint subsets of a set of n positive integers, with the objective that the sums of the numbers in the two subsets be as close ...
212
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...