Equivalence checking for behaviorally synthesized pipelines.

Kecheng Hao Sandip Ray Fei Xie

Published in: DAC (2012)

Keyphrases

consistency checking
machine learning
decision making
big data
real world
search engine
image processing
decision trees
case study
multiresolution
data processing
equivalence relation
query containment
interactive dynamic influence diagrams