Sciweavers

167 search results - page 9 / 34
» Stochasticity in reactions: a probabilistic Boolean modeling...
Sort
View
EMNLP
2007
13 years 9 months ago
A Probabilistic Approach to Diachronic Phonology
We present a probabilistic model of diachronic phonology in which individual word forms undergo stochastic edits along the branches of a phylogenetic tree. Our approach allows us ...
Alexandre Bouchard-Côté, Percy Liang,...
ICML
2010
IEEE
13 years 8 months ago
Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
Tobias Lang, Marc Toussaint
ISIPTA
2003
IEEE
120views Mathematics» more  ISIPTA 2003»
14 years 1 months ago
Reliability Analysis in Geotechnics with Finite Elements --- Comparison of Probabilistic, Stochastic and Fuzzy Set Methods
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
Gerd M. Peschl, H. F. Schweiger
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
14 years 1 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 1 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha