270 search results - page 16 / 54 » Call Invariants |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
ETRICS
2006
14 years 3 days ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
A new image feature called Harris feature vector is defined in this paper, which effectively describes the image gradient distribution. By computing the mean and the standard devi...
ICIAP
1999
ACM
14 years 21 days ago
1999
ACM
A fully parallel iterative thinning algorithm called MB2 is presented. It favourably competes with the best known algorithms regarding homotopy, mediality; thickness, rotation inv...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Feature histograms based on the evaluation of Haar integrals with nonlinear kernel functions were used successfully for the purpose of invariant content based image retrieval. In ...