Embracing a mechanized formalization gap.

Antal Spector-Zabusky Joachim Breitner Yao Li Stephanie Weirich

Published in: CoRR (2019)

Keyphrases

formal model
database
pattern recognition
knowledge representation
databases
neural network
information retrieval
computer vision
image processing
multimedia
database systems
trade off