Eisbach: A Proof Method Language for Isabelle.
Daniel MatichukToby C. MurrayMakarius WenzelPublished in: J. Autom. Reason. (2016)
Keyphrases
- experimental evaluation
- segmentation method
- detection method
- high precision
- significant improvement
- clustering method
- objective function
- evaluation method
- classification method
- synthetic data
- probabilistic model
- cost function
- artificial neural networks
- natural language
- multiscale
- medical images
- classification accuracy
- dynamic programming