Generic Transformations of Predicate Encodings: Constructions and Applications.

Miguel Ambrona Gilles Barthe Benedikt Schmidt

Published in: CRYPTO (1) (2017)

Keyphrases

artificial intelligence
databases
information retrieval
genetic algorithm
domain specific
neural network
learning algorithm
image segmentation
domain independent