716 search results - page 14 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
ICES
2007
Springer
13 years 9 months ago
2007
Springer
Combinational multipliers represent a class of circuits that is usually considered to be hard to design by means of the evolutionary techniques. However, experiments conducted unde...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
IWSEC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...