5510 search results - page 264 / 1102 » Mathematics |
166
click to vote
ADG
2000
Springer
15 years 10 months ago
2000
Springer
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...
161
Voted
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
139
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
The second author has put forward a theory of incomplete interval probabilities meant to give a common framework to both interval probabilities and openframe bodies of evidence, a...
132
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
159
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...