5158 search results - page 166 / 1032 » Generalization of the Dempster-Shafer Theory |
ICPR
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
ECAI
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
DOOD
1993
Springer
14 years 2 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
IMPERIAL
1994
14 years 2 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...