12697 search results - page 219 / 2540 » Call for Papers |
204
Voted
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
160
click to vote
CN
2008
15 years 6 months ago
2008
Bi-directional WDM transmission is a technique that allows data to be transmitted simultaneously in both directions of a fiber, with different sets of wavelength channels for each...
271
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
On the Internet, the limited query-processing capabilities of sources make answering even the simplest queries challenging. In this paper, we present a scheme called GenCompact fo...
180
click to vote
ICML
1996
IEEE
16 years 7 months ago
1996
IEEE
Research in reinforcementlearning (RL)has thus far concentrated on two optimality criteria: the discounted framework, which has been very well-studied, and the averagereward frame...
343
click to vote
ACCESSNETS
2009
Springer
16 years 1 months ago
2009
Springer
Most of the IEEE 802.16e Mobile WiMAX scheduling proposals for real-time traffic using Unsolicited Grant Service (UGS) focus on the throughput and guaranteed latency. The delay jit...