2006 search results - page 169 / 402 » Testing with Respect to Concerns |
123
click to vote
MOC
2000
15 years 4 months ago
2000
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
133
Voted
TIP
2002
15 years 4 months ago
2002
Abstract--This paper presents a new wavelet-based image denoising method, which extends a recently emerged "geometrical" Bayesian framework. The new method combines three...
134
click to vote
TROB
2002
15 years 4 months ago
2002
This paper concerns the stability analysis of a new class of model-free visual servoing methods. These methods are "model-free" since they are based on the estimation of ...
133
click to vote
TVLSI
2002
15 years 4 months ago
2002
In this paper, we propose a low-power approach to the design of embedded very long instruction word (VLIW) processor architectures based on the forwarding (or bypassing) hardware, ...
147
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...