2312 search results - page 225 / 463 » Invariance in Property Testing |
154
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
199
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
162
click to vote
ICIAP
1995
ACM
15 years 9 months ago
1995
ACM
—Effective image retrieval by content from database requires that visual image properties are used instead of textual labels to properly index and recover pictorial data. Retriev...
171
Voted
3DOR
2008
15 years 8 months ago
2008
Shape deformations preserving the intrinsic properties of a surface are called isometries. An isometry deforms a surface without tearing or stretching it, and preserves geodesic d...
168
click to vote
SGP
2004
15 years 8 months ago
2004
Surface editing operations commonly require geometric details of the surface to be preserved as much as possible. We argue that geometric detail is an intrinsic property of a surf...