16844 search results - page 3104 / 3369 » How to Design Programs |
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization." In this paper we introduce and expl...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
181
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Proteomics is the study of the proteome, and is critical to the understanding of cellular processes. Two central and related tasks of proteomics are protein identifica...
178
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarrays used for gene expression studies yield large amounts of data. The processing of such data typically leads to lists of differentially-regulated genes. A com...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Detecting remote homologies by direct comparison of protein sequences remains a challenging task. We had previously developed a similarity score between sequences, cal...