119 search results - page 2 / 24 » Invariants for Non-Hierarchical Object Structures |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
ECOOP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
IWVF
2001
Springer
13 years 10 months ago
2001
Springer
In this paper we propose a series of novel morphological operators that are anisotropic, and adapt themselves to the local orientation in the image. This new morphology is therefor...
ISSRE
2010
IEEE
13 years 4 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
CVPR
2008
IEEE
14 years 7 days ago
2008
IEEE
Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used. To increas...