Sciweavers

924 search results - page 86 / 185
» Incremental Probabilistic Inference
Sort
View
DILS
2009
Springer
14 years 4 months ago
Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes
Probabilistic functional integrated networks are powerful tools with which to draw inferences from high-throughput data. However, network analyses are generally not tailored to spe...
Katherine James, Anil Wipat, Jennifer Hallinan
CONCUR
2003
Springer
14 years 3 months ago
A Process-Algebraic Language for Probabilistic I/O Automata
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
14 years 1 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
NIPS
2008
13 years 11 months ago
Probabilistic detection of short events, with application to critical care monitoring
We describe an application of probabilistic modeling and inference technology to the problem of analyzing sensor data in the setting of an intensive care unit (ICU). In particular...
Norm Aleks, Stuart Russell, Michael G. Madden, Dia...
UAI
2004
13 years 11 months ago
Convolutional Factor Graphs as Probabilistic Models
Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. ...
Yongyi Mao, Frank R. Kschischang, Brendan J. Frey