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...
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,...
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...
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...
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...