157 search results - page 24 / 32 » Presenting Proofs with Adapted Granularity |
ASIACRYPT
2001
Springer
14 years 1 hour ago
2001
Springer
A fair blind signature scheme allows the trustee to revoke blindness so that it provides authenticity and anonymity to honest users while preventing malicious users from abusing th...
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
—This paper shows how to reduce evaluation time for context inference. Probabilistic Context Inference has proven to be a good representation of the physical reality with uncerta...
DASIP
2010
13 years 2 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...
DICTA
2003
13 years 8 months ago
2003
：Many motion object detection algorithms rely on the process of background subtraction, an important technique which is used for detecting changes from a model of the background ...
ISW
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...