Sciweavers

9642 search results - page 1593 / 1929
» Semantics in Multimedia Systems
Sort
View
FMOODS
2003
15 years 6 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
IJCAI
2003
15 years 6 months ago
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach
In this paper, we define a simple but scalable framework for peer-to-peer data sharing systems, in which the problem of answering queries over a network of semantically related p...
François Goasdoué, Marie-Christine R...
IJCAI
2003
15 years 6 months ago
Concept Linking for Information Integration in Open Book and Sentinel
Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...
Stuart Watt
SPLC
2004
15 years 6 months ago
Staged Configuration Using Feature Models
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisen...
WSPI
2004
15 years 6 months ago
Self-Referencing Languages Revisited
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
Gábor Rédey, Attila Neumann
« Prev « First page 1593 / 1929 Last » Next »