4332 search results - page 239 / 867 » A Probabilistic Identification Result |
178
click to vote
RECOMB
2004
Springer
16 years 6 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 ...
242
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
151
click to vote
ICRA
2008
IEEE
16 years 28 days ago
2008
IEEE
— One of the key tasks during the realization of probabilistic approaches to localization is the design of a proper sensor model, that calculates the likelihood of a measurement ...
155
click to vote
GLVLSI
2007
IEEE
16 years 25 days ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...
186
click to vote
CIA
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...