Efficient equivalence checking with partitions and hierarchical cut-points.

Demos Anastasakis Lisa McIlwain Slawomir Pilarski

Published in: DAC (2004)

Keyphrases

feature selection
pairwise
real time
data sets
neural network
learning algorithm
image segmentation
computationally efficient
computationally expensive
single point