Sciweavers

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