7978 search results - page 617 / 1596 » Combining shared-coin algorithms |
169
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
212
click to vote
CISC
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we investigate the problem of increasing the threshold parameter of the Shamir (t, n)-threshold scheme without interacting with the dealer. Our construction will re...
186
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...
190
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Two mathematical and two computational theories from the field of human and animal learning are combined to produce a more general theory of adaptive behavior. The cornerstone of ...
154
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We propose a crossover method to combine complexly overlapping building blocks (BBs). Although there have been several techniques to identify linkage sets of loci o form a BB [4, ...