1813 search results - page 74 / 363 » Constraint Based Methods for Biological Sequence Analysis |
141
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: There has been an explosion in the number of single nucleotide polymorphisms (SNPs) within public databases. In this study we focused on non-synonymous protein coding ...
127
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
129
click to vote
METMBS
2004
15 years 5 months ago
2004
We introduce new distance measures for the construction and analysis of phylogenies, focusing on thioredoxin-fold proteins. Our distance measures for tree construction are based o...
132
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
123
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose a geometric constraint solving method based on connectivity analysis in graph theory, which can be used to decompose a well-constrained problem into some smaller ones i...