1746 search results - page 63 / 350 » A Constructive Semantics for ALC |
172
Voted
MKWI
2008
15 years 7 months ago
2008
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
115
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
164
click to vote
PPDP
2007
Springer
16 years 6 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
149
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
162
Voted
FLAIRS
2007
15 years 8 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...