A succinct canonical register automaton model.

Sofia Cassel Falk Howar Bengt Jonsson Maik Merten Bernhard Steffen

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

database
single image
high level
database systems
dynamic programming
d objects
multi view
image features