Login / Signup
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
Marcelo Glusman
Gila Kamhi
Sela Mador-Haim
Ranan Fraer
Moshe Y. Vardi
Published in:
TACAS (2003)
Keyphrases
</>
high level
databases
data mining
computer vision
e learning
multi agent
hidden markov models
logic programs
evaluation method
gold standard
industrial applications
evaluation model
query refinement
formal verification