4340 search results - page 415 / 868 » Formal Methods and Cryptography |
238
click to vote
IDA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
167
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
169
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
218
click to vote
IFM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
197
click to vote
PPSWR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...