Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness

Published in: CoRR (2007)

Keyphrases

affine invariant
affine transformation
higher order
query evaluation
piecewise affine
neural network
three dimensional
knowledge compilation
database
databases
information retrieval
case study
similarity measure
multiscale
computational properties