18306 search results - page 3157 / 3662 » Algorithmics in Exponential Time |
143
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
198
click to vote
FPGA
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
150
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...
136
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes a new mating scheme for evolutionary multiobjective optimization (EMO), which simultaneously improves the convergence speed to the Pareto-front and the diversit...
126
click to vote
ICOIN
2003
Springer
15 years 9 months ago
2003
Springer
Ternary content-addressable memory has been widely used to perform fast routing lookups. It is able to accomplish the best matching prefix problem in O(1) time without considering...