IChecker: An Efficient Checker for Inductive Invariants.

Feng Lu Kwang-Ting Cheng

Published in: HLDVT (2006)

Keyphrases

inductive learning
bayesian networks
computationally efficient
data structure
quasi invariant
inductive reasoning
inductive inference
concept learning
probabilistic model
artificial neural networks
database
multi agent
image sequences
decision trees
e learning
search engine
machine learning