57 search results - page 2 / 12 » Exploiting Symmetry in Protocol Testing |
IPCO
2007
13 years 6 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...
INFOCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
—In this paper, we propose a novel transport protocol that effectively utilizes available bandwidth and diversity gains provided by heterogeneous, highly lossy paths. Our Multi-P...
TON
2012
11 years 7 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
BMVC
1998
13 years 6 months ago
1998
This paper describes how corner detection can be realised using a new feature representation that has recently been successfully exploited for edge and symmetry detection. The fea...
CVPR
2010
IEEE
13 years 9 months ago
2010
IEEE
In this paper, we present an appearance-based method for person re-identification. It consists in the extraction of features that model three complementary aspects of the human ap...