Sciweavers

279 search results - page 39 / 56
» Constructive Interval Disjunction
Sort
View
NMR
2004
Springer
15 years 7 months ago
A resource bounded default logic
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
Gregory R. Wheeler
ISIPTA
2003
IEEE
127views Mathematics» more  ISIPTA 2003»
15 years 7 months ago
Climate Projections for the 21st Century Using Random Sets
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
Elmar Kriegler, Hermann Held
110
Voted
ITC
2003
IEEE
162views Hardware» more  ITC 2003»
15 years 7 months ago
Concurrent Error Detection in Linear Analog Circuits Using State Estimation
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
COSIT
2001
Springer
169views GIS» more  COSIT 2001»
15 years 6 months ago
Spatial Reasoning: No Need for Visual Information
One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was...
Markus Knauff, Corinne Jola, Gerhard Strube
180
Voted
RAID
1999
Springer
15 years 6 months ago
Anomaly Intrusion Detection Systems: Handling Temporal Relations Between Events
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
Alexandr Seleznyov, Seppo Puuronen