3333 search results - page 11 / 667 » New Invariants for Groups |
CAV
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
ICIAP
2005
ACM
14 years 7 months ago
2005
ACM
This paper introduces a new efficient way for computing affine invariant features from gray-scale images. The method is based on a novel image transform which produces infinitely m...
ICIAP
1999
ACM
13 years 11 months ago
1999
ACM
This paper presents a general strategy for designing efficient visual operators. The approach is highly task oriented and what constitutes the relevant information is defined by...
ADCM
2007
13 years 7 months ago
2007
We describe a new method for constructing a sequence of refined polygons, which starts with a sequence of points and associated normals. The newly generated points are sampled fr...
CADE
2008
Springer
13 years 9 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...