20066 search results - page 260 / 4014 » T Spaces |
169
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
166
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
178
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In most real-world situations, a single microphone is insufficient for the characterization of an entire auditory scene. This often occurs in places such as office environments ...
185
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Based on information theoretic tools, a new spectrum sensing method is proposed in this paper to detect vacant sub-bands in the radio spectrum1 . Specifically, based on...
208
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...