Login / Signup
Higher-order constraint simplification in dependent type theory.
Jason Reed
Published in:
LFMTP (2009)
Keyphrases
</>
higher order
natural images
theoretical framework
multiresolution
lower order
general theory
theoretical basis
high order
evolutionary algorithm
pairwise
real world
neural network
objective function
website
image processing
learning algorithm
formal model
low order
databases