2842 search results - page 11 / 569 » Expansion and Search in Networks |
92
Voted
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
In this poster, we describe the study of an interface technique that provides a list of suggested additional query terms as a searcher types a search query, in effect offering int...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
78
Voted
DMTCS
2010
14 years 6 months ago
2010
Abstract. For 3 different versions of q-tangent resp. q-cotangent functions, we compute the continued fraction expansion explicitly, by guessing the relative quantities and proving...
99
Voted
JCDL
2010
ACM
15 years 2 months ago
2010
ACM
Query expansion of named entities can be employed in order to increase the retrieval effectiveness. A peculiarity of named entities compared to other vocabulary terms is that they...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...