Metric Reasoning about λ-Terms: The Affine Case.

Raphaëlle Crubillé Ugo Dal Lago

Published in: LICS (2015)

Keyphrases

background knowledge
database
real time
case based reasoning
co occurrence
case base
data sets
databases
neural network
information retrieval
genetic algorithm
case study
image sequences
feature vectors
metric space