We develop new computational algorithms, based on the method of equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudo-groups of differential...
In this paper we develop a systematic theory about local structure of moving images in terms of Galilean differential invariants. We argue that Galilean invariants are useful for s...
This paper presents invariants under gamma correction and similarity transformations. The invariants are local features based on differentials which are implemented using derivati...
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...