Computing polynomial program invariants.

Markus Müller-Olm Helmut Seidl

Published in: Inf. Process. Lett. (2004)

Keyphrases

imperative programs
information systems
image processing
case study
moment invariants
low order
program execution
real time
information retrieval
e learning
decision trees
video sequences
pattern recognition
image registration
high order