: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
Blotches are very common, localized, and non persistent impairments in digitized film archive. Many methods have been proposed so far for detecting them and restoring the underlyi...
Antoni Buades, Julie Delon, Yann Gousseau, Simon M...
In this paper, we present a feature-based approach for the classification of different playing techniques in bass guitar recordings. The applied audio features are chosen to captu...
Jakob Abesser, Hanna M. Lukashevich, Gerald Schull...
Prediction and alignment of RNA pseudoknot structures are NP-hard. Nevertheless, several efficient prediction algorithms by dynamic programming have been proposed for restricted cl...