748 search results - page 44 / 150 » Time and Probability in Process Algebra |
94
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
TIT
1998
15 years 2 days ago
1998
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...
100
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Variability of process parameters makes prediction of digital circuit timing characteristics an important and challenging problem in modern chip design. Recently, statistical stat...
103
click to vote
SIGMETRICS
2002
ACM
15 years 2 days ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
90
Voted
RC
2007
14 years 12 months ago
2007
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...