13306 search results - page 2629 / 2662 » Theoretical Computer Science |
CCS
2008
ACM
14 years 11 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...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Data sparsity, scalability and prediction quality have been recognized as the three most crucial challenges that every collaborative filtering algorithm or recommender system conf...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
CLEANDB
2006
ACM
14 years 11 months ago
2006
ACM
An important reality when integrating scientific data is the fact that data may often be "missing", partially specified, or conflicting. Therefore, in this paper, we pre...