We study two closely related problems: (a) showing that a program transformation is correct and (b) propagating a program invariant through a sequence of transformations.
This article describes the WLAN based indoor-locating by means of practical experience.
An optimization model for solving the channel assignment problem in multi-cell WLANs which is based on minimizing the maximum interference at access points in the network is proposed.
This paper explores the enhancement of WLAN downlink throughput in a conference room environment using a multi-antenna access point.
Although networks based on IEEE802.11 were originally intended to transport best-effort data traffic, the appearance of IEEE802.11e has brought about the opportunity of supplying real time voice an
In this paper, a hybrid path-tracking system is introduced, which exploits the power of compressive sensing (CS) to recover accurately sparse signals, in conjunction with the efficiency of a Kalman
To provision the enhanced support for wireless Internet services, high speed downlink packet access (HSDPA) was standardized in 3GPP.
We examine the prediction of the signal to interference ratio by the mobile as a means of improving the channel feedback in adaptive radio links.
Electrochemical cells with transition metal oxide electrodes (molybdenum dioxide or tungsten dioxide negatives and lithium cobalt oxide positives) are being studied for use as ionic capacitors or
One of the key issues in designing a speech recognition system is the selection of the fundamental unit for recognition.
