2200 search results - page 101 / 440 » The Generalized Pignistic Transformation |
GLOBECOM
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, we establish a rate duality between the forward and reverse links of MIMO interference channel, where the reverse links are obtained by exchanging the roles of trans...
PLDI
2011
ACM
13 years 3 days ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
In this work, we present intrinsic shape context (ISC) descriptors for 3D shapes. We generalize to surfaces the polar sampling of the image domain used in shape contexts: for this...
DAC
2012
ACM
11 years 11 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
MPC
1995
Springer
14 years 25 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...