1224 search results - page 32 / 245 » Theory decision by decomposition |
89
Voted
TALG
2010
14 years 11 months ago
2010
Fractional hypertree width is a hypergraph measure similar to tree width and hypertree width. Its algorithmic importance comes from the fact that, as shown in previous work [14], ...
96
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
115
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
98
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
A precoding strategy for multi-user spectrum sharing over an interference channel is proposed and analyzed from a game-theoretic perspective. The proposed strategy is based on fi...
117
Voted
TSMC
2008
15 years 20 days ago
2008
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...