2610 search results - page 225 / 522 » Computational Probabilistic Non-interference |
161
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Random linear network codes can be designed and implemented in a distributed manner, with low computational complexity. However, these codes are classically implemented [1] over fi...
188
Voted
TSE
2011
14 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
157
click to vote
CGF
2011
14 years 7 months ago
2011
Classical approaches to shape correspondence base their computation purely on the properties, in particular geometric similarity, of the shapes in question. Their performance stil...
184
Voted
PAMI
2012
13 years 6 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
144
Voted
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we demonstrate an integrated registration and clustering algorithm to compute an atlas of fiberbundles from a set of multi-subject diffusion weighted MR images. We ...