On Invariant Synthesis for Parametric Systems.

Dennis Peuter Viorica Sofronie-Stokkermans

Published in: CoRR (2019)

Keyphrases

multiscale
information retrieval systems
distributed systems
intelligent systems
artificial intelligence
metadata
decision trees
learning environment
digital libraries
management system
computational intelligence
computer systems
knowledge based systems
building blocks
affine invariant