Sciweavers

3052 search results - page 330 / 611
» A community-aware search engine
Sort
View
JCDL
2004
ACM
121views Education» more  JCDL 2004»
16 years 9 days ago
Enabling interoperability for autonomous digital libraries: an API to citeseer services
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...
Yves Petinot, C. Lee Giles, Vivek Bhatnagar, Prade...
COLCOM
2009
IEEE
15 years 11 months ago
Information retrieval on mind maps - what could it be good for?
—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...
Jöran Beel, Bela Gipp, Jan-Olaf Stiller
TPHOL
2000
IEEE
15 years 11 months ago
Fast Tactic-Based Theorem Proving
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...
Jason Hickey, Aleksey Nogin
APWEB
2009
Springer
15 years 11 months ago
Ontology Evaluation through Text Classification
We present a new method to evaluate a search ontology, which relies on mapping ontology instances to textual documents. On the basis of this mapping, we evaluate the adequacy of on...
Yael Dahan Netzer, David Gabay, Meni Adler, Yoav G...
EDBT
2009
ACM
134views Database» more  EDBT 2009»
15 years 10 months ago
Caching content-based queries for robust and efficient image retrieval
In order to become an effective complement to traditional Web-scale text-based image retrieval solutions, content-based image retrieval must address scalability and efficiency iss...
Fabrizio Falchi, Claudio Lucchese, Salvatore Orlan...