Sciweavers

814 search results - page 118 / 163
» Analysis of Modular Arithmetic
Sort
View
KCAP
2003
ACM
15 years 3 months ago
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
Alan L. Rector
ERCIMDL
2003
Springer
99views Education» more  ERCIMDL 2003»
15 years 3 months ago
Digitometric Services for Open Archives Environments
We describe “digitometric” services and tools that add value to open-access eprint archives using the Open Archives Initiative (OAI) Protocol for Metadata Harvesting. Celestial...
Tim Brody, Simon Kampa, Stevan Harnad, Les Carr, S...
KR
2010
Springer
15 years 2 months ago
Finding Explanations of Inconsistency in Multi-Context Systems
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
Thomas Eiter, Michael Fink, Peter Schüller, A...
EUROSYS
2007
ACM
15 years 1 months ago
Dynamic updates: another middleware service?
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
Susanne Cech Previtali
COMPLIFE
2006
Springer
15 years 1 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga