Proof Methods for Corecursive Programs.

Jeremy Gibbons Graham Hutton

Published in: Fundam. Informaticae (2005)

Keyphrases

cross validation
machine learning methods
significant improvement
data sets
image segmentation
preprocessing
computational cost
benchmark datasets
neural network
artificial intelligence
three dimensional
bayesian networks
optimization methods