Model Completeness, Covers and Superposition (Abridged Version).

Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: CILC (2019)

Keyphrases

high level
computational model
probabilistic model
neural network model
video sequences
statistical model
formal model
computer vision
website
objective function
cost function
management system
experimental data