6800 search results - page 600 / 1360 » Testing with Functions as Specifications |
176
click to vote
GECCO
2004
Springer
16 years 26 days ago
2004
Springer
In this paper, a novel multi-objective orthogonal simulated annealing algorithm MOOSA using a generalized Pareto-based scale-independent fitness function and multi-objective intell...
201
click to vote
PPSN
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This paper describes a new approach for parameter optimization that uses a novel representation for the parameters to be optimized. By using genetic programming, the new ...
193
click to vote
EMMCVPR
2003
Springer
16 years 21 days ago
2003
Springer
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
253
click to vote
GLVLSI
2002
IEEE
16 years 13 days ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
213
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...