3167 search results - page 308 / 634 » Blog search engines |
166
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the rapidly increasing availability of audio files on the Web, it is relevant to augment search engines with advanced audio search functionality. In this context, the rank...
159
click to vote
JCDL
2004
ACM
16 years 5 days ago
2004
ACM
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programatical access to all the specific functionalities off...
199
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Mind maps are used by millions of people. In this paper we present how information retrieval on mind maps could be used to enhance expert search, document summarization, keyword...
198
Voted
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
144
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...