549 search results - page 45 / 110 » Constraint Programming in Structural Bioinformatics |
144
Voted
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
143
Voted
AGP
1999
IEEE
15 years 7 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
131
Voted
SCP
2010
15 years 1 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
127
Voted
TCBB
2010
14 years 9 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
114
Voted
DAC
2010
ACM
15 years 3 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...