697 search results - page 75 / 140 » Improving EAs for Sequencing Problems |
131
Voted
IJBRA
2007
15 years 3 months ago
2007
A function of a protein is dependent on its structure; therefore, predicting a protein structure from an amino acid sequence is an active area of research. Optimally predicting a ...
341
Voted
RECOMB
2012
Springer
13 years 6 months ago
2012
Springer
We develop a novel and general approach to estimating the accuracy of protein multiple sequence alignments without knowledge of a reference alignment, and use our approach to addre...
135
Voted
ENGL
2007
15 years 3 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
151
Voted
CP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
168
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...