Sciweavers

14306 search results - page 635 / 2862
» Database System Concepts
Sort
View
ERSHOV
1993
Springer
15 years 11 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
EPIA
1999
Springer
15 years 11 months ago
Critical Agents Supporting Interactive Theorem Proving
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Christoph Benzmüller, Volker Sorge
DLOG
2000
15 years 8 months ago
High Performance Reasoning with Very Large Knowledge Bases
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
Volker Haarslev, Ralf Möller
DAGSTUHL
2009
15 years 8 months ago
Statistical Mechanics of On-line Learning
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
Michael Biehl, Nestor Caticha, Peter Riegler
CCR
2008
75views more  CCR 2008»
15 years 7 months ago
Some comments on hourglasses
The hourglass concept has been undisputable ruler of networking visions on the last years. As network evolution is now a hot topic, this article aims to reflect on this concept, h...
Rui L. Aguiar