Generating Property-Directed Potential Invariants By Backward Analysis

Adrien Champion Rémi Delmas Michael Dierkes

Published in: FTSCS (2012)

Keyphrases

data analysis
real time
databases
three dimensional
image analysis
database
data mining
information retrieval
image processing
bayesian networks
probabilistic model
quantitative analysis
automatic analysis
automatically generating