1336 search results - page 260 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
236
click to vote
MMSEC
2006
ACM
16 years 9 days ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
194
Voted
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
Natural scene categorization of images represents a very useful task for automatic image analysis systems in a wide variety of applications. In the literature, several methods hav...
175
Voted
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
213
Voted
LOCA
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
208
Voted
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...