1063 search results - page 84 / 213 » Order and Negation as Failure |
AI
2001
Springer
14 years 2 months ago
2001
Springer
In a concept learning problem, imbalances in the distribution of the data can occur either between the two classes or within a single class. Yet, although both types of imbalances ...
SIGECOM
2000
ACM
14 years 2 months ago
2000
ACM
Reputation reporting systems have emerged as an important risk management mechanism in online trading communities. However, the predictive value of these systems can be compromise...
ICDCS
1996
IEEE
14 years 2 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
DOOD
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
LFCS
1992
Springer
14 years 2 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...