Sciweavers

1108 search results - page 73 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
KR
2004
Springer
15 years 3 months ago
Intransitivity and Vagueness
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
Joseph Y. Halpern
ECOOP
1993
Springer
15 years 1 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
ICIP
1995
IEEE
15 years 1 months ago
Multi-channel restoration of electron micrographs
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...
M. Vrhel, B. L. Trus
AGI
2008
14 years 11 months ago
Distance-Based Non-Deterministic Semantics
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
Ofer Arieli, Anna Zamansky
IJCAI
1989
14 years 11 months ago
Maximum Entropy in Nilsson's Probabilistic Logic
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
Thomas B. Kane