Sciweavers

162 search results - page 9 / 33
» The Representation of Structured Objects in DLs using Descri...
Sort
View
DAGSTUHL
2006
13 years 9 months ago
Partial Matching by Structural Descriptors
The extended abstract describes a method for recognizing similar sub-parts of objects described by 3D polygonal meshes. The innovation of this method is the coupling of structure a...
Simone Marini, Silvia Biasotti, Bianca Falcidieno
WADT
1998
Springer
13 years 11 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
ENTCS
2007
109views more  ENTCS 2007»
13 years 8 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Computing a Family of Skeletons of Volumetric Models for Shape Description
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
Tao Ju, Matthew L. Baker, Wah Chiu
CSMR
2006
IEEE
14 years 2 months ago
Dynamic Object Process Graphs
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
Jochen Quante, Rainer Koschke