Sciweavers

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