cascade: C Assertion Checker and Deductive Engine.

Nikhil Sethi Clark W. Barrett

Published in: CAV (2006)

Keyphrases

object oriented
image processing
abductive inference
data sets
multi class
neural network
information retrieval
feature extraction
multi agent
search algorithm
np complete
inference engine
retrieval engine
hypothesis formation