3053 search results - page 15 / 611 » Structured Objects: Modeling and Reasoning |
176
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
168
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
132
click to vote
JUCS
2002
15 years 5 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
162
click to vote
DLOG
2007
15 years 8 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
163
click to vote
IADIS
2003
15 years 7 months ago
2003
The purpose of this paper is to present a high-level discussion based on ongoing research with the aim of providing support to educational practitioners based on real shareability...