5510 search results - page 257 / 1102 » Mathematics |
158
click to vote
VOSS
2004
Springer
15 years 11 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
168
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
139
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...
151
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
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 ...
156
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
For cancers with more than one risk factor, the sum of probabilistic estimates of the number of cancers attributable to each individual factor may exceed the total number of cases...