14158 search results - page 2522 / 2832 » Generalized switch-setting problems |
151
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
162
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
139
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...
148
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Although Locality-Sensitive Hashing (LSH) is a promising approach to similarity search in high-dimensional spaces, it has not been considered practical partly because its search q...
179
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Tagged data is rapidly becoming more available on the World Wide Web. Web sites which populate tagging services offer a good way for Internet users to share their knowledge. An in...