89222 search results - page 69 / 17845 » Which |
MASCOTS
1993
13 years 10 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
COLING
1990
13 years 10 months ago
1990
: Noncanonical semantic representations are representations which cannot be derived by some grammar G although they are semanticMly equivalent to representations which can be deriv...
NIPS
1992
13 years 10 months ago
1992
We present a local learning rule in which Hebbian learning is conditional on an incorrect prediction of a reinforcement signal. We propose a biological interpretation of such a fr...
SWAP
2007
13 years 10 months ago
2007
In this paper we present Talia, a novel implementation of a semantic digital web library system, which is part of the Discovery project. Talia deploys Semantic Web technologies and...
CASC
2009
Springer
13 years 10 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...