2173 search results - page 47 / 435 » An operational semantics for skeletons |
97
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
109
click to vote
SMI
2010
IEEE
14 years 11 months ago
2010
IEEE
—The level set method can implement a wide variety of shape modeling operations (e.g. offsetting, skeletonization, morphing, blending, smoothing, sharpening, embossing, denoising...
96
Voted
AAAI
2008
15 years 2 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
96
Voted
ER
2007
Springer
15 years 6 months ago
2007
Springer
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
115
Voted
ISEMANTICS
2010
15 years 2 months ago
2010
In this paper, when we use the term ontology, we are primarily referring to linked data in the form of RDF(S). The problem of ontology mapping has attracted considerable attention...