19 search results - page 2 / 4 » jacm 2007 |
JACM
2007
13 years 5 months ago
2007
JACM
2007
13 years 5 months ago
2007
The relationship between the length of a word and the maximum length of its unbordered factors is investigated in this paper. Consider a finite word w of length n. We call a word...
JACM
2007
13 years 5 months ago
2007
We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where e...
JACM
2007
13 years 5 months ago
2007
We solve an open question of Milner [1984]. We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of reg...
JACM
2007
13 years 5 months ago
2007
We consider the problem of finding a shortest cycle (freely) homotopic to a given simple cycle on a compact, orientable surface. For this purpose, we use a pants decomposition of...