Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.

Orieta Celiku Annabelle McIver

Published in: Nord. J. Comput. (2004)

Keyphrases

database
data analysis
probabilistic model
databases
genetic algorithm
website
image segmentation
data driven
generative model
cost sensitive
theorem prover