Data mining based decomposition for assume-guarantee reasoning.
He ZhuFei HeWilliam N. N. HungXiaoyu SongMing GuPublished in: FMCAD (2009)
Keyphrases
- data mining
- data mining algorithms
- knowledge discovery
- data mining techniques
- data mining methods
- knowledge discovery in databases
- data warehouse
- knowledge representation
- association rules
- spatial reasoning
- reasoning tasks
- reasoning process
- image decomposition
- automated reasoning
- previously unknown
- pattern mining
- reasoning systems
- web mining
- databases
- neural network
- real world
- text mining
- machine learning
- knowledge base
- decision trees
- multiscale
- granular computing
- homeland security
- qualitative reasoning
- outlier detection
- data structure
- computer science
- data mining applications
- cluster analysis
- rough sets
- association rule mining