2610 search results - page 88 / 522 » Computational Probabilistic Non-interference |
FOCS
1992
IEEE
14 years 1 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...
CONCUR
2006
Springer
14 years 20 days 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...
FOCS
1998
IEEE
14 years 17 days 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 ...
CVPR
2008
IEEE
14 years 11 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...
ECCV
2004
Springer
14 years 10 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...