Sciweavers

5074 search results - page 747 / 1015
» Personalization for the Semantic Web
Sort
View
AIM
2005
15 years 6 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil
CN
1999
115views more  CN 1999»
15 years 6 months ago
XML-GL: A Graphical Language for Querying and Restructuring XML Documents
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,...
Stefano Ceri, Sara Comai, Ernesto Damiani, Piero F...
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
DEXA
2009
Springer
175views Database» more  DEXA 2009»
16 years 1 months ago
RoK: Roll-Up with the K-Means Clustering Method for Recommending OLAP Queries
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
Fadila Bentayeb, Cécile Favre
WWW
2010
ACM
16 years 1 months ago
Distributing private data in challenged network environments
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
Azarias Reda, Brian D. Noble, Yidnekachew Haile