Modular Certification of Low-Level Intermediate Representation Programs.

Yuan Dong Shengyuan Wang Liwei Zhang Ping Yang

Published in: COMPSAC (1) (2009)

Keyphrases

intermediate representation
intermediate level
low level
high level
higher level
visual features
databases
intermediate representations
low level features
image regions
image understanding
multi class
data sets
generative model
image database
control structure
expert systems
training data