Synthesis from Weighted Specifications with Partial Domains over Finite Words.

Emmanuel Filiot Christof Löding Sarah Winter

Published in: FSTTCS (2020)

Keyphrases

application domains
high level
n gram
real world
related words
transfer learning
english words
program synthesis
word segmentation
word sense disambiguation
text documents
information extraction
text mining
weighted graph
texture synthesis
keywords
training data
feature selection