Sciweavers

433 search results - page 9 / 87
» On stabilizers of infinite words
Sort
View
93
Voted
ITA
2002
15 years 10 days ago
Density of Critical Factorizations
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
Tero Harju, Dirk Nowotka
109
Voted
IPL
2002
117views more  IPL 2002»
15 years 10 days ago
Complexity of weak acceptance conditions in tree automata
Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong c...
Jakub Neumann, Andrzej Szepietowski, Igor Walukiew...
93
Voted
FOSSACS
2009
Springer
15 years 4 months ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
80
Voted
COLING
1996
15 years 2 months ago
Arguments desperately seeking Interpretation: Parsing German Infinitives
In this paper we present a GB-parsing system for German and in particular the system's strategy for argument interpretation, which copes with the difficulty that word order i...
Christopher Laenzlinger, Martin S. Ulmann, Eric We...
CHINAF
2008
82views more  CHINAF 2008»
15 years 23 days ago
Input-to-state stability of switched nonlinear systems
: The input-to-state stability (ISS) problem is studied for switched systems with infinite subsystems. By the method of multiple Lyapunov function, a sufficient ISS condition is gi...
Wei Feng, Jifeng Zhang