7167 search results - page 24 / 1434 » A Technique for Invariant Generation |
116
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
CVIU
1999
15 years 1 months ago
1999
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for comput...
108
click to vote
PR
2007
15 years 1 months ago
2007
Many algorithms suppress skeleton associated with boundary perturbation by preventing their formation or by costly branch pruning. This work proposes a novel concept of structural...
TAP
2009
Springer
15 years 8 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
118
click to vote
IBPRIA
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a technique to enable deformable regions to be matched using image databases based on the information provided by the differential invariants of local histogram...