Assertion-based verification technique for ECG bio-sensor algorithms.

Hussam M. N. Al Hamadi Amjad Gawanmeh Mahmoud Al-Qutayri

Published in: MWSCAS (2016)

Keyphrases

learning algorithm
orders of magnitude
data sets
computationally efficient
benchmark datasets
worst case
formal verification
combinatorial optimization
times faster
model checking
machine learning algorithms
sensor networks
computational cost
video sequences
data structure
genetic algorithm
machine learning