5255 search results - page 1034 / 1051 » Formal Methods for Privacy |
CIKM
2007
Springer
13 years 9 months ago
2007
Springer
One aspect in which retrieving named entities is different from retrieving documents is that the items to be retrieved – persons, locations, organizations – are only indirect...
DEBS
2008
ACM
13 years 9 months ago
2008
ACM
This paper defines and discusses the implementation of two novel extensions to the Siena Content-based Network (CBN) to extend it to become a Knowledge-based Network (KBN) thereby...
DIAGRAMS
2008
Springer
13 years 9 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
FIW
2007
13 years 9 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...