Keyphrases
- formal proofs
- data streams
- multi stream
- stream processing
- variable length
- transactional data
- string matching
- edit distance
- expert systems
- real time
- stream data
- streaming data
- multiscale
- databases
- continuous queries
- similarity measure
- information retrieval
- finite automata
- real world
- context free languages
- database
- finite alphabet