Sciweavers

3760 search results - page 122 / 752
» Logic-Based Probabilistic Modeling
Sort
View
IWCMC
2010
ACM
15 years 7 months ago
Probabilistic graphical models for semi-supervised traffic classification
Charalampos Rotsos, Jurgen Van Gael, Andrew W. Moo...
ICALP
1997
Springer
15 years 7 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...