Effect-polymorphic behaviour inference for deadlock checking.
Ka I PunMartin SteffenVolker StolzPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- belief networks
- type checking
- user behaviour
- databases
- consistency checking
- decision trees
- case study
- bayesian networks
- multi agent
- inference process
- bayesian model
- random fields
- conditional random fields
- inference mechanism
- grammatical inference
- efficient learning
- probabilistic inference
- database
- special case
- decision making
- social networks
- machine learning
- data sets
- real time