122 search results - page 4 / 25 » Weighted automata with discounting |
153
click to vote
FORMATS
2009
Springer
16 years 17 days ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
179
click to vote
ICALP
2005
Springer
15 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...
133
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
158
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
The nDCG measure has proven to be a popular measure of retrieval effectiveness utilizing graded relevance judgments. However, a number of different instantiations of nDCG exist, d...
224
click to vote
MST
2011
15 years 28 days ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...