WANDA - a Higher Order Termination Tool (System Description).

Published in: FSCD (2020)

Keyphrases

higher order
software tools
natural images
data sets
neural network
graphical representation
decision trees
anti unification
real time
markov random field
pairwise
object recognition
high level
web services
artificial intelligence
machine learning
databases