6960 search results - page 366 / 1392 » Continuity Analysis of Programs |
124
click to vote
EUROGP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper explores distance measures based on genetic operators for genetic programming using tree structures. The consistency between genetic operators and distance mea...
125
click to vote
SCALESPACE
2005
Springer
15 years 10 months ago
2005
Springer
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...
139
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
142
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
137
click to vote
ADAEUROPE
1997
Springer
15 years 9 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...