2638 search results - page 120 / 528 » A Framework for Automatic Debugging |
153
click to vote
LISP
2008
15 years 6 months ago
2008
Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
175
click to vote
RTS
2010
15 years 4 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
191
click to vote
IJDAR
2011
15 years 1 months ago
2011
Abstract. This paper describes the setup of the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition was to evaluate and compare automatic technique...
148
click to vote
ICASSP
2011
IEEE
2011
IEEE
A time-warping framework for speech turbulence-noise component estimation during aperiodic phonation
14 years 10 months ago
The accurate estimation of turbulence noise affects many areas of speech processing including separate modification of the noise component, analysis of degree of speech aspiration...
167
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We study the problem of automatic “reduced reference” image quality assessment algorithms from the point of view of image information change. Algorithms that measure differenc...