Balancing Clarity and Efficiency in Typed Feature Logic Through Delaying.

Published in: ACL (2004)

Keyphrases

data sets
neural network
feature vectors
higher order
lambda calculus
computational complexity
image features
logic programming
computational efficiency
feature values
logical framework