How to Model and Verify Concurrent Algorithms for Distributed CSPs.
Markus HannebauerPublished in: CP (2000)
Keyphrases
- mathematical model
- computational model
- theoretical analysis
- linear models
- cooperative
- probability distribution
- management system
- statistical model
- computationally efficient
- peer to peer
- distributed systems
- markov random field
- neural network
- probabilistic model
- np hard
- multi agent systems
- multi agent
- similarity measure
- high level
- image segmentation