Sciweavers

369 search results - page 24 / 74
» Transferring Localization Models over Time
Sort
View
ICFP
2010
ACM
14 years 11 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 4 months ago
Synchronization of Single-Frequency Simulcast Networks Using Network Time Protocol
 Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
Stefano Bregni, Luciano Lacavalla, Bruno Propersi,...
TON
2010
167views more  TON 2010»
14 years 4 months ago
A Machine Learning Approach to TCP Throughput Prediction
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...
Mariyam Mirza, Joel Sommers, Paul Barford, Xiaojin...
CVPR
2009
IEEE
16 years 5 months ago
Recognising Action as Clouds of Space-Time Interest Points
Much of recent action recognition research is based on space-time interest points extracted from video using a Bag of Words (BOW) representation. It mainly relies on the discrimi...
Matteo Bregonzio (Queen Mary, University of London...
TVCG
2008
121views more  TVCG 2008»
14 years 9 months ago
Multi-Focused Geospatial Analysis Using Probes
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
Thomas Butkiewicz, Wenwen Dou, Zachary Wartell, Wi...