Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).

Jin Xu Zishan Li Miaomiao Zhang Bowen Du

Published in: SEKE (2021)

Keyphrases

neural network
main contribution
image processing
artificial neural networks
theoretical framework
database
fuzzy logic
real time
data mining
machine learning
information retrieval
artificial intelligence
video sequences
multi agent systems
conceptual framework
face verification