Keyphrases
- data streams
- model checking
- sliding window
- real time
- streaming data
- verification method
- stream processing
- concurrent systems
- continuous queries
- information retrieval
- machine learning
- data mining
- mobile robot
- search algorithm
- multiscale
- temporal logic
- decision trees
- artificial intelligence
- signature verification
- formal verification