3686 search results - page 593 / 738 » Comprehensive comprehensions |
224
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
243
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
222
click to vote
RECOMB
2008
Springer
16 years 3 months ago
2008
Springer
The transcriptional regulatory sequences in metazoan genomes often consist of multiple cis-regulatory modules (CRMs). Each CRM contains locally enriched occurrences of binding site...
142
click to vote
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
We describe an algorithm, IsoRank, for global alignment of two protein-protein interaction (PPI) networks. IsoRank aims to maximize the overall match between the two networks; in c...
139
click to vote
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...