1204 search results - page 4 / 241 » Hybrid Probabilistic Programs |
ISBRA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
FGCS
1992
13 years 8 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...