1029 search results - page 54 / 206 » Probabilistic Recurrence Relations |
135
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
159
click to vote
FORTE
2008
15 years 4 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
116
click to vote
ICANN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We investigate the computational capabilities of probabilistic cellular automata by means of the density classification problem. We find that a specific probabilistic ...
139
click to vote
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
In this paper, we explore modeling overlapping biological processes. We discuss a probabilistic model of overlapping biological processes, gene membership in those processes, and ...
134
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Abstract-Unstructured text represents a large fraction of the world's data. It often contain snippets of structured information within them (e.g., people's names and zip ...