On characteristic formulae for Event-Recording Automata.
Omer Landry Nguena-TimoPierre-Alain ReynierPublished in: RAIRO Theor. Informatics Appl. (2013)
Keyphrases
- event detection
- cellular automata
- finite automata
- event recognition
- real time
- neural network
- database
- social networks
- news stories
- event sequences
- lattice gas
- probabilistic automata
- finite state automata
- turing machine
- tree automata
- event driven
- video analysis
- regular expressions
- query language
- information systems
- computer vision
- artificial intelligence