2302 search results - page 227 / 461 » Testing as Abstraction |
173
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...
170
click to vote
KES
1998
Springer
15 years 11 months ago
1998
Springer
Abstract--Recombination operator plays a very important role in genetic algorithms. In this paper, we present binary coded genetic algorithms in which more than two parents are inv...
188
click to vote
DBPL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
212
click to vote
CONCUR
1994
Springer
15 years 10 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
172
click to vote
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a new principle for recognizing fingerspelling sequences from American Sign Language (ASL). Instead of training a system to recognize the static posture for ea...