Application of Axiomatic Methods to a Specification Analyser.

Susan L. Gerhart

Published in: ICSE (1984)

Keyphrases

machine learning methods
computationally expensive
real time
data structure
preprocessing
image processing
training data
significant improvement
application specific
feature selection
knowledge base
feature extraction
probabilistic model
multi class
benchmark datasets
methods require