A Model and Proof Technique for Message-Based Systems.
Jerome A. FeldmanAnil NigamPublished in: SIAM J. Comput. (1980)
Keyphrases
- computational model
- management system
- cost function
- mathematical model
- formal model
- computer vision
- statistical model
- high level
- machine learning
- distributed systems
- probabilistic model
- experimental data
- process model
- theoretical analysis
- software engineering
- image segmentation
- decision trees
- information systems
- social networks
- search engine