2041 search results - page 234 / 409 » Modelling Generic Judgements |
146
click to vote
PROVSEC
2007
Springer
15 years 10 months ago
2007
Springer
As such, public-key encryption with keyword search (a.k.a PEKS or searchable encryption) does not allow the recipient to decrypt keywords i.e. encryption is not invertible. This pa...
136
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
This paper introduces a new framework for two-phase image segmentation, namely the Fuzzy Region Competition. A generic formulation is developed that extends in a convex way several...
156
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...
139
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
110
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...