1669 search results - page 253 / 334 » Distributed Search in the Semantic Web |
125
click to vote
JUCS
2006
15 years 3 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
133
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
With the explosive growth of digital cameras and online media, it has become crucial to design efficient methods that help users browse and search large image collections. The rec...
131
Voted
RR
2007
Springer
15 years 10 months ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
141
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
135
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
The Semantic Web is gaining immense popularity-and with it, the Resource Description Framework (RDF) broadly used to model Semantic Web content. However, access control on RDF sto...