7215 search results - page 215 / 1443 » Semantic search on the Web |
162
click to vote
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
190
click to vote
DGO
2007
15 years 8 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
156
click to vote
JUCS
2006
15 years 6 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 ...
132
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
As a result of the anonymity in todays Web search, it is not possible to receive a personalized search result. Neither prior search results nor search results from other users are ...
186
Voted
WWW
2010
ACM
16 years 1 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...