Sciweavers

1592 search results - page 140 / 319
» The state of the email address
Sort
View
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
12 years 6 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...

Publication
304views
15 years 9 months ago
A Binary Feedback Scheme for Congestion Avoidance in Computer Networks with Connectionless Network Layer
We propose a scheme for congestion avoidance in networks using a connectionless protocol at the network layer. The scheme uses a minimal amount of feedback from the network to the ...
K. Ramakrishnan and R. Jain
ICCV
2007
IEEE
15 years 18 days ago
Variational Stereo Vision with Sharp Discontinuities and Occlusion Handling
This paper addresses the problem of correspondence establishment in binocular stereo vision. We suggest a novel variational approach that considers both the discontinuities and oc...
Rami Ben-Ari, Nir A. Sochen
ICIP
2008
IEEE
15 years 11 days ago
Low delay streaming of computer graphics
In this paper, we present a graphics streaming system for remote gaming in a local area network. The framework aims at creating a networked game platform for home and hotel enviro...
Peter Eisert, Philipp Fechteler
ICPR
2006
IEEE
14 years 11 months ago
Automatic Acquisition of Context Models and its Application to Video Surveillance
This paper addresses the problem of automatically acquiring context models from data. Context and human behavior are represented using a state model, called situation model. This ...
James L. Crowley, Oliver Brdiczka, Patrick Reignie...