1668 search results - page 131 / 334 » Semantic search |
121
click to vote
CSL
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
146
Voted
SAT
2009
Springer
15 years 11 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
131
click to vote
SBBD
2007
15 years 6 months ago
2007
We consider the network structure and query processing capabilities of social communities like bookmarks and photo sharing communities such as del.icio.us or flickr. A common fea...
159
Voted
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...
164
click to vote
HT
1996
ACM
15 years 8 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...