Sciweavers

3827 search results - page 576 / 766
» The Epsilon Generation Language
Sort
View
LICS
2000
IEEE
14 years 2 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke
ECML
2000
Springer
14 years 2 months ago
Metric-Based Inductive Learning Using Semantic Height Functions
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
Zdravko Markov, Ivo Marinchev
SIGMOD
1999
ACM
138views Database» more  SIGMOD 1999»
14 years 2 months ago
Storing Semistructured Data with STORED
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...
Alin Deutsch, Mary F. Fernández, Dan Suciu
HPDC
1999
IEEE
14 years 2 months ago
A Resource Description Environment for Distributed Computing Systems
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
Matthias Brune, Alexander Reinefeld, Jörg Var...
ER
1999
Springer
155views Database» more  ER 1999»
14 years 2 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc