Search
Now showing items 11-14 of 14
Towards the Use of Similarity Distances to Music Genre Classification: a Comparative Study
(Public Library Science, 2018-02-14)
Music genre classification is a challenging research concept, for which open questions remain regarding classification approach, music piece representation, distances between/within genres, and so on. In this paper an ...
SSDOnt: an Ontology for representing Single-Subject Design Studies
(Schattauer, 2018)
Background: Single-Subject Design is used in several areas such as education and biomedicine. However, no suited formal vocabulary exists for annotating the detailed configuration and the results of this type of research ...
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
(Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018-10-08)
Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For specification purposes rich temporal languages are required ...
Integrating Formative Feedback in Introductory Programming Modules
(IEEE, 2018-02-12)
Introductory programming modules are challenging for both lecturers and students. In previous works, the authors have carried out educational innovations to mitigate these challenges and facilitate learning. This paper ...