250 citations · 373 across the 12 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Runtime Verification Through Forward Chaining
Alan Perotti, Guido Boella, Artur d'Avila Garcez
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication f…
cs.LG2014
A Hybrid Recurrent Neural Network For Music Transcription
Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski +3
We investigate the problem of incorporating higher-level symbolic score-like information into Automatic Music Transcription (AMT) systems to improve their performance. We use recur…