58 search results - page 8 / 12 » Sequentially updated Probability Collectives |
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
68
Voted
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a discriminative learning approach for fusing multichannel sequential data with application to detect unsafe driving patterns from multi-channel driving recording data....
SSDBM
2007
IEEE
15 years 4 months ago
2007
IEEE
Reservoir sampling is a well-known technique for sequential random sampling over data streams. Conventional reservoir sampling assumes a fixed-size reservoir. There are situation...
106
click to vote
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
The estimation of high-dimensional probability density functions (PDFs) is not an easy task for many image processing applications. The linear models assumed by widely used transf...
PSIVT
2007
Springer
15 years 3 months ago
2007
Springer
This paper considers the problem of Bayesian inference in dynamical models with time-varying dimension. These models have been studied in the context of multiple target tracking pr...