A Normalizing Calculus with Overloading and Subtyping.

Published in: TACS (1994)

Keyphrases

standard deviation
algebraic structure
image segmentation
special case
databases
neural network
data mining
information retrieval
search engine
computer vision
image processing
multiresolution
relational calculus
natural deduction