567 search results - page 102 / 114 » Probabilistic Reasoning With Answer Sets |
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
KR
2004
Springer
15 years 3 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
139
Voted
ICTAI
2003
IEEE
15 years 2 months ago
2003
IEEE
Computing and storing probabilities is a hard problem as soon as one has to deal with complex distributions over multiples random variables. The problem of efficient representati...
SIGIR
1998
ACM
15 years 1 months ago
1998
ACM
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
AINA
2007
IEEE
15 years 1 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...