3210 search results - page 358 / 642 » Secure Similarity Search |
199
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
208
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Stream computing research is moving from terascale to petascale levels. It aims to rapidly analyze data as it streams in from many sources and make decisions with high speed and a...
180
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As part of a comparative ethnographic study of everyday life of young professionals in London, Los Angeles, and Tokyo, we conducted a detailed survey of wallets and their contents...
169
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
179
click to vote
ICDCIT
2004
Springer
16 years 1 days ago
2004
Springer
The need to securely share information on an ad-hoc basis between collaborating entities is increasingly becoming important. We propose a coalition based access control model (CBAC...