9626 search results - page 56 / 1926 » Invariant Based Programming |
170
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
123
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
Example-based learning of codes that statistically encode general image classes is of vital importance for computational vision. Recently, non-negative matrix factorization (NMF) ...
126
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
122
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
147
click to vote
ICCV
1998
IEEE
16 years 6 months ago
1998
IEEE
`Invariant regions' are image patches that automatically deform with changing viewpoint as to keep on covering identical physical parts of a scene. Such regions are then desc...