Sciweavers

1822 search results - page 1 / 365
» The Method of Assigning Incidences
Sort
View
APIN
1998
78views more  APIN 1998»
13 years 4 months ago
The Method of Assigning Incidences
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
Weiru Liu, David McBryan, Alan Bundy
SDM
2003
SIAM
91views Data Mining» more  SDM 2003»
13 years 5 months ago
An Outlier-based Data Association Method for Linking Criminal Incidents
Serial criminals are a major threat in the modern society. Associating incidents committed by the same offender is of great importance in studying serial criminals. In this paper,...
Song Lin, Donald E. Brown
TRUSTBUS
2009
Springer
13 years 11 months ago
Adaptive Dispatching of Incidences Based on Reputation for SCADA Systems
SCADA systems represent a challenging scenario where the management of critical alarms is crucial. Their response to these alarms should be efficient and fast in order to mitigate ...
Cristina Alcaraz, Isaac Agudo, M. Carmen Fern&aacu...
ADG
2000
Springer
122views Mathematics» more  ADG 2000»
13 years 9 months ago
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
Hongbo Li, Yihong Wu