The proof of SIFT.

P. M. Melliar-Smith Richard L. Schwartz

Published in: ACM SIGSOFT Softw. Eng. Notes (1982)

Keyphrases

image features
keypoints
object recognition
scale invariant feature transform
scale invariant
sift features
computer vision
feature descriptors
automated theorem proving
information systems
knowledge base
image processing
linear logic
local image descriptors
mathematical proofs
geometry theorem proving