4281 search results - page 702 / 857 » How to Disembed a Program |
102
Voted
ENTCS
2008
15 years 19 days 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...
83
Voted
EOR
2008
15 years 18 days ago
2008
Market baskets arise from consumers' shopping trips and include items from multiple categories that are frequently chosen interdependently from each other. Explanatory models...
99
Voted
BMCBI
2006
15 years 18 days 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...
94
Voted
BMCBI
2006
15 years 18 days 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...
110
click to vote
BMCBI
2006
15 years 18 days 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...