Mining scalable pattern based on temporal logic over data streams.
Yan TangFeifei LiHongyan LiPublished in: FSKD (2012)
Keyphrases
- temporal logic
- data streams
- stream mining
- model checking
- continuous data streams
- data stream mining
- itemsets
- modal logic
- multiple data streams
- sliding window
- satisfiability problem
- frequent itemsets
- concurrent systems
- limited memory
- mining of frequent itemsets
- streaming data
- data sets
- concept drift
- stream data
- sequential patterns
- verification method
- pattern mining
- linear temporal logic
- transition systems
- mazurkiewicz traces
- belief revision
- reactive systems
- temporally extended
- bounded model checking
- temporally extended goals
- model checker
- frequent patterns
- search space
- association rules
- computation tree logic
- temporal knowledge