1008 search results - page 4 / 202 » Canonicity! |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
APAL
2010
13 years 10 months ago
2010
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
CAIP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
We consider the isomorphism and canonization problem for 3-connected planar graphs. The problem was known to be L -hard and in UL ∩ coUL [TW08]. In this paper, we give a determin...