Results 1 - 10 of 3,452

Table 1: Semigroups satisfying x

in Semigroups Satisfying x m+n = x n
by Nachum Dershowitz
"... In PAGE 2: ... 3. Is the congruence #18 m;n on A #03 decidable? In other words: Is the free word #28iden- tity#29 problem for the variety de#0Cned by #28associativityand#29x m+n = x n recursively solvable? The top-left case #28m =1,n =0#29of Table1 is a trivial algebra. Thenextcaseof the top row#28m; n = 1#29, the #28free#29 idempotent semigroups, are called #28free#29 bands.... In PAGE 3: ... Green and Rees #5B 1952 #5D proved that x m = 1 is #0Cnite if and only if the semigroup x m+1 = x is. So columns 1 and 2 of Table1 haveidentical #0Cniteness properties. In particular, bands #28xx = x#29 are #0Cnite.... ..."

Table 1. Sizes of some investigated semigroups.

in On deterministic finite automata and syntactic monoid size
by Markus Holzer, Barbara König 2003
Cited by 3

Table 2. Multiplicative table of the semigroup M4.

in On universality of semigroup varieties
by Maria Demlova, et al.

Table 1: Examples of intermediate free semigroups and bases of identities for V

in On the Decidability of Iterated Semidirect Products With Applications to Complexity
by Jorge Almeida, Benjamin Steinberg

TABLE 36.2.2 Upper bounds known on orthogonal semigroup range searching.

in RANGE SEARCHING
by Pankaj K. Agarwal

Table 3. Regularity priorities.

in Numerical methods for beautification of reverse engineered geometric models
by F. C. Langbein, A. D. Marshall, R. R. Martin 2002
"... In PAGE 3: ... The hierarchies are truncated by detecting a large jump in the tolerance values between the clusters. The regularities with the priorities (see Section 3) are listed in Table3 . Each regularity is described by a constraint set.... In PAGE 5: ... For planar symmetrically arranged directions, we put the main empha- sis on the number of occupied positions and faces arranged in a loop as computed by wra(r) and wa(F; 1), but also consider the special angle value for the planar arrangement and the geometric types involved. Table3 lists the constants for wc and wb, and the way wq is computed for the regularity types. wq, wc and wb were derived from a part survey estimating the frequency of regularities in simple mechanical components [15].... ..."
Cited by 3

Table 1. Regular algebras

in Calculating A Path Algorithm
by Roland C. Backhouse, A. J. M. Van Gasteren 1994
Cited by 7

Table 5 Comparison of regularization

in
by Regularization Tsvd, Tsvd Tikhonov

TABLE 4. Regularity of the conjugacies.

in Regularity of Conjugacies Between Critical Circle Maps: An Experimental Study
by Rafael De La Llave, Nikola P. Petrov

Table 6.3: Complexities of the relative halfbox quadtree for different range shapes. Simplex results work in the group version for general simplices and in the semigroup version for fat simplices. The preprocessing time is equal to the storage space with an additive term of O(n log n).

in Approximate Range Searching In The Absolute Error Model
by Guilherme Dias da Fonseca
Results 1 - 10 of 3,452