Computing Conditional Probabilities in Markovian Models Efficiently
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
6 Apr. 2014 → 12 Apr. 2014
Konferenz
Titel | 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
---|---|
Kurztitel | TACAS 2014 |
Dauer | 7 - 11 April 2014 |
Bekanntheitsgrad | Internationale Veranstaltung |
Stadt | Grenoble |
Land | Frankreich |