549 search results - page 73 / 110 » Constraint Programming in Structural Bioinformatics |
123
click to vote
BMCBI
2006
15 years 16 days ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...
116
click to vote
BMCBI
2004
15 years 10 days ago
2004
Background: Large-scale sequence comparison is a powerful tool for biological inference in modern molecular biology. Comparing new sequences to those in annotated databases is a u...
119
Voted
AI
2010
Springer
15 years 18 days ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
105
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
133
click to vote
SAC
2006
ACM
15 years 12 days ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...