Experimenting with Theory Instantiation in Vampire.

Published in: Vampire (2019)

Keyphrases

neural network
image processing
multimedia
trade off
theoretical framework
theoretical basis
database
genetic algorithm
learning algorithm
website
multi agent
computer science
preprocessing