Sciweavers

6829 search results - page 1 / 1366
» Quantitative Generalizations of Languages
Sort
View
59
Voted
DLT
2007
14 years 11 months ago
Quantitative Generalizations of Languages
Thomas A. Henzinger
CSL
2008
Springer
14 years 12 months ago
Quantitative Languages
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
115
Voted
LICS
2009
IEEE
15 years 4 months ago
Expressiveness and Closure Properties for Quantitative Languages
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
CONCUR
2010
Springer
14 years 11 months ago
Mean-Payoff Automaton Expressions
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
Krishnendu Chatterjee, Laurent Doyen, Herbert Edel...
92
Voted
IANDC
2011
119views more  IANDC 2011»
14 years 5 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...