1699 search results - page 281 / 340 » On the Expressive Power of QLTL |
159
click to vote
AIML
2006
15 years 7 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
152
click to vote
DLT
2006
15 years 7 months ago
2006
By weakly ambiguous (finite) transducers we mean those transducers that, although being ambiguous, may be viewed to be at arm's length from unambiguity. We define input-unambi...
147
click to vote
IMAGING
2004
15 years 7 months ago
2004
Amplitude for color mixing is different from other amplitudes such as loudness. Color amplitude must refer to a light's ability to look different from other lights, to expres...
165
click to vote
ISSA
2004
15 years 7 months ago
2004
The World Wide Web (WWW) is fast becoming the central location for goods, services and information. The very factors that make the Internet such a powerful medium combine to make ...
163
click to vote
IJCAI
2001
15 years 7 months ago
2001
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...