6800 search results - page 624 / 1360 » Testing with Functions as Specifications |
170
click to vote
TLCA
2005
Springer
16 years 28 days ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
186
click to vote
ACRI
2004
Springer
16 years 26 days ago
2004
Springer
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...
187
click to vote
CIVR
2004
Springer
16 years 26 days ago
2004
Springer
This paper presents a CBIR system that is based on a segmented representation of image content. It compares regional features using fuzzy similarity, which have been shown to be ps...
184
click to vote
GECCO
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This work introduces a new evolutionary algorithm that adapts the operator probabilities (rates) while evolves the solution of the problem. Each individual encodes its ge...
197
click to vote
CEC
2003
IEEE
16 years 23 days ago
2003
IEEE
Neural networks and the Kriging method are compared for constructing £tness approximation models in evolutionary optimization algorithms. The two models are applied in an identica...