The tasks with effects model for safe concurrency.
Stephen HeumannVikram S. AdveShengjie WangPublished in: PPOPP (2013)
Keyphrases
- computer vision
- prior knowledge
- linear model
- formal model
- computational models
- theoretical framework
- management system
- mobile robot
- cost function
- image sequences
- high level
- probability distribution
- expert systems
- least squares
- theoretical analysis
- mathematical model
- experimental data
- conceptual model
- neural network model
- database systems
- data mining