1727 search results - page 199 / 346 » A Technique for Large Automated Mechanism Design Problems |
156
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...
176
click to vote
EUROGP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
176
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
162
click to vote
DSN
2008
IEEE
16 years 27 days ago
2008
IEEE
An important yet largely uncharted problem in malware defense is how to automate generation of infection signatures for detecting compromised systems, i.e., signatures that charac...
154
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...