Comparing EventB, log and Why3 Models of Sparse Sets.

Maximiliano Cristiá Catherine Dubois

Published in: CoRR (2023)

Keyphrases

probabilistic model
artificial neural networks
multiscale
statistical models
data sets
information retrieval
genetic algorithm
artificial intelligence
information systems
image segmentation
bayesian networks
multi agent
generative model
parameter estimation
statistical model