Second-Order Constraints in Dynamic Invariant Inference.

Kaituo Li Christoph Reichenbach Yannis Smaragdakis Michal Young

Published in: Software Engineering (2014)

Keyphrases

expert systems
data sets
bayesian networks
constraint satisfaction
constraint programming
probabilistic inference
inference process
databases
information retrieval
multiscale
co occurrence
higher order
dynamic environments
moment invariants