1890 search results - page 202 / 378 » Model-Based Testing in Practice |
142
click to vote
MSE
2005
IEEE
16 years 2 days ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
172
click to vote
QEST
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
154
click to vote
AE
2005
Springer
16 years 1 days ago
2005
Springer
An encoding scheme for protein folding on lattice models, inspired by parametric L-systems, was proposed. The encoding incorporates problem domain knowledge in the form of predesig...
170
click to vote
GECCO
2005
Springer
16 years 11 hour ago
2005
Springer
Self-adaptation of the mutation strengths is a powerful mechanism in evolution strategies (ES), but it can fail. As a consequence premature convergence or ending up in a local opt...
165
click to vote
GECCO
2005
Springer
16 years 11 hour ago
2005
Springer
This poster presents an evolution strategy for single- and multi-objective optimization. The model uses the predatorprey approach from ecology to scale between both cases. Further...