Sökning: "shape approximation"
Visar resultat 1 - 5 av 68 avhandlingar innehållade orden shape approximation.
1. Global Shape Description of Digital Objects
Sammanfattning : New methods for global shape description of three-dimensional digital objects are presented. The shape of an object is first represented by a digital surface where the faces are either triangles or quadrilaterals. LÄS MER
2. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER
3. Approximation of topology optimization problems using sizing optimization problems
Sammanfattning : The present work is devoted to approximation techniques for singular extremal problems arising from optimal design problems in structural and fluid mechanics. The thesis consists of an introductory part and four independent papers, which however are united by the common idea of approximation and the related application areas. LÄS MER
4. Towards Fully Automatic Optimal Shape Modeling
Sammanfattning : Shape models and the automatic building of such models have proven over the last decades to be powerful tools in image segmentation and analysis. This thesis makes contributions to this field. The segmentation algorithm typically uses an objective function summing up contributions from each sample point. LÄS MER
5. Calculations of electronic properties of metal clusters, fullerenes and molecules adsorbed on surfaces
Sammanfattning : .... LÄS MER