Sciweavers

6829 search results - page 101 / 1366
» Quantitative Generalizations of Languages
Sort
View
151
Voted
TCS
2002
15 years 4 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
127
Voted
UM
2001
Springer
15 years 9 months ago
A User Modeling Approach to Determining System Initiative in Mixed-Initiative AI Systems
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
Michael W. Fleming, Robin Cohen
ICALP
2010
Springer
15 years 8 months ago
Energy Parity Games
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
Krishnendu Chatterjee, Laurent Doyen
115
Voted
ICALP
2001
Springer
15 years 9 months ago
Rational Transformations of Formal Power Series
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
Manfred Droste, Guo-Qiang Zhang
138
Voted
ICIP
2000
IEEE
16 years 6 months ago
Enhancement of Compressed Video Using Visual Quality Measurements
The enhancement of compressed video is considered. We present a general algorithm for processing the compressed data, with three variants of the algorithm having practical applica...
C. Andrew Segall, Aggelos K. Katsaggelos