2414 search results - page 67 / 483 » Computing Normal Subgroups |
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose in this paper a definition of the normal law on the space of strings. This definition allows generations of sets of strings that have controled statistical features. Mo...
TLCA
1993
Springer
13 years 11 months ago
1993
Springer
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
In this paper we introduce a new approach for recovering shape-from-shading (SFS) from synthetic aperture radar (SAR) images of the terrain. Three contributions are proposed. Firs...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Algebraic torus-based cryptosystems are an alternative for Public-Key Cryptography (PKC). It maintains the security of a larger group while the actual computations are performed i...
TAMC
2007
Springer
14 years 1 months ago
2007
Springer
A word w is called synchronizing (recurrent, reset, directable) word of deterministic finite automaton (DFA) if w brings all states of the automaton to an unique state. ˇCerny co...