42 search results - page 1 / 9 » Weighted Timed MSO Logics |
71
Voted
DLT
2009
14 years 9 months ago
2009
We aim to generalize B
101
click to vote
DLT
2009
14 years 9 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
132
click to vote
MST
2011
14 years 6 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
105
click to vote
PLANX
2007
15 years 1 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
109
click to vote
ICALP
2005
Springer
15 years 5 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...