2266 search results - page 429 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
141
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
130
click to vote
PODS
2003
ACM
16 years 1 months ago
2003
ACM
There has been increasing interest in the problem of building accurate data mining models over aggregate data, while protecting privacy at the level of individual records. One app...
112
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
High power consumption will shorten battery life for handheld devices and cause thermal and reliability problems. One way to lower the dynamic power consumption is to reduce the s...
150
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...