Sign in

Results and Analysis of SyGuS-Comp'15.

Rajeev AlurDana FismanRishabh SinghArmando 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