104
Voted
RTA
2015
Springer
9 years 11 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 ...
119
Voted
RTA
2015
Springer
9 years 11 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...
97
Voted
CAD
2015
Springer
9 years 11 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 ...
87
Voted
CAD
2015
Springer
9 years 11 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...
82
Voted
CAD
2015
Springer
9 years 11 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...