3742 search results - page 58 / 749 » On the Use of Formal Techniques for Validation |
141
click to vote
CLA
2004
15 years 7 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
146
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
155
click to vote
EVOW
2009
Springer
16 years 28 days 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...
161
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
176
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...