Sciweavers

289 search results - page 28 / 58
» Algebraic results for structured operational semantics
Sort
View
DEXAW
1997
IEEE
125views Database» more  DEXAW 1997»
15 years 10 months ago
Can we Rely on SQL?
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
J. H. ter Bekke
SEMWEB
2007
Springer
16 years 2 days ago
A Caching Mechanism for Semantic Web Service Discovery
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
Michael Stollberg, Martin Hepp, Jörg Hoffmann
ATAL
2005
Springer
15 years 11 months ago
Sift and Sort: Climbing the Semantic Pyramid
Information processing operations in support of intelligence analysis are of two kinds. They may sift relevant data from a larger body, thus reducing its quantity, or sort that dat...
H. Van Dyke Parunak, Peter Weinstein, Paul Chiusan...
JACM
2000
81views more  JACM 2000»
15 years 5 months ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 6 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart