185 search results - page 9 / 37 » Invariants, Modularity, and Rights |
ECOOP
2008
Springer
13 years 8 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
APPML
2010
13 years 7 months ago
2010
Let Sn denote the symmetric group on {1, . . . , n} and Sn-1 the stabilizer subgroup of n. We derive algorithms for computing Fourier transforms of left and right Sn-1-invariant s...
AUTOMATICA
2005
13 years 7 months ago
2005
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
SSIAI
2000
IEEE
14 years 1 days ago
2000
IEEE
Moment invariants are invariant under shifting, scaling and rotation. They are widely used in pattern recognition because of their discrimination power and robustness. HMM method ...
IJON
2007
13 years 7 months ago
2007
In this letter, a novel modular neural network (MNN) classifier, which partitions a K-class problem into many much easier two-class problems in sub-subspaces, was proposed to per...