2610 search results - page 170 / 522 » Computational Probabilistic Non-interference |
117
Voted
UAI
2004
15 years 3 months ago
2004
We introduce a probabilistic formalism subsuming Markov random fields of bounded tree width and probabilistic context free grammars. Our models are based on a representation of Bo...
115
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
139
Voted
ENTCS
2006
15 years 2 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
144
click to vote
IS
2007
15 years 2 months ago
2007
Sensors are often employed to monitor continuously changing entities like locations of moving objects and temperature. The sensor readings are reported to a database system, and a...
137
Voted
BIOINFORMATICS
2012
13 years 5 months ago
2012
Motivation Accurate knowledge of the genome-wide binding of transcription factors in a particular cell type or under a particular condition is necessary for understanding transcri...