A Theory of Qualified Types.

Published in: Sci. Comput. Program. (1994)

Keyphrases

trade off
theoretical basis
neural network
databases
computer vision
computational model
real time
genetic algorithm
decision making
multimedia
information theory
multiple types
formal theory