5671 search results - page 575 / 1135 » A Semantic Approach to Interpolation |
192
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we analyze the existing approaches to image data modeling and we propose an image data model and a particular image representation in the proposed model. This model ...
158
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
190
click to vote
OWLED
2008
15 years 8 months ago
2008
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...
166
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
204
click to vote
CISIS
2009
IEEE
16 years 2 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...