539 search results - page 44 / 108 » Symmetric Argumentation Frameworks |
LREC
2008
14 years 11 months ago
2008
We present the machine learning framework that we are developing, in order to support explorative search for non-trivial linguistic configurations in low-density languages (langua...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
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 protocol environ...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
Skeletonization algorithms typically decompose an object’s
silhouette into a set of symmetric parts, offering a
powerful representation for shape categorization. However,
havi...
SACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
BILDMED
2006
14 years 11 months ago
2006
In this paper we propose a new symmetrical framework that solves image denoising, edge detection and non