1829 search results - page 1 / 366 » aims 2008 |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
PERVASIVE
2008
Springer
13 years 4 months ago
2008
Springer
SOFTWARE
2002
13 years 4 months ago
2002
Telecommunication systems are built with extensive redundancy and complexity to ensure robustness and quality of service. Such systems requires complex fault identification and man...
GECCO
2008
Springer
13 years 5 months ago
2008
Springer
Evolution Strategies (ES) for black-box optimization of a function f : Rn → R are investigated. Namely, we consider the cumulative step-size adaptation (CSA) for the variance of...
ENTCS
2008
13 years 4 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...