1414 search results - page 82 / 283 » Combining Intruder Theories |
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
FUN
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
JSAI
2007
Springer
14 years 4 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
HT
2004
ACM
14 years 3 months ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...