64 search results - page 10 / 13 » Reduction in a Linear Lambda-Calculus with Applications to O... |
CADE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
116
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Some recent dereverberation approaches that have been effective for automatic speech recognition (ASR) applications, model reverberation as a linear convolution operation in the s...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
152
click to vote
TIP
2002
14 years 11 months ago
2002
This paper provides the derivation of speckle reducing anisotropic diffusion (SRAD), a diffusion method tailored to ultrasonic and radar imaging applications. SRAD is the edge-sens...
178
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we propose a novel type of explicit image filter - guided filter. Derived from a local linear model, the guided filter generates the filtering output b...