3228 search results - page 73 / 646 » Computationally Sound Proofs |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Monaural musical sound separation attempts to segregate different instrument lines from single-channel polyphonic music. We propose a system that decomposes an input into timefreq...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
JSYML
2008
13 years 8 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we discuss why access to mathematical graphs is problematic for visually impaired people. By a review of graph understanding theory and interviews with visually impa...