Sciweavers

3224 search results - page 155 / 645
» Abstract Error Projection
Sort
View
ERCIMDL
2000
Springer
116views Education» more  ERCIMDL 2000»
15 years 10 months ago
Decomate: Unified Access to Globally Distributed Libraries
Abstract. The Decomate project enables mutual access to heterogeneous, distributed, and pooled digital resources of consortium members. Using a mediator architecture with a Broker ...
Thomas Place, Jeroen Hoppenbrouwers
ISPW
1991
IEEE
15 years 10 months ago
Policy-directed coordination and cooperation
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
Dewayne E. Perry
DLOG
2007
15 years 8 months ago
Planning in Action Formalisms based on DLs: First Results
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
EWCBR
2008
Springer
15 years 8 months ago
Case-Based Reasoning and the Statistical Challenges
ers in brackets denote the page numbers of the abstracts. If several authors are present then the one presenting is marked by an asterisk. Invited speakers Invited speakers Silbers...
Petra Perner
FLAIRS
2000
15 years 7 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...