Probabilistic Solitude Verification on a Ring.
Karl R. AbrahamsonAndrew AdlerLisa HighamDavid G. KirkpatrickPublished in: PODC (1986)
Keyphrases
- probabilistic model
- probabilistic approaches
- formal methods
- data driven
- generative model
- neural network
- probabilistic reasoning
- information retrieval
- probabilistic interpretation
- bayesian networks
- face verification
- topic models
- context sensitive
- posterior probability
- model checking
- case study
- computer vision
- data mining