Login / Signup
Automatic checking of aggregation abstractions through stateenumeration.
Seungjoon Park
Satyaki Das
David L. Dill
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
</>
semi automatic
learning algorithm
high level
data mining
real time
artificial intelligence
computer vision
image processing
learning environment
image retrieval
multiresolution