32545 search results - page 562 / 6509 » Data Structures and Algorithms |
193
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
187
click to vote
CANDC
2006
ACM
15 years 7 months ago
2006
ACM
On the basis of maximum weighted matching (MWM) algorithm, we introduced a dynamic weight related with stem length and used a recursive algorithm to predict RNA secondary structur...
198
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Prediction of protein structural classes (a, b, a + b and a/b) from amino acid sequences is of great importance, as it is beneficial to study protein function, regulat...
176
click to vote
IJCAI
2007
15 years 8 months ago
2007
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
