Subset removal on massive data with Dash.

Jonathan A. Myers Mahidhar Tatineni Robert S. Sinkovits

Published in: TG (2011)

Keyphrases

massive data
data mining applications
massive datasets
big data
theorem proving
database
databases
neural network
information retrieval
color images
knowledge discovery