Sciweavers

716 search results - page 13 / 144
» Modelling Bounded Rationality Using Evolutionary Techniques
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 1 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ACRI
2004
Springer
14 years 1 months ago
Mining Ecological Data with Cellular Automata
This paper introduces a Cellular Automata (CA) approach to spatiotemporal data mining (STDM). The recently increasing interest in using Genetic Algorithms and other evolutionary te...
Alexander Campbell, Binh Pham, Yu-Chu Tian
ICALP
2003
Springer
14 years 1 months ago
Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
Jens Jägersküpper
EVOW
2008
Springer
13 years 9 months ago
Analogue Circuit Control through Gene Expression
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...
Kester Clegg, Susan Stepney
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
13 years 12 months ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...