716 search results - page 29 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
EVOW
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
MTV
2003
IEEE
14 years 2 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
ESTIMEDIA
2009
Springer
14 years 3 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
—Much of the computational complexity in employing evolutionary algorithms as optimization tool is due to the fitness function evaluation that may either not exist or be computat...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...