3600 search results - page 638 / 720 » The settling-time reducibility ordering |
174
click to vote
ATVA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
215
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
161
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
146
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
There are many innovative proposals introduced in the literature under the evolutionary computation field, from which estimation of distribution algorithms (EDAs) is one of them....
156
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
A system composed of multiple interacting components is capable of responding to contextual information and producing a higher range of non-linear responses to stimuli compared to...