Rigorous Assessment of Model Inference Accuracy using Language Cardinality.

Donato Clun Donghwan Shin Antonio Filieri Domenico Bianculli

Published in: CoRR (2022)

Keyphrases

computational model
management system
mathematical model
formal model
inference process
cost function
probabilistic model
genetic algorithm
image segmentation
bayesian inference
context dependent
bayesian model