5570 search results - page 658 / 1114 » Applications of Fair Testing |
204
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
The main ideas behind the implementation of the IALP RoboCup team are discussed: an agent architecture made of a hierarchy of behaviors, which can be combined to obtain different ...
158
click to vote
KBSE
1998
IEEE
15 years 11 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...
195
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 ...
177
click to vote
EPS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we describe EvoCK, a new approach to the application of genetic programming (GP) to planning. This approach starts with a traditional AI planner (PRODIGY)an...
166
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational ...