6456 search results - page 1034 / 1292 » Constraint Solving on Terms |
188
click to vote
PPSN
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we describe the application of a new type of genetic algorithm called the Structured Genetic Algorithm (sGA) for function optimization in nonstationary environments...
166
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
175
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
While diffusion of innovation topics in economics and majority games in game theory have been widely studied, the impact of economy-of-scale effects in aggregated decision making ...
166
click to vote
CHIMIT
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an innovative approach to solve the problem of missing transparency of competencies within virtual organizations. We based our work on empirical studies to cop...
150
click to vote
DAC
2010
ACM
15 years 10 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...