1204 search results - page 169 / 241 » Hybrid Probabilistic Programs |
141
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Mocapy++ is a toolkit for parameter learning and inference in dynamic Bayesian networks (DBNs). It supports a wide range of DBN architectures and probability distribut...
133
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...
125
click to vote
PROVSEC
2007
Springer
15 years 8 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
107
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
135
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...