Implementing and Evaluating Candidate-Based Invariant Generation.

Adam Betts Nathan Chong Pantazis Deligiannis Alastair F. Donaldson Jeroen Ketema

Published in: CoRR (2016)

Keyphrases

neural network
knowledge base
real time
preserving transformations
data mining
website
database systems
image sequences
data streams
affine transformation
affine invariant
generation algorithm
image transformations