8486 search results - page 1577 / 1698 » Ordered Enumeration Method |
145
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
132
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Dividing web pages into fragments has been shown to provide significant benefits for both content generation and caching. In order for a web site to use fragment-based content gen...
134
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Analysis of web site usage data involves two significant challenges: firstly the volume of data, arising from the growth of the web, and secondly, the structural complexity of web...
155
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...
253
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...