Difference Verification with Conditions.

Dirk Beyer Marie-Christine Jakobs Thomas Lemberger

Published in: SEFM (2020)

Keyphrases

sufficient conditions
database
neural network
machine learning
feature selection
data structure
evolutionary algorithm
face verification
concurrent systems