A Formal Syntax for Probabilistic Timed Property Sequence Charts.
Pengcheng ZhangLars GrunskeAntony TangBixin LiPublished in: ASE (2009)
Keyphrases
- machine processable
- precisely defined
- formal model
- artificial intelligence
- natural language
- probabilistic model
- data driven
- operational semantics
- formal languages
- desirable properties
- uncertain data
- stochastic context free grammars
- sequence analysis
- belief networks
- machine learning
- information theoretic
- generative model
- database systems
- learning algorithm