Sciweavers

5510 search results - page 210 / 1102
» Mathematics
Sort
View
CADE
2000
Springer
15 years 8 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
COMPGEOM
1999
ACM
15 years 8 months ago
The Video "Geodesics and Waves"
The video Geodesics and Waves introduces the concepts of straightest geodesics and geodesic flow on polyhedral surfaces. It is the third in a series of videos presenting research ...
Konrad Polthier, Markus Schmies, Martin Steffens, ...
ISIPTA
1999
IEEE
15 years 8 months ago
Nonlinear Filtering of Convex Sets of Probability Distributions
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
John Kenney, Wynn C. Stirling
ISIPTA
1999
IEEE
103views Mathematics» more  ISIPTA 1999»
15 years 8 months ago
A Review of Propagation Algorithms for Imprecise Probabilities
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
Andrés Cano, Serafín Moral
ISIPTA
1999
IEEE
15 years 8 months ago
Totally Monotone Core and Products of Monotone Measures
Several approaches to the product of non-additive monotone measures or capacities are discussed and a new approach is proposed. It starts with the Mobius product 2 of totally mono...
Dieter Denneberg