Sciweavers

2509 search results - page 96 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
AGP
1997
IEEE
15 years 5 months ago
Structural Information Analysis for CLP Languages
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
Roberto Bagnara
115
Voted
SMI
2005
IEEE
117views Image Analysis» more  SMI 2005»
15 years 6 months ago
Contouring 1- and 2-Manifolds in Arbitrary Dimensions
We propose an algorithm for contouring k-manifolds (k = 1, 2) embedded in an arbitrary n-dimensional space. We assume (n−k) geometric constraints are represented as polynomial e...
Joon-Kyung Seong, Gershon Elber, Myung-Soo Kim
CGF
2007
157views more  CGF 2007»
15 years 22 days ago
Mesh Segmentation via Spectral Embedding and Contour Analysis
We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh embedded in 3D is first spectrally projected into the plane and then a contour is ...
Rong Liu, Hao Zhang 0002
108
Voted
SIGGRAPH
1995
ACM
15 years 4 months ago
Multiresolution analysis of arbitrary meshes
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
Matthias Eck, Tony DeRose, Tom Duchamp, Hugues Hop...
FSTTCS
2009
Springer
15 years 7 months ago
A Fine-grained Analysis of a Simple Independent Set Algorithm
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run
Joachim Kneis, Alexander Langer, Peter Rossmanith