Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism.

Published in: RAIRO Theor. Informatics Appl. (1993)

Keyphrases

information retrieval
real time
database
genetic algorithm
linear functions
feature space
upper bound
sufficient conditions
basis functions
graph theory
linear systems
efficient retrieval