Jun Zhou, Weng-Fai Wong. Resource Efficient Personalized ECG Beat Classification via Temporal Logic Synthesis. In 19th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2019, Athens, Greece, October 28-30, 2019. pages 374-377, IEEE, 2019. [doi]
Abstract is missing.