2610 search results - page 88 / 522 » Computational Probabilistic Non-interference |
99
Voted
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
130
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
115
click to vote
FOCS
1998
IEEE
15 years 6 months ago
1998
IEEE
A recommendation system tracks past actions of a group of users to make recommendations toindividualmembersofthe group. The growth ofcomputer-mediatedmarketingandcommerce has led ...
131
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Automatic, defect tolerant registration of transmission electron microscopy (TEM) images poses an important and challenging problem for biomedical image analysis, e.g. in computat...
130
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
We present a probabilistic framework for recognizing objects in images of cluttered scenes. Hundreds of objects may be considered and searched in parallel. Each object is learned f...