Progress Measures and Stack Assertions for Fair Termination.

Published in: PODC (1992)

Keyphrases

database
learning algorithm
artificial intelligence
knowledge base
image processing
data sets
machine learning
web services
decision trees
similarity measure
special case
evaluation measures
active rules