5158 search results - page 217 / 1032 » Generalization of the Dempster-Shafer Theory |
145
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
152
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
“Don’t put all your eggs in one basket” is common wisdom with respect to financial portfolio theory. The configuration of customer portfolios with regard to appropriate risk...
196
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
159
click to vote
ISMVL
2007
IEEE
16 years 25 days ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
202
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...