Sciweavers

553 search results - page 2 / 111
» On models and query languages for probabilistic processes
Sort
View
ICDT
2010
ACM
219views Database» more  ICDT 2010»
14 years 2 months ago
Aggregate Queries for Discrete and Continuous Probabilistic XML
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...
Serge Abiteboul, T.-H Hubert Chan, Evgeny Kharlamo...
ICALP
1997
Springer
13 years 9 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...