Computing and Proving Well-founded Orderings through Finite Abstractions.

Published in: ACL2 (2020)

Keyphrases

high level
multimedia
decision trees
social networks
computer vision
knowledge base
image sequences
information technology
finite number
finite automata