1592 search results - page 125 / 319 » On the Equality of Probabilistic Terms |
151
click to vote
IJCNN
2008
IEEE
16 years 25 days ago
2008
IEEE
—Normalization before clustering is often needed for proximity indices, such as Euclidian distance, which are sensitive to differences in the magnitude or scales of the attribute...
188
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
182
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
—Adaptive Turbo frequency-domain channel estimation is investigated for single-carrier (SC) multi-user detection in the presence of unknown co-channel interference (CCI). We prop...
169
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper focuses on peer-to-peer storage systems that achieve availability through replication. We study the problem of resource allocation when the system must replicate multip...
157
click to vote
ISCA
2007
IEEE
16 years 22 days ago
2007
IEEE
There are two basic models for the on-chip memory in CMP systems: hardware-managed coherent caches and software-managed streaming memory. This paper performs a direct comparison o...