The Type Theory of PL/CV 3.

Robert L. Constable Daniel R. Zlatin

Published in: Logic of Programs (1981)

Keyphrases

real time
feature extraction
conceptual framework
general theory
databases
computer vision
information systems
multi agent
evolutionary algorithm
computational model
theoretical framework
information theory
belief functions
theoretical basis
formal theory