2 search results - page 1 / 1 » Weighted Logics for Nested Words and Algebraic Formal Power ... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study neste...
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...