5158 search results - page 350 / 1032 » Generalization of the Dempster-Shafer Theory |
168
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
187
click to vote
SIGECOM
2006
ACM
16 years 23 days ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...
168
click to vote
VALUETOOLS
2006
ACM
16 years 23 days ago
2006
ACM
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
177
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
185
click to vote
ISIPTA
2005
IEEE
16 years 12 days ago
2005
IEEE
: A generalization of subjective expected utility is presented in which the primitives are a finite set of states of the world, a finite set of strategies available to the decision...