200 search results - page 12 / 40 » A Global Algorithm for Model-Based Test Suite Generation |
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
ICB
2007
Springer
15 years 3 months ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
RSP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...