On the Existence of Alternative Skolemization Methods.

Rosalie Iemhoff

Published in: FLAP (2017)

Keyphrases

neural network
preprocessing
computational cost
machine learning
image processing
qualitative and quantitative
computer vision
training data
expert systems
empirical studies
statistical models
computationally expensive