7228 search results - page 786 / 1446 » From Algorithmic to Subjective Randomness |
187
Voted
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Blogs are a new form of internet phenomenon and a vast everincreasing information resource. Mining blog files for information is a very new research direction in data mining. We p...
171
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...
183
Voted
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
192
click to vote
GECCO
2006
Springer
15 years 11 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 ...
156
click to vote
GECCO
2006
Springer
15 years 11 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, ...