Login / Signup

Inferring Assertion for Complementary Synthesis.

ShengYu ShenYing QinKefei WangZhengbin PangJianmin ZhangSikun Li
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2012)
Keyphrases
  • program synthesis
  • texture synthesis
  • wide range
  • information retrieval
  • high level
  • machine learning
  • multiscale
  • object recognition
  • functional programs