Sciweavers

1056 search results - page 15 / 212
» A Probabilistic Applied Pi-Calculus
Sort
View
ML
2008
ACM
150views Machine Learning» more  ML 2008»
13 years 7 months ago
Learning probabilistic logic models from probabilistic examples
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, José Car...
QEST
2009
IEEE
14 years 2 months ago
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
Husain Aljazzar, Manuel Fischer, Lars Grunske, Mat...
FOSSACS
2005
Springer
14 years 1 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
ECP
1999
Springer
190views Robotics» more  ECP 1999»
13 years 11 months ago
Probabilistic Planning in the Graphplan Framework
We consider the problem of planning optimally in potentially concurrent probabilistic domains: actions have probabilistic effects and may execute in parallel under certain conditi...
Avrim Blum, John Langford