Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.

Rachid Rebiha Nadir Matringe Arnaldo Vieira Moura

Published in: ICTAC (2008)

Keyphrases

data structure
affine transformation
data sets
information retrieval
information systems
image processing
multi agent
optimal solution
image analysis