1737 search results - page 28 / 348 » On Interpolation in Existence Logics |
171
click to vote
APAL
1999
15 years 5 months ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
175
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
175
click to vote
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
202
click to vote
CIMAGING
2009
15 years 7 months ago
2009
We introduce "contour stencils" as a simple method for detecting the local orientation of image contours and apply this detection to image zooming. Our approach is motiv...
149
click to vote
CGF
2008
15 years 6 months ago
2008
In recent years, a wide range of generalized barycentric coordinates has been suggested. However, all of them lack control over derivatives. We show how the notion of barycentric ...