Automatic Finite Unfolding Using Well-Founded Measures.

Bern Martens Danny De Schreye

Published in: J. Log. Program. (1996)

Keyphrases

petri net
fully automatic
real time
neural network
bayesian networks
real world
information retrieval
computer vision
e learning
learning environment
ground truth
data driven
evaluation measures
labor intensive
quantitative measures