510 search results - page 54 / 102 » An Algebraic Framework for Urgency |
187
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
205
click to vote
DEXA
2011
Springer
14 years 6 months ago
2011
Springer
In this article we present RoSeS (Really Open Simple and Efficient Syndication), a generic framework for content-based RSS feed querying and aggregation. RoSeS is based on a data-...
177
click to vote
TKDE
2012
13 years 8 months ago
2012
—Computing interesting measures for data cubes and subsequent mining of interesting cube groups over massive datasets are critical for many important analyses done in the real wo...
178
click to vote
ISCI
2008
15 years 6 months ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...
198
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Developing a full-fledged cost-based XQuery optimizer is a fairly complex task. Nowadays, there is little knowledge concerning suitable cost formulae and optimization ...