3116 search results - page 43 / 624 » Positively dependent types |
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— OFDMA-based IEEE802.16 implements Adaptive Modulation and Coding (AMC) which results in a different bit rate for each user depending on its position in the cell as well as the ...
CC
2008
Springer
14 years 9 months ago
2008
Springer
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
SIGADA
1998
Springer
15 years 1 months ago
1998
Springer
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
104
click to vote
HUC
1999
Springer
15 years 2 months ago
1999
Springer
In Augmented Reality (AR), see-through Head Mounted Displays (HMDs) superimpose virtual 3D objects over the real world. They have the potential to enhance a user's perception ...