On PeerCoin Proof of Stake for Blockchain Consensus.
Wenbing ZhaoShunkun YangXiong LuoJiong ZhouPublished in: ICBCT (2021)
Keyphrases
- linear logic
- theorem prover
- data sets
- learning algorithm
- high level
- theorem proving
- geometry theorem proving
- real time
- directed networks
- formal proof
- logical rules
- consensus clustering
- cluster ensemble
- description logics
- knowledge representation
- mobile robot
- multiresolution
- lower bound
- multiscale
- three dimensional
- case study
- image processing
- artificial intelligence
- genetic algorithm