12981 search results - page 2418 / 2597 » Model Checking (Abstract) |
127
Voted
JSAC
2010
15 years 2 months ago
2010
Abstract—UWB over fiber (UWBoF) technique has been proposed to increase the area of coverage for UWB communication systems. In this paper, the transmission performance of impuls...
131
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
122
Voted
MACOM
2010
15 years 2 months ago
2010
Abstract. This paper focuses in the analysis of 100% static and distributed inter-cell interference coordination techniques in the context of LTE networks. Several methods have bee...
147
Voted
MIAR
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
159
Voted
MIAR
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...