RTA
2015
Springer
8 years 8 months ago
2015
Springer
In this work, we introduce a scheme for modelling actor systems within sequential term rewriting. In our proposal, a TRS consists of the union of three components: the functional ...
RTA
2015
Springer
8 years 8 months ago
2015
Springer
We present the first approach to deduce lower bounds for innermost runtime complexity of term rewrite systems (TRSs) automatically. Inferring lower runtime bounds is useful to de...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
This paper is an overview of architectural structures which are either composed of polyhedral cells or closely related to them. We introduce the concept of a support structure of ...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
This paper presents a novel algorithm which uses skeleton-based polycube generation to construct feature-preserving T-meshes. From the skeleton of the input model, we first const...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
Mesh compression is an important task in geometry processing. It exploits geometric coherence of the data to reduce the amount of space needed to store a surface mesh. Most techni...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freefo...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
We present a subdivision based algorithm to compute the solution of an under-constrained piecewise polynomial system of n − 2 equations with n unknowns, exploiting properties of...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
Current strategies for real-time rendering of trimmed spline surfaces re-approximate the data, pre-process extensively or introduce visual artifacts. This paper presents a new app...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
Structural hierarchy and material organization in design are traditionally achieved by combining discrete homogeneous parts into functional assemblies where the shape or surface i...
CAD
2015
Springer
8 years 8 months ago
2015
Springer
In layer-based additive manufacturing (AM), supporting structures need to be inserted to support the overhanging regions. The adding of supporting structures slows down the speed ...