9659 search results - page 270 / 1932 » Points on Computable Curves |
135
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
179
click to vote
TCS
2011
15 years 1 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
186
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
205
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Nonlinear regression, like linear regression, assumes that the scatter of data around the ideal curve follows a Gaussian or normal distribution. This assumption leads ...
191
click to vote
TIP
2008
15 years 6 months ago
2008
Low-level image analysis systems typically detect "points of interest", i.e., areas of natural images that contain corners or edges. Most of the robust and computationall...