Scaling Up Symbolic Analysis by Removing Z-Equivalent States.

Yueqi Li Shing-Chi Cheung Xiangyu Zhang Yepang Liu

Published in: ACM Trans. Softw. Eng. Methodol. (2014)

Keyphrases

neural network
image processing
three dimensional
statistical analysis
data sets
website
image sequences
data analysis
preprocessing
image analysis
multiresolution