5158 search results - page 136 / 1032 » Generalization of the Dempster-Shafer Theory |
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
FSKD
2008
Springer
13 years 11 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
EUSFLAT
2009
13 years 8 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...