Reducing Forks in the Blockchain via Probabilistic Verification.
Bing LiuYang QinXiaowen ChuPublished in: ICDE Workshops (2019)
Keyphrases
- bayesian networks
- probabilistic model
- model checking
- posterior probability
- uncertain data
- formal verification
- data driven
- probabilistic reasoning
- information theoretic
- probabilistic approaches
- search engine
- verification method
- significantly reduced
- generative model
- digital libraries
- similarity measure
- three dimensional