Loop Invariant Generation for Non-monotone Loop Structures.

Chunyan Hou Jinsong Wang Chen Chen Kai Shi

Published in: COMPSAC (1) (2018)

Keyphrases

database
real time
computer vision
decision trees
face recognition
invariant features
feedback loop