Abstract: The stable path problem (SPP) is a unified model for analyzing the convergence of distributed routing protocols (e.g., BGP), and a foundation for many network verification tools. Although ...

Abstract: Most synthetic aperture radar (SAR) automatic target recognition (ATR) methods can achieve good recognition results only under the closed-set assumption. However, in practical applications, ...

Can you chip in? As an independent nonprofit, the Internet Archive is fighting for universal access to quality information. We build and maintain all our own systems, but we don’t charge for access, ...