6554 search results - page 1005 / 1311 » Constraint Logic Programming |
159
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: While most multiple sequence alignment programs expect that all or most of their input is known to be homologous, and penalise insertions and deletions, this is not a ...
136
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
170
click to vote
TPHOL
1997
IEEE
15 years 9 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
141
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
157
click to vote
APCSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, a runtime performance projection model for dynamic power management is proposed. The model is built as a first-order linear equation using a linear regression model....