When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
Argumentation annotation is a crucial step in applying machine learning techniques to the argumentation field. However, there exist few argumentation corpora and their developmen...
Three types of data modelling technique are applied retrospectively to individual patients’ anticoagulation therapy data to predict their future levels of anticoagulation. The r...
Simon McDonald, Costas S. Xydeas, Plamen P. Angelo...
In this paper, we propose a robust method based on the modi ed p-spectrum to detect heart beats in ECG signals, which is also referred as QRS detection in the literature. QRS dete...