1699 search results - page 203 / 340 » On the Expressive Power of QLTL |
157
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a peripheral device that supports communication especially in terms of expressive power in mobile environments. As people can speak and hear while doing some...
175
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
162
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
165
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
190
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
XML is becoming one of the most influential standards concerning data exchange and Web-presentations. In this paper we present a visual language for querying and transforming XML...