|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 5 gevonden artikelen
| Titel: |
Tracing Relations Probabilistically |
| Auteur: |
Ernst-Erich Doberkat |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 65 (2005) nr. 3 pagina's 193-209 |
| Jaar: |
2005-06-27 |
| Inhoud: |
We investigate similarities between non-deterministic and probabilistic ways of describing a system in terms of computation trees. We show that the construction of traces for both kinds of relations follows the same principles of construction. Representations of measurable trees in terms of probabilistic relations are given. This shows that stochastic relations may serve as refinements of their non-deterministic counterparts. A convexity argument formalizes the observation that non-deterministic system descriptions are underspecified when compared to probabilistic ones. The mathematical tools come essentially from the theory of measurable selections. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 5 gevonden artikelen
| << vorige |