Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
RTA
2015
Springer
4 years 10 months ago
Towards Modelling Actor-Based Concurrency in Term Rewriting
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 ...
Adrián Palacios, Germán Vidal
RTA
2015
Springer
4 years 10 months ago
Inferring Lower Bounds for Runtime Complexity
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...
Florian Frohn, Jürgen Giesl, Jera Hensel, Cor...
CAD
2015
Springer
4 years 10 months ago
Cell packing structures
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 ...
Helmut Pottmann, Caigui Jiang, Mathias Höbing...
CAD
2015
Springer
4 years 10 months ago
Feature-preserving T-mesh construction using skeleton-based polycubes
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...
Lei Liu, Yongjie Zhang, Yang Liu 0014, Wenping Wan...
CAD
2015
Springer
4 years 10 months ago
Perception-driven adaptive compression of static triangle meshes
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...
Stefano Marras, Libor Vása, Guido Brunnett,...
CAD
2015
Springer
4 years 10 months ago
Interactive design exploration for constrained meshes
In architectural design, surface shapes are commonly subject to geometric constraints imposed by material, fabrication or assembly. Rationalization algorithms can convert a freefo...
Bailin Deng, Sofien Bouaziz, Mario Deuss, Alexandr...
CAD
2015
Springer
4 years 10 months ago
Topologically guaranteed bivariate solutions of under-constrained multivariate piecewise polynomial systems
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...
Jonathan Mizrahi, Gershon Elber
CAD
2015
Springer
4 years 10 months ago
Correct resolution rendering of trimmed spline surfaces
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...
Ruijin Wu, Jörg Peters
CAD
2015
Springer
4 years 10 months ago
Flow-based fabrication: An integrated computational workflow for design and digital additive manufacturing of multifunctional he
Structural hierarchy and material organization in design are traditionally achieved by combining discrete homogeneous parts into functional assemblies where the shape or surface i...
Jorge Duro-Royo, Laia Mogas-Soldevila, Neri Oxman
CAD
2015
Springer
4 years 10 months ago
Support slimming for single material based additive manufacturing
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 ...
Kailun Hu, Shuo Jin, Charlie C. L. Wang
books