Sciweavers

13026 search results - page 185 / 2606
» Probabilistic Relational Models
Sort
View
ICALP
1997
Springer
15 years 10 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
DOLAP
2007
ACM
15 years 10 months ago
A probabilistic model for data cube compression and query approximation
Rokia Missaoui, Cyril Goutte, Anicet Kouomou Choup...