Sciweavers

15372 search results - page 2684 / 3075
» The Semantics of Semantic Annotation
Sort
View
EPIA
1995
Springer
15 years 10 months ago
The Retrieval Problem in a Concept Language with Number Restrictions
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
Aida Vitória, Margarida Mamede, Luís...
ER
1995
Springer
107views Database» more  ER 1995»
15 years 10 months ago
Neural Network Technology to Support View Integration
Abstract The most difficult and time consuming activity to perform during view integration is to find correspondences between different view specifications. Such correspondences...
Ernst Ellmer, Christian Huemer, Dieter Merkl, G&uu...
ZUM
2000
Springer
15 years 10 months ago
Retrenchment, Refinement, and Simulation
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
Richard Banach, Michael Poppleton
208
Voted
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
IPPS
1997
IEEE
15 years 10 months ago
View Caching: Efficient Software Shared Memory for Dynamic Computations
Software distributed shared memory (DSM) techniques, while effective on applications with coarse-grained sharing, yield poor performance for the fine-grained sharing encountered i...
Vijay Karamcheti, Andrew A. Chien
« Prev « First page 2684 / 3075 Last » Next »