5387 search results - page 356 / 1078 » Generating generic functions |
172
click to vote
MABS
2007
Springer
16 years 26 days ago
2007
Springer
For the past few years, our research groups have independently been developing systems in which a multi-agent system (typically of lightweight agents) provides some functionality i...
191
click to vote
PROVSEC
2007
Springer
16 years 25 days 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...
171
click to vote
SCALESPACE
2007
Springer
16 years 25 days 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...
181
click to vote
AICT
2006
IEEE
16 years 24 days ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
180
click to vote
SP
2006
IEEE
16 years 22 days 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...