Login / Signup
Industrial strength refinement checking.
Jesse D. Bingham
John Erickson
Gaurav Singh
Flemming Andersen
Published in:
FMCAD (2009)
Keyphrases
</>
industrial strength
text mining
consistency checking
refinement process
real world
lower bound
information retrieval
bayesian networks
recommender systems
special case
management system
query refinement