Probe Automata for Passage Time Specification.
Elvio Gilberto AmparoreMarco BeccutiSusanna DonatelliGiuliana FranceschinisPublished in: QEST (2011)
Keyphrases
- question answering
- regular expressions
- specification language
- cellular automata
- probabilistic automata
- formal languages
- finite automata
- formal verification
- finite state
- formal specification
- finite state machines
- conceptual model
- document retrieval
- user defined
- xml documents
- passage retrieval
- knowledge base
- information retrieval
- finite state automata
- data mining
- real time