Extensible Proof Systems for Infinite-State Systems.

Rance Cleaveland Jeroen J. A. Keiren

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

image processing
management system
systems require
computer systems
metadata
video sequences
information technology
hidden markov models
distributed systems
knowledge based systems
retrieval systems
computing systems