677 search results - page 64 / 136 » Dependent Types from Counterexamples |
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
We investigate how people interact with Web search engine result pages using eye-tracking. While previous research has focused on the visual attention devoted to the 10 organic se...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a transrating based video rate adaptation technique for compressed high-definition video transmission over wireless local area networks. Our application ...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Aggressive scaling of technology has an adverse impact on the reliability of VLSI circuits. Apart from increasing transient error susceptibility, the circuits also become more vul...
80
Voted
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper the fading multiple antenna (MIMO) wire-tap channel is investigated under short term power constraints. The secret diversity gain and the secret multiplexing gain ar...
70
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—Call holding times in telephony networks are commonly approximated by exponential distributions to facilitate traffic engineering. However, for traffic engineering of cellular n...