Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs.

Jeffrey O. Shallit

Published in: CIAA (2021)

Keyphrases

image analysis
quantitative analysis
neural network
high level
statistical analysis
data analysis
image processing
evolutionary algorithm
knowledge representation
case based reasoning