Sign in
Proof of Contribution: A Modification of Proof of Work to Increase Mining Efficiency.
Tengfei Xue
Yuyu Yuan
Zahir Ahmed
Krishna Moniz
Ganyuan Cao
Cong Wang
Published in:
COMPSAC (1) (2018)
Keyphrases
</>
data mining
computational efficiency
theorem prover
theorem proving
linear logic
logical rules
information systems
knowledge discovery
databases
machine learning
metadata
multiscale
association rules
data mining methods
geometry theorem proving
interactive theorem proving