Sciweavers

4382 search results - page 417 / 877
» Query by Semantic Example
Sort
View
MFCS
1997
Springer
15 years 8 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
ESWS
2006
Springer
15 years 8 months ago
Reconciling Concepts and Relations in Heterogeneous Ontologies
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
Chiara Ghidini, Luciano Serafini
FLAIRS
2004
15 years 5 months ago
Reasoning on Spatial Constraints over Regions
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
Kazuko Takahashi
PLDI
2011
ACM
14 years 7 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík
EDBT
2006
ACM
143views Database» more  EDBT 2006»
16 years 4 months ago
XG: A Grid-Enabled Query Processing Engine
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
Radu Sion, Ramesh Natarajan, Inderpal Narang, Thom...