1204 search results - page 90 / 241 » Hybrid Probabilistic Programs |
118
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
IH
2007
Springer
15 years 6 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
82
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
83
Voted
IVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
107
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...