Sciweavers

3993 search results - page 311 / 799
» Matchmaking for Structured Objects
Sort
View
APAL
2007
104views more  APAL 2007»
15 years 4 months ago
Non-well-founded trees in categories
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Catego...
Benno van den Berg, Federico De Marchi
IJCV
2006
120views more  IJCV 2006»
15 years 4 months ago
Contour Inferences for Image Understanding
We present a new approach to the algorithmic study of planar curves, with applications to estimations of contours in images. We construct spaces of curves satisfying constraints su...
Washington Mio, Anuj Srivastava, Xiuwen Liu
JUCS
2006
102views more  JUCS 2006»
15 years 4 months ago
Modeling Inheritance as Coercion in the Kenzo System
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
César Domínguez, Julio Rubio, Franci...
COMGEO
1998
ACM
15 years 4 months ago
Variable resolution triangulations
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Enrico Puppo
JEI
2010
127views more  JEI 2010»
15 years 2 months ago
Modified edge-directed interpolation for images
A modification of the new edge-directed interpolation method is presented. The modification eliminates the prediction error accumulation problem with adopting a modified traini...
Wing-Shan Tam, Chi-Wah Kok, Wan-Chi Siu