Comparative Analysis of Extreme Verification Latency Learning Algorithms.
Muhammad UmerRobi PolikarPublished in: CoRR (2020)
Keyphrases
- comparative analysis
- learning algorithm
- model checking
- machine learning algorithms
- machine learning
- active learning
- semi quantitative
- verification method
- low latency
- efficient learning
- training samples
- training data
- fusion scheme
- batch mode
- formal verification
- learning paradigms
- learning scheme
- prefetching
- back propagation
- training examples
- supervised learning
- learning process
- asynchronous circuits
- deep architectures
- learning rate
- face verification
- reinforcement learning
- response time
- artificial neural networks
- training set
- data streams