Mining Time for Timed Regular Specifications.
Apurva NarayanSebastian FischmeisterPublished in: SMC (2019)
Keyphrases
- text mining
- petri net
- mining algorithm
- databases
- data mining
- delay insensitive
- itemsets
- web services
- formal specification
- finite state machines
- knowledge discovery
- association mining
- pattern mining
- association rule mining
- control flow
- web logs
- pattern discovery
- transactional data
- asynchronous circuits
- markov chain
- frequent itemsets
- database
- data mining techniques
- relational databases
- association rules
- high level
- website
- genetic algorithm
- real world
- data sets
- real time