A calculus of matrical descriptors.

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

Keyphrases

keypoints
shape descriptors
feature vectors
image descriptors
computer algebra
high level
algebraic structure
sequent calculus
neural network
image retrieval
image database
object retrieval
visual descriptors
automated deduction