3333 search results - page 81 / 667 » New Invariants for Groups |
JSW
2007
13 years 8 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
ICPR
2002
IEEE
14 years 1 months ago
2002
IEEE
When dealing with pattern recognition problems one encounters different types of a-priori knowledge. It is important to incorporate such knowledge into the classification method ...
ECCV
2006
Springer
14 years 18 days ago
2006
Springer
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
SIAMCO
2008
13 years 8 months ago
2008
Given a control-affine system and a controlled invariant submanifold, we present necessary and sufficient conditions for local feedback equivalence to a system whose dynamics tran...
TCS
2008
13 years 8 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...