Towards a Model-Theory for Esterel.
Gerald LüttgenMichael MendlerPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- computational model
- theoretical framework
- theoretical foundation
- database
- formal model
- computational models
- objective function
- prior knowledge
- probability distribution
- mathematical model
- theoretical analysis
- network model
- experimental data
- statistical model
- petri net
- management system
- similarity measure
- decision trees
- web services
- artificial intelligence
- genetic algorithm
- data mining