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