1613 search results - page 318 / 323 » Functional and Constraint Logic Programming |
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
13 years 8 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
AI
2006
Springer
13 years 8 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
CIKM
2007
Springer
14 years 2 months ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...