Timed substitutions for regular signal-event languages.
Béatrice BérardPaul GastinAntoine PetitPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- petri net
- event detection
- signal processing
- context free
- compressive sensing
- language independent
- news articles
- impulse response
- expressive power
- frequency domain
- high frequency
- regular languages
- data sets
- target language
- multi lingual
- wavelet analysis
- text summarization
- signal detection
- low signal to noise ratio
- original signal
- grammatical inference
- discrete event
- context free grammars
- finite state machines
- markov chain
- multiscale
- databases