Adaptive Assertion-Level Proofs.

Christoph Benzmüller Marvin R. G. Schiller

Published in: EMSQMS@IJCAR (2010)

Keyphrases

data driven
higher level
levels of abstraction
theorem proving
machine learning
genetic algorithm
artificial intelligence
e learning
image segmentation
multi agent
adaptive learning
pixel level