Theories and Generically Simple Generics.

Published in: Notre Dame J. Formal Log. (2020)

Keyphrases

databases
computer vision
three dimensional
lower bound
theoretical framework
high level
black box
logic programming
logic programs
color images
trade off
digital libraries
database
image processing
metadata
learning algorithm
real time