1813 search results - page 74 / 363 » Constraint Based Methods for Biological Sequence Analysis |
168
click to vote
BMCBI
2006
15 years 6 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 ...
164
click to vote
ICLP
2007
Springer
16 years 6 days 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)...
167
click to vote
METMBS
2004
15 years 7 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...
163
click to vote
CORR
2000
Springer
15 years 5 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...
147
click to vote
SAC
2006
ACM
16 years 21 hour 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...