Towards a Formal Model for ECG Data Analysis and Decision Making

ECG sequences databases lack of a formal way to model analysis and query operations. In the pursuit of such a formal model, the definition of relevant primitive operators is necessary. We identify the convolution operator of sequences as one of those primitive operators. We take two QRS detection algorithms and propose a new way to express them formally using the convolution operator of sequences.