41 search results - page 5 / 9 » Hierarchical combination of intruder theories |
102
click to vote
CSFW
2009
IEEE
15 years 3 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
RECSYS
2009
ACM
15 years 6 months ago
2009
ACM
Previous work on using external aggregate rating information showed that this information can be incorporated in several different types of recommender systems and improves their...
117
click to vote
UAI
2007
15 years 27 days ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
CHI
2003
ACM
16 years 3 days ago
2003
ACM
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
113
click to vote
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Information filtering has made considerable progress in recent years.The predominant approaches are content-based methods and collaborative methods. Researchers have largely conc...