6312 search results - page 1000 / 1263 » A design framework for metaheuristics |
197
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
169
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
154
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
158
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
Web users are spending more of their time and creative energies within online social networking systems. While many of these networks allow users to export their personal data or ...
211
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
In cognitive radio networks (CRNs), spectrum sensing is key to opportunistic spectrum access while preventing any unacceptable interference to primary users’ communications. Alt...