Finite Model Finding Using the Logic of Equality with Uninterpreted Functions.

Amirhossein Vakili Nancy A. Day

Published in: FM (2016)

Keyphrases

computational model
probabilistic model
machine learning
theoretical analysis
parameter estimation
mathematical model
statistical model
neural network
high level
similarity measure
artificial neural networks
management system
em algorithm
experimental data