3690 search results - page 547 / 738 » Computation with classical sequents |
131
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Location information should be verifiable in order to support new computing and information services. In this paper, we adapt the classical challenge-response method for authen...
136
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
It is usual in practice that recorded sounds are contaminated by stationary tones coming from power wiring (50/60 Hz or 400 Hz and their harmonics), frame or line frequencies from...
151
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In most wireless communications research, the channel models considered experience less severe fading than the classic Rayleigh fading case. In this work, however, we investiga...
164
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless spectrum is a scare resource, while media streaming usually requires high end-to-end bandwidth. Media streaming in wireless ad hoc networks is therefore a particularly...
141
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Frequent failures are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in size and compl...