554 search results - page 68 / 111 » Approximate Probabilistic Model Checking |
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
INTERSPEECH
2010
13 years 2 months ago
2010
We propose a probabilistic factorial sparse coder model for single channel source separation in the magnitude spectrogram domain. The mixture spectrogram is assumed to be the sum ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
CSDA
2008
13 years 7 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
PAMI
2008
13 years 7 months ago
2008
Variational Bayesian Expectation-Maximization (VBEM), an approximate inference method for probabilistic models based on factorizing over latent variables and model parameters, has ...