53 search results - page 4 / 11 » stacs 2009 |
STACS
2009
Springer
15 years 6 months ago
2009
Springer
STACS
2009
Springer
15 years 6 months ago
2009
Springer
STACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
STACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We consider the problem of representing, in a compressed format, a bitvector S of m bits with n 1s, supporting the following operations, where b ∈ {0, 1}:
STACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...