2312 search results - page 184 / 463 » Invariance in Property Testing |
131
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— We focus on efficient protocols that enhance a network with topology awareness. We discuss centralized algorithms with provable performance, and introduce decentralized asynch...
159
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
152
Voted
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Given a set S of line segments in the plane, we introduce a new family of partitions of the convex hull of S called segment triangulations of S. The set of faces of such a triangul...
141
Voted
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we investigate a family of partial di erential equations (PDEs) for image processing which can be regarded as isotropic nonlinear di usion with an additiona...
125
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...