7988 search results - page 1491 / 1598 » A Useful Undecidable Theory |
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Conventionally, Web pages have been recognized as documents described by HTML. Image data, such as photographs, logos, maps, illustrations, and decorated text, have been treated a...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
Peer-to-peer file-sharing networks are currently receiving much attention as a means of sharing and distributing information. However, as recent experience shows, the anonymous, o...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...