Loop Invariant Synthesis in a Combined Domain.

Shengchao Qin Guanhua He Chenguang Luo Wei-Ngan Chin

Published in: ICFEM (2010)

Keyphrases

domain specific
domain independent
case study
image sequences
multi agent
real time
data sets
clustering algorithm
cross domain
texture synthesis
moment invariants