Improving the performance of the Proof-of-Work Consensus Protocol Using Machine learning.
Mujistapha Ahmed SafanaYasmine ArafaJixin MaPublished in: BCCA (2020)
Keyphrases
- machine learning
- machine learning algorithms
- lightweight
- learning algorithm
- inductive learning
- formal proof
- machine learning methods
- coloured petri nets
- explanation based learning
- theorem proving
- learning problems
- learning tasks
- learning systems
- text classification
- artificial intelligence
- pattern recognition
- theorem prover
- machine learning approaches
- semi supervised learning
- decision trees
- inductive logic programming
- information extraction
- text mining
- computational intelligence
- smart card
- computer science
- feature selection
- security analysis
- authentication protocol
- communication protocol
- concept formation
- linear logic
- data mining
- data sets