10715 search results - page 194 / 2143 » Proofs from Tests |
116
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
122
click to vote
FGR
2006
IEEE
15 years 6 months ago
2006
IEEE
An unsupervised nonparametric approach is proposed to automatically extract representative face samples (exemplars) from a video sequence or an image set for multipleshot face rec...
91
Voted
NIPS
2007
15 years 2 months ago
2007
The present work aims to model the correspondence between facial motion and speech. The face and sound are modelled separately, with phonemes being the link between both. We propo...
94
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
102
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...