5086 search results - page 357 / 1018 » The Power of Comparative Reasoning |
188
click to vote
VTC
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
143
click to vote
ISCC
2005
IEEE
16 years 9 days ago
2005
IEEE
Several previous works have shown that TCP exhibits poor performance in Mobile Ad Hoc Networks (MANETs). The ultimate reason for this is that MANETs behave in a significantly diff...
187
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
176
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
253
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...