292 search results - page 18 / 59 » A linearization of the Lambda-calculus and consequences |
109
click to vote
ISAAC
2004
Springer
15 years 6 months ago
2004
Springer
The range minimum query problem, RMQ for short, is to preprocess a sequence of real numbers A[1 . . . n] for subsequent queries of the form: “Given indices i, j, what is the ind...
117
click to vote
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
By considering a new metric, Nikov and Nikova defined the class of error-set correcting codes. These codes differ from the errorcorrecting codes in the sense that the minimum dis...
109
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
The Robinson-Foulds (RF) metric is the measure most widely used in comparing phylogenetic trees; it can be computed in linear time using Day's algorithm. When faced with the n...
105
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
JAT
2007
15 years 1 months ago
2007
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...