Evènement pour le groupe
Probabilité et informatique
Date | 2011-01-24 11:00-12:00 |
Titre | CPO des mesures |
Résumé | Afin de formaliser la sémantique dénotationnelle des programmes probabilistes, nous introduisons le cpo (complete partial order) des mesures de probabilité. Cette approche permet d'éviter les identifications non souhaitables, liées à un
préordre imposé dans l'approche relationnelle du non-déterminisme. Nous étudions ensuite les propriétés importantes de cette construction. |
Lieu | 076 |
Orateur | Nasser Saheb |
Aucun document lié à cet événement.
RetourRetour à l'index