Login / Signup
Better Quality in Synthesis through Quantitative Objectives
Roderick Bloem
Krishnendu Chatterjee
Thomas A. Henzinger
Barbara Jobstmann
Published in:
CoRR (2009)
Keyphrases
</>
high quality
quantitative measures
higher quality
program synthesis
low quality
trade off
quantitative and qualitative
qualitative and quantitative
medical images
special case
databases
expert systems
data streams
data structure
multi agent
image segmentation
web services