Automatic assertion extraction via sequential data mining of simulation traces.
Po-Hsien ChangLi-C. WangPublished in: ASP-DAC (2010)
Keyphrases
- sequential data
- sequential patterns
- sequential pattern mining
- pattern mining
- sequence mining
- pattern discovery
- hidden markov models
- frequent subsequences
- mining algorithm
- fixed length
- multi dimensional
- sequence data
- change point detection
- web mining
- text mining
- interesting patterns
- frequent pattern mining
- frequent sequences
- frequent patterns
- three dimensional
- spatio temporal
- temporal events
- information retrieval
- association rules
- wavelet transform
- web logs
- real world
- data mining techniques