Sciweavers

3677 search results - page 29 / 736
» Is a probabilistic modeling
Sort
View
65
Voted
QEST
2010
IEEE
14 years 7 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
LFCS
2009
Springer
15 years 4 months ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus
AAAI
2008
15 years 3 hour ago
Learning and Inference with Constraints
Probabilistic modeling has been a dominant approach in Machine Learning research. As the field evolves, the problems of interest become increasingly challenging and complex. Makin...
Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo...
WOLLIC
2009
Springer
15 years 4 months ago
Logic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
Taisuke Sato
86
Voted
GLOBECOM
2009
IEEE
15 years 1 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang