Direct generation of invariants for reactive models.

Elizabeth I. Leonard Myla Archer Constance L. Heitmeyer Ralph D. Jeffords

Published in: MEMOCODE (2012)

Keyphrases

databases
prior knowledge
real time
computer vision
website
decision trees
image segmentation
model selection
complex systems
statistical model
statistical models
autoregressive