Login / Signup
Automatic abstraction refinement of TR for PDR.
Kuan Fan
Ming-Jen Yang
Chung-Yang Huang
Published in:
ASP-DAC (2016)
Keyphrases
</>
semi automatic
web services
high level
real world
data mining
information retrieval
artificial intelligence
search engine
information systems
knowledge base
case study
evolutionary algorithm
multiresolution
data driven
technical report