1668 search results - page 173 / 334 » Semantic search |
178
click to vote
MTV
2006
IEEE
16 years 13 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
186
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
240
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—As Cloud Computing becomes prevalent, more and more sensitive information are being centralized into the cloud. For the protection of data privacy, sensitive data usually have t...
143
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
151
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we define and study a novel search problem: Comparative Web Search (CWS). The task of CWS is to seek relevant and comparative information from the Web to help users...