Towards a Signal Calculus for Event-Based Synchronous Languages.
Yongxin ZhaoJifeng HePublished in: ICFEM (2011)
Keyphrases
- formal language
- language independent
- expressive power
- cross lingual
- databases
- signal processing
- type checking
- high frequency
- database query languages
- multi lingual
- frequency domain
- non stationary
- text summarization
- impulse response
- asynchronous communication
- signal detection
- event driven
- relational calculus
- algebraic structure
- original signal
- grammatical inference
- publish subscribe
- event detection
- data sets