1190 search results - page 121 / 238 » The Continuing Quest for Abstraction |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
COLOGNETWENTE
2009
13 years 10 months ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
GMP
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract. This paper considers the problem of computing an interpolating skin of a ordered set of discrete 2D balls. By construction, the skin is constrained to be C1 continuous, a...
SIGCOMM
2010
ACM
13 years 9 months ago
2010
ACM
Abstract--Vehicular WiFi access is distinct in two respects, (i) continuous mobility of clients and (ii) possibility of predictable link quality. As part of this study, we aim to c...
DAGM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a method for tracking people in monocular broadcast sports videos by coupling a particle filter with a vote-based confidence map of athletes, appearance featur...