12697 search results - page 2305 / 2540 » Call for Papers |
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
137
click to vote
FC
2007
Springer
15 years 7 months ago
2007
Springer
Task-specific groups are often formed in an ad-hoc manner within big structures, like companies. Take the following typical scenario: A high rank manager decides that a task force...
99
Voted
FPGA
2007
ACM
15 years 7 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
138
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Recently, advances have been made in continuous, normal– distribution–based Estimation–of–Distribution Algorithms (EDAs) by scaling the variance up from the maximum–like...
102
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. These results, however, apply pa...