Automated Backend Selection for ProB Using Deep Learning.

Jannik Dunkelau Sebastian Krings Joshua Schmidt

Published in: NFM (2019)

Keyphrases

deep learning
back end
user friendly
unsupervised feature learning
unsupervised learning
data management
data types
machine learning
building blocks
mental models
deep architectures
database
computer vision
probabilistic model
graph cuts
weakly supervised