Sciweavers

762 search results - page 44 / 153
» Conditionally correct superoptimization
Sort
View
VTC
2010
IEEE
165views Communications» more  VTC 2010»
13 years 8 months ago
DVB-S Signal Tracking Techniques for Mobile Phased Arrays
Abstract—A system that uses adaptive beamforming techniques for mobile Digital Video Broadcasting Satellite (DVB-S) reception is proposed in this paper. The purpose is to enable ...
Koen C. H. Blom, Marcel D. van de Burgwal, Kenneth...
WIOPT
2010
IEEE
13 years 8 months ago
On the optimal design of MAC protocols in multi-hop ad hoc networks
Abstract—In this paper, we present our results on the performance of MAC protocols in multi-hop wireless ad hoc networks in terms of the newly proposed metric “aggregate multi-...
Mariam Kaynia, Pedro H. J. Nardell, Paulo Cardieri...
CVPR
2010
IEEE
13 years 8 months ago
P-N learning: Bootstrapping binary classifiers by structural constraints
This paper shows that the performance of a binary classifier can be significantly improved by the processing of structured unlabeled data, i.e. data are structured if knowing the ...
Zdenek Kalal, Jiri Matas, Krystian Mikolajczyk
EUROMED
2010
13 years 8 months ago
Use of Geoinformatics for the Digitization and Visualization of Cartographic Heritage: The Case of an Early 1920s Mytilene Town
A map series of 1920s Mytilene town, property of Lesvos Archives, had been inaccessible due to its poor condition. One map of this series was restored, scanned, digitised and given...
Evangelia Kyriazi, Nikolaos Soulakellis, Georgios ...
EUROPAR
2010
Springer
13 years 8 months ago
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
Paul M. Carpenter, Alex Ramírez, Eduard Ayg...