Sciweavers

378 search results - page 15 / 76
» Isolating the benefits of respect
Sort
View
JUCS
2007
80views more  JUCS 2007»
13 years 9 months ago
Higher-Order Lazy Functional Slicing
: 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...
Nuno F. Rodrigues, Luís Soares Barbosa
LPAR
2010
Springer
13 years 7 months ago
How to Universally Close the Existential Rule
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...
Kai Brünnler
ICIP
2010
IEEE
13 years 7 months ago
Adaptive blotches detection for film restoration
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...
ICASSP
2010
IEEE
13 years 4 months ago
Feature-based extraction of plucking and expression styles of the electric bass guitar
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...
RECOMB
2009
Springer
14 years 9 months ago
Lifting Prediction to Alignment of RNA Pseudoknots
Prediction and alignment of RNA pseudoknot structures are NP-hard. Nevertheless, several efficient prediction algorithms by dynamic programming have been proposed for restricted cl...
Mathias Möhl, Rolf Backofen, Sebastian Will