2312 search results - page 54 / 463 » Invariance in Property Testing |
FAC
2008
13 years 10 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...
ICFEM
2010
Springer
13 years 8 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 ...
CCIW
2009
Springer
14 years 4 months ago
2009
Springer
Colour image representation using real quaternions has shown to be very useful for linear and morphological colour filtering. This paper deals with the extension of first derivat...
JSC
2006
13 years 10 months ago
2006
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
FTCGV
2007
13 years 10 months ago
2007
In this survey, we give an overview of invariant interest point detectors, how they evolved over time, how they work, and what their respective strengths and weaknesses are. We be...