Results 1 to 10 of about 1,410,709 (264)
Some of the next articles are maybe not open access.
Indirect shape analysis for 3D shape retrieval
Computers & Graphics, 2015We introduce indirect shape analysis, or ISA, where a given shape is analyzed not based on geometric or topological features computed directly from the shape itself, but by studying how external agents interact with the shape. The potential benefits of ISA are two-fold.
Zhenbao Liu +6 more
openaire +1 more source
2017
We present a data-driven verification framework to automatically prove memory safety of heap-manipulating programs. Our core contribution is a novel statistical machine learning technique that maps observed program states to (possibly disjunctive) separation logic formulas describing the invariant shape of (possibly nested) data structures at relevant ...
Marc Brockschmidt +4 more
openaire +1 more source
We present a data-driven verification framework to automatically prove memory safety of heap-manipulating programs. Our core contribution is a novel statistical machine learning technique that maps observed program states to (possibly disjunctive) separation logic formulas describing the invariant shape of (possibly nested) data structures at relevant ...
Marc Brockschmidt +4 more
openaire +1 more source
The Generalized Shape Distributions for Shape Matching and Analysis
IEEE International Conference on Shape Modeling and Applications 2006 (SMI'06), 2006This paper presents a novel 3D shape descriptor "The Generalized Shape Distributions" for effective shape matching and analysis, by taking advantage of both local and global shape signatures. We start this process by generating spin images on meshes. These local shape descriptors are then quantized via k-means clustering.
Yi Liu, Hongbin Zha, Hong Qin 0001
openaire +1 more source
Fourier Analysis of Cephalometric Shapes
The Cleft Palate-Craniofacial Journal, 1996Craniofacial growth and development involve both size and shape variations. Shape variations can be assessed independently from size using mathematical methods such as the Fourier series. A method for the reconstruction of outlines starting from selected landmarks and for their Fourier analysis has been developed and applied to analyze the age ...
V.F. Ferrario +4 more
openaire +3 more sources
The Shaping of Functional Analysis
Bulletin of the London Mathematical Society, 1997This paper (based on a lecture given in Oxford in May 1995) outlines the development of linear functional analysis over the years 1895-1938. It is remarked that although up to 1909 much had been achieved in dealing with various problems in the field, no general unifying theme was visible at this date.
openaire +1 more source
DIFFERENTIAL SHAPE STATISTICAL ANALYSIS
International Journal of Wavelets, Multiresolution and Information Processing, 2007A novel statistical approach that involves differential shape is proposed to analyze contour segments. First, a moment-based algorithm to represent the differential contour segment in an efficient way is introduced. Then, a curvature mean-shift method is adopted to search for the salient features.
Yufeng Chen +3 more
openaire +2 more sources
Shape Analysis and Structuring
2008Several techniques have been developed in the literature for processing different aspects of the geometry of shapes, for representing and manipulating a shape at different levels of detail, and for describing a shape at a structural level as a concise, part-based, or iconic model.
DE FLORIANI, LEILA, M. SPAGNUOLO
openaire +4 more sources
Description logics for shape analysis
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such programs involves reasoning about unbounded sets of graphs. Three-valued shape analysis (Sagiv et. al.) is an approach based on explicit manipulation of 3-valued shape graphs, which
Georgieva, L., Maier, P.
openaire +2 more sources
Shape Analysis with Connectors
2015We extend off-the-shelf shape analyses with the ability to infer numeric relations between directly or indirectly connected heap cells. Specifically, we introduce the concept of connectors, an instrumentation that retains relations between heap cells even if these cells are merged into summary nodes.
Holger Siegel, Axel Simon
openaire +1 more source
SHAPE MODELING AND ANALYSIS OF TERRAIN
International Journal of Shape Modeling, 1994Summary: The construction of high-fidelity digital terrain models (DTM) requires the development of adaptive techniques for modeling and analysis of terrain surfaces. The paper presents a conceptual framework for digital terrain modeling which includes all relevant tasks to achieve this goal.
Martin Brändli, Bernhard Schneider
openaire +2 more sources