Towards Smaller Invariants for Proving Coverability.

Lenka Turonová Lukás Holík

Published in: EUROCAST (2) (2017)

Keyphrases

artificial intelligence
preprocessing
invariant features
moment invariants
neural network
information retrieval
computer vision
multimedia
relational databases
artificial neural networks
viewpoint
affine invariant
projective invariants
quasi invariant