Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu Liyong Shen Min Wu Zhengfeng Yang Zhenbing Zeng

Published in: CoRR (2011)

Keyphrases

sample points
delaunay triangulation
convex hull
data points
machine learning
image processing
medical images
moment invariants