78 search results - page 5 / 16 » A Unified Framework for Verification Techniques for Object I... |
ICCV
2009
IEEE
15 years 28 days ago
2009
IEEE
This paper presents a novel method for detecting scale
invariant keypoints. It fills a gap in the set of available
methods, as it proposes a scale-selection mechanism for
juncti...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we provide a principled and unified explanation how knowledge in global 3-D structural invariants, typically captured by a group action on a symmetric structure, ca...
TOOLS
1999
IEEE
14 years 7 days ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...