Sciweavers

2696 search results - page 214 / 540
» Semantic Abstraction and Anaphora
Sort
View
BTW
2001
Springer
103views Database» more  BTW 2001»
15 years 11 months ago
On Realizing Transformation Independence in Open, Distributed Multimedia Information Systems
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
Ulrich Marder
MMMACNS
2001
Springer
15 years 11 months ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
AUSAI
1997
Springer
15 years 10 months ago
On the Relation between Interpreted Systems and Kripke Models
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
Alessio Lomuscio, Mark Ryan
ESOP
1992
Springer
15 years 10 months ago
A Provably Correct Compiler Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Jens Palsberg
AIMSA
2006
Springer
15 years 10 months ago
Using Verbs to Characterize Noun-Noun Relations
Abstract. We present a novel, simple, unsupervised method for characterizing the semantic relations that hold between nouns in noun-noun compounds. The main idea is to discover pre...
Preslav Nakov, Marti A. Hearst