3320 search results - page 611 / 664 » Heuristics for the Phylogeny Problem |
139
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
169
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
171
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
133
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Most current banner advertising is sold through negotiation thereby incurring large transaction costs and possibly suboptimal allocations. We propose a new automated system for se...
164
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...