3333 search results - page 75 / 667 » New Invariants for Groups |
ECCV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...
JUCS
2007
13 years 8 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
ASE
2002
13 years 8 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we propose a new nonparametric approach to identification of linear time invariant systems using subspace methods. The nonparametric paradigm to prediction of station...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...