304 search results - page 14 / 61 » Generalized interpolation in CASL |
LOGCOM
2008
13 years 10 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
AIEDAM
2000
13 years 10 months ago
2000
In designing a state space of possible designs is implied by the representation used and the computational processes that operate on that representation. GAs are a means of effect...
SMA
2010
ACM
13 years 11 months ago
2010
ACM
In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth convex domain, using an integral ...
ADCM
2006
13 years 11 months ago
2006
: Principal lattices are distributions of points in the plane obtained from a triangle by drawing equidistant parallel lines to the sides and taking the intersection points as node...
FOCM
2006
13 years 11 months ago
2006
The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in Z[x] from information modulo a...