3333 search results - page 10 / 667 » New Invariants for Groups |
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a new approach to appearance-based object recognition, which captures the relationships between multiple model views and exploits them to improve recognition performanc...
ICPR
2002
IEEE
14 years 14 days ago
2002
IEEE
In this paper, we focus on invariant texture segmentation, and propose a new method using circular Gabor filters (CGF) for rotation invariant texture segmentation. The traditional...
DCC
2008
IEEE
14 years 7 months ago
2008
IEEE
A partial difference set having parameters (n2, r(n - 1), n + r2 - 3r, r2 - r) is called a Latin square type partial difference set, while a partial difference set having paramete...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
HYBRID
2004
Springer
14 years 27 days ago
2004
Springer
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...