On the discriminating power of tests in resource lambda-calculus

Flavien Breuvart

Published in: CoRR (2012)

Keyphrases

discriminating power
lambda calculus
recognition accuracy
programming language
predicate calculus
feature space
database query languages
face recognition
medical image retrieval
complex objects
program understanding
image classification
data points
knowledge representation
test cases