2610 search results - page 13 / 522 » Computational Probabilistic Non-interference |
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
We present an algorithm to simultaneously recover nonrigid shape and camera poses from point correspondences between a reference shape and a sequence of input images. The key nove...
SAC
2010
ACM
13 years 2 months ago
2010
ACM
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...
TCIAIG
2010
13 years 2 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...