42230 search results - page 8316 / 8446 » Algorithms and Complexity Results for |
190
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Embedded Cartesian Genetic Programming (ECGP) is an extension of Cartesian Genetic Programming (CGP) that can automatically acquire, evolve and re-use partial solutions in the for...
177
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- We describe new graph bipartization algorithms for layout modification and phase assignment of bright-field alternating phaseshifting masks (AltPSM) [25]. The problem of...
179
click to vote
BIBE
2001
IEEE
15 years 10 months ago
2001
IEEE
As various genome sequencing projects have already been completed or are near completion, genome researchers are shifting their focus from structural genomics to functional genomi...
146
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Intertask/interprocess synchronization overheads may be significant in a multiprocessor-shared memory System-on-a-Chip implementation. These overheads are observed in terms of loc...
186
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...