1737 search results - page 17 / 348 » On Interpolation in Existence Logics |
178
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
158
click to vote
PPDP
2009
Springer
16 years 17 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
161
click to vote
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
When interpolating a network of curves to create a C1 surface from spline patches, the network has to satisfy an algebraic condition, called the vertex enclosure constraint. We sho...
148
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a higher-order approach to the extraction of isosurfaces from unstructured meshes. Existing methods use linear interpolation along each mesh edge to find isosurface in...
166
click to vote
BNCOD
2008
15 years 7 months ago
2008
Abstract. Accurate selectivity estimations are essential for query optimization decisions where they are typically derived from various kinds of histograms which condense value dis...