Inferring assertion for complementary synthesis.

ShengYu Shen Ying Qin Jianmin Zhang

Published in: ICCAD (2011)

Keyphrases

pairwise
design process
program synthesis
real time
databases
artificial intelligence
decision making
clustering algorithm
case study
image segmentation
video sequences
support vector
relational databases
evolutionary algorithm
special case
low cost