QED and Property Generation.

Keerthikumara Devarajegowda Mohammad Rahmani Fadiheh Eshan Singh Clark W. Barrett Subhasish Mitra Wolfgang Ecker Dominik Stoffel Wolfgang Kunz

Published in: DATE (2020)

Keyphrases

real world
generation process
asymptotically optimal
three dimensional
database
data sets
neural network
artificial intelligence
image processing
database systems
objective function
preprocessing
nearest neighbor
generation algorithm
generation method