1668 search results - page 222 / 334 » Semantic search |
171
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
207
click to vote
OWLED
2008
15 years 7 months ago
2008
Abstract. Web portal software is relatively easy to set up and populate from the perspective of the end-user, but it leaves the back-end database devoid of subject domain semantics...
195
click to vote
MIR
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we propose a semantic-meaningful approach for region-based image retrieval in image database. Our retrieval system is based on wavelet transform for its decompositi...
162
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
In contrast to traditional document retrieval, a web page as a whole is not a good information unit to search because it often contains multiple topics and a lot of irrelevant inf...
205
click to vote
SEMCO
2007
IEEE
16 years 22 days ago
2007
IEEE
With the success of blogs as popular information sharing media, searches on blogs have become popular. In the blogosphere, tagging is used as a means of annotating blog entries wi...