Differentiation in logical form.

Abbas Edalat Mehrdad Maleki

Published in: LICS (2017)

Keyphrases

real time
image processing
logical representation
neural network
information retrieval
information systems
feature selection
face recognition
artificial neural networks