1982 search results - page 271 / 397 » Parametricity and dependent types |
92
Voted
ICAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we propose a theoretical framework for the analysis of the impact of ultra–wideband (UWB) interference on systems that use the popular combination of bit– in...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— This study describes a method of estimating the intrinsic parameters of a perspective camera. In previous calibration methods for perspective cameras, the intrinsic and extrins...
109
click to vote
IJCNN
2008
IEEE
15 years 4 months ago
2008
IEEE
— Gene expression based cancer classification using classifier ensembles is the main focus of this work. A new ensemble method is proposed that combines predictions of a small ...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— In IEEE 802.11 wireless networks, EDCA users’ performance may be degraded because of the existence of legacy users and therefore would get a lower priority service. Such effe...