9626 search results - page 21 / 1926 » Invariant Based Programming |
SPLST
2003
13 years 11 months ago
2003
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
SCIA
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we propose Local Binary Pattern Histogram Fourier features (LBP-HF), a novel rotation invariant image descriptor computed from discrete Fourier transforms of local b...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...