Stable Forking and Imaginaries.

Enrique Casanovas Joris Potier

Published in: Notre Dame J. Formal Log. (2018)

Keyphrases

machine learning
computer vision
image processing
domain knowledge
learning algorithm
search algorithm
pattern recognition
computational complexity
data analysis
artificial neural networks