526 search results - page 44 / 106 » Representations of structural closure operators |
150
click to vote
CGF
2011
14 years 5 months ago
2011
We introduce a fully automatic algorithm which optimizes the high-level structure of a given quadrilateral mesh to achieve a coarser quadrangular base complex. Such a topological ...
114
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
102
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Nowadays XML is universally accepted as the standard for structural data representation; XML databases, providing structural querying support, are thus becoming more and more popul...
111
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
CG
2004
Springer
15 years 1 months ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...