7404 search results - page 519 / 1481 » New Tools in Education |
163
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract-- Traditional distributed source coding rarely considers the possible link between separate encoders. However, the broadcast nature of wireless communication in sensor net...
210
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
By using joint modulation and customized constellation set, we show that Quasi-Orthogonal Space-Time Block Code (QO-STBC) can be used to form a new differential space-time modulati...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
199
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
203
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...