Sciweavers

30 search results - page 4 / 6
» Lost in translation
Sort
View
MINENET
2006
ACM
14 years 1 months ago
Mining web logs to debug distant connectivity problems
Content providers base their business on their ability to receive and answer requests from clients distributed across the Internet. Since disruptions in the flow of these request...
Emre Kiciman, David A. Maltz, Moisés Goldsz...
WWIC
2010
Springer
183views Communications» more  WWIC 2010»
14 years 22 days ago
Enhanced Mobility Support for Roaming Users: Extending the IEEE 802.21 Information Service
Many cell-phones and Personal Digital Assistants (PDAs) are equipped with multiple radio interfaces. Because of this, devices need to have ways of efficiently selecting the most su...
Karl Andersson, Andrea G. Forte, Henning Schulzrin...
ICPR
2006
IEEE
14 years 8 months ago
Fundamental Matrix Estimation via TIP - Transfer of Invariant Parameters
The fundamental matrix (FM) represents the perspective transform between two or more uncalibrated images of a stationary scene, and is traditionally estimated based on 2parameter ...
Frank Riggi, Matthew Toews, Tal Arbel
CVPR
2006
IEEE
14 years 9 months ago
Multi-Camera Scene Flow by Tracking 3-D Points and Surfels
Scene flow represents the 3-D motion of points in the scene, just as optical flow is related to their 2-D motion in the images. As opposed to classical methods which compute scene...
Frederic Devernay, Diana Mateus, Matthieu Guilbert
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
14 years 1 months ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere