Results and Analysis of SyGuS-Comp'15.

Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama

Published in: SYNT (2015)

Keyphrases

database
data analysis
image analysis
real time
databases
website
high level
face recognition
high quality
pattern recognition
digital libraries
pairwise
user interface
multiresolution
quantitative analysis