A Model for Collaborative Runtime Verification.
Bas TesterinkNils BullingMehdi DastaniPublished in: AAMAS (2015)
Keyphrases
- computational model
- probabilistic model
- theoretical analysis
- high level
- statistical model
- linear model
- theoretical framework
- data sets
- management system
- probability distribution
- experimental data
- prior knowledge
- bayesian framework
- image segmentation
- network model
- hierarchical structure
- conceptual model
- simulation model
- formal model
- input data
- mathematical model
- collaborative learning
- hidden markov models
- data model
- artificial neural networks
- video sequences
- objective function
- reinforcement learning
- information systems
- computer vision