1737 search results - page 18 / 348 » On Interpolation in Existence Logics |
177
click to vote
STOC
2010
ACM
15 years 10 months ago
2010
ACM
We establish the existence of free energy limits for several sparse random hypergraph models corresponding to certain combinatorial models on Erd¨os-R´enyi graph G(N, c/N) and r...
193
click to vote
CAGD
2005
15 years 6 months ago
2005
By exploiting the freedom in the choice of parametrization of a parametric surface, we show that there exist quadratic parametric surfaces that approximate a given parametric surf...
157
click to vote
JGS
2006
15 years 6 months ago
2006
In practical applications of area-to-point spatial interpolation, inequality constraints, such as non-negativity, or more general constraints on the maximum and/or minimum allowab...
132
click to vote
MOC
2010
15 years 24 days ago
2010
In this paper, the geometric interpolation of planar data points and boundary tangent directions by a cubic G2 Pythagorean-hodograph (PH) spline curve is studied. It is shown, that...
169
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...