Sciweavers

9642 search results - page 1593 / 1929
» Semantics in Multimedia Systems
Sort
View
FMOODS
2003
15 years 19 days 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 19 days 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 19 days 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 19 days 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 19 days 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 »