6800 search results - page 671 / 1360 » Testing with Functions as Specifications |
215
click to vote
GECCO
2004
Springer
16 years 19 days ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
223
click to vote
WABI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Sequence alignment algorithms have a long standing tradition in bioinformatics. In this paper, we formulate an extension to existing local alignment algorithms: local ali...
210
click to vote
IMR
2003
Springer
16 years 13 days ago
2003
Springer
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
191
click to vote
ICRA
2002
IEEE
16 years 5 days ago
2002
IEEE
Effective image segmentation of a digitized scene into a set of recognizable objects requires the development of sophisticated scene analysis algorithms. Progress in this area has...
171
click to vote
DESRIST
2010
Springer
16 years 1 days ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...