104 search results - page 4 / 21 » aime 1997 |
JETAI
1998
13 years 10 months ago
1998
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...
NIPS
1997
13 years 11 months ago
1997
Our aim in this paper is to develop a Bayesian framework for matching hierarchical relational models. Such models are widespread in computer vision. The framework that we adopt fo...
CSFW
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
EUROMICRO
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper discusses two projects aimed at utilising the educational potential of hypermedia whilst avoiding the danger of the user becoming “lost in hyperspace”. The first pr...
ECMAST
1997
Springer
14 years 2 months ago
1997
Springer
In the framework of the European ACTS programme, the AMUSE project aims to develop, specify, implement and trial advanced multimedia services using an end-to-end ATM infrastructure...