Login / Signup
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
Chao Wang
Bing Li
HoonSang Jin
Gary D. Hachtel
Fabio Somenzi
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
</>
multi class
information systems
wide range
database
neural network
information retrieval
artificial intelligence
decision making
image segmentation
high level
multiscale
data structure
information technology
control system
wireless sensor networks