2273 search results - page 173 / 455 » On the Expressiveness and Complexity of ATL |
213
click to vote
TCOS
2008
15 years 6 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
191
click to vote
CN
1999
15 years 6 months ago
1999
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
146
click to vote
PVLDB
2010
15 years 4 months ago
2010
Virtual views are a mechanism that facilitates re-use and makes queries easier to express. However the use of iterative view definitions makes very simple query evaluation and an...
169
click to vote
EMNLP
2010
15 years 4 months ago
2010
In many applications, replacing a complex word form by its stem can reduce sparsity, revealing connections in the data that would not otherwise be apparent. In this paper, we focu...
175
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...