362 search results - page 53 / 73 » A Theory of Probabilistic Functional Testing |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
This paper is concerned with a specific brand of evolutionary algorithms: Memetic algorithms. A new local search technique with an adaptive neighborhood setting process is introdu...
MIRRORBOT
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
101
click to vote
COMPSYSTECH
2007
15 years 3 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
102
click to vote
FLAIRS
2001
15 years 1 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...