19 search results - page 2 / 4 » jacm 2007 |
JACM
2007
15 years 11 days ago
2007
106
click to vote
JACM
2007
15 years 11 days 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...
71
Voted
JACM
2007
15 years 11 days 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...
83
Voted
JACM
2007
15 years 11 days 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...
103
click to vote
JACM
2007
15 years 11 days 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...