13004 search results - page 2343 / 2601 » Mining Software Data |
158
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
186
Voted
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
178
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Traditional genome alignment methods consider sequence alignment as a variation of the string edit distance problem, and perform alignment by matching characters of th...
168
click to vote
DEBU
2010
15 years 2 months ago
2010
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
163
Voted
TCBB
2010
14 years 11 months ago
2010
Multiclass cancer classification on microarray data has provided the feasibility of cancer diagnosis across all of the common malignancies in parallel. Using multiclass cancer feat...