Refinements and Abstractions of Signal-Event (Timed) Languages.

Béatrice Bérard Paul Gastin Antoine Petit

Published in: FORMATS (2006)

Keyphrases

signal processing
petri net
expressive power
event detection
high level
impulse response
frequency domain
high frequency
databases
events occurring
language independent
text summarization
cross lingual
event recognition
neural network
wavelet analysis
target language
discrete event
multi lingual
description logics