Sciweavers

2086 search results - page 100 / 418
» Mathematical Theory Exploration
Sort
View
ISIPTA
2003
IEEE
14 years 3 months ago
Geometry of Upper Probabilities
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...
Fabio Cuzzolin
FOSSACS
2003
Springer
14 years 2 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
ISIPTA
1999
IEEE
115views Mathematics» more  ISIPTA 1999»
14 years 2 months ago
Imprecise Probabilities Relating to Prior Reliability Assessments
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 ...
Igor Kozine
ISIPTA
1999
IEEE
101views Mathematics» more  ISIPTA 1999»
14 years 2 months ago
Open-frame Dempster Conditioning for Incomplete Interval Probabilities
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...
Paola Castellan, Andrea Sgarro
MPC
1998
Springer
83views Mathematics» more  MPC 1998»
14 years 1 months ago
Nested Datatypes
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
Richard S. Bird, Lambert G. L. T. Meertens