9626 search results - page 25 / 1926 » Invariant Based Programming |
IPCV
2008
13 years 11 months ago
2008
Most of the existing image retrieval systems take the textual query from the user and utilize the metadata associated with the database images to retrieve the result. However, the...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
ECOOP
2004
Springer
14 years 3 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...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we present two novel methods for the fast computation of local rotation invariant patch descriptors for 3D vectorial data. Patch based algorithms have recently becom...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...