Synthesis of Property-Preserving Mappings.

Eunsuk Kang Stéphane Lafortune Stavros Tripakis

Published in: CoRR (2017)

Keyphrases

learning algorithm
social networks
desirable properties
program synthesis
real time
data sets
information systems
database systems
texture synthesis
global consistency