Sciweavers

1063 search results - page 21 / 213
» Order and Negation as Failure
Sort
View
INFOCOM
1993
IEEE
14 years 2 months ago
An Analysis of the Congestion Effects of Link Failures in Wide Area Networks
Here we present the results of a study to determine the effects of link failures on network performance. The network studied is a virtual circuit based packet switched wide area n...
David Tipper, Joseph L. Hammond, S. Sharma, A. Khe...
FM
2003
Springer
94views Formal Methods» more  FM 2003»
14 years 3 months ago
On Failures and Faults
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
Brian Randell
KDD
1998
ACM
105views Data Mining» more  KDD 1998»
14 years 2 months ago
PlanMine: Sequence Mining for Plan Failures
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because ...
Mohammed Javeed Zaki, Neal Lesh, Mitsunori Ogihara
AIR
2000
91views more  AIR 2000»
13 years 9 months ago
PlanMine: Predicting Plan Failures Using Sequence Mining
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because p...
Mohammed Javeed Zaki, Neal Lesh, Mitsunori Ogihara
AAAI
1990
13 years 11 months ago
Computing Stable Models by Using the ATMS
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
Kave Eshghi