• SVMlight

  • Referenced in 268 articles [sw04076]
  • problems naturally occur in applications like search engines and recommender systems. Futhermore, this version includes ... solution using a form of local search. A detailed description of the algorithm...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial ... variants of the Davis-Putnam (DP) search algorithm. In this paper we describe the development ... performance gains through careful engineering of all aspects of the search - especially a particularly efficient...
  • Gecode

  • Referenced in 83 articles [sw06272]
  • constraints, branching strategies, and search engines. New variable domains can be programmed at the same ... heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking ... today’s commodity hardware for parallel search, giving an already efficient base system an additional...
  • Cmodels

  • Referenced in 72 articles [sw04435]
  • Cmodels uses SAT solvers as a search engine for enumerating models of the logic program...
  • WolframAlpha

  • Referenced in 53 articles [sw13523]
  • computational knowledge engine or answer engine developed by Wolfram Research. It is an online service ... might contain the answer as a search engine might. .. (https://en.wikipedia.org/wiki/Wolfram_Alpha)...
  • Eraser

  • Referenced in 45 articles [sw08922]
  • undergraduate coursework and a multithreaded Web search engine, that demonstrate the effectiveness of this approach...
  • XSEarch

  • Referenced in 28 articles [sw12180]
  • XSEarch: A semantic search engine for XML. XSEarch, a semantic search engine...
  • MathWebSearch

  • Referenced in 20 articles [sw03712]
  • MathWebSearch 0.5: Scaling an Open Formula Search Engine. MathWebSearch is an open-source, open-format ... content-oriented search engine for mathematical formulae. It is a complete system capable of crawling...
  • Lemur

  • Referenced in 16 articles [sw10601]
  • Lemur Project develops search engines, browser toolbars, text analysis tools, and data resources that support ... best known for its Indri search engine, Lemur Toolbar, and ClueWeb09 dataset. Our software ... efficiency. For example, the Indri search engine provides accurate search for large text collections...
  • GeneRank

  • Referenced in 17 articles [sw27064]
  • GeneRank: Using search engine technology for the analysis of microarray experiments. Background: Interpretation of simple ... PageRank algorithm employed by the popular search engine Google – that tries to automate some...
  • SparseMatrix

  • Referenced in 747 articles [sw04629]
  • underlying 2D or 3D geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor ... well as an online search capability. Graph visualization of the matrices is provided...
  • MatrixMarket

  • Referenced in 170 articles [sw04020]
  • engineering disciplines are provided. Tools for browsing through the collection or for searching for matrices...
  • P-FCM

  • Referenced in 16 articles [sw02421]
  • returned information, the work of web search engine is still very hard. There are different ... searching activity, one among these falls in the query phase. Each engine provide an interface ... with the user interaction with the search engine...
  • Kernel-Machines

  • Referenced in 23 articles [sw04754]
  • such lists useful, and partly because search engines do the job much more conveniently...
  • GOOSE

  • Referenced in 12 articles [sw02466]
  • novice search engine user may find searching the Web for information difficult and frustrating because ... goals rather than the topic keywords search engines need. GOOSE (goal-oriented search engine interface ... adaptive search engine interface that uses natural language processing to parse a user�s search ... example, if a user tells the search engine: ”I want to find other people...
  • Whelp

  • Referenced in 15 articles [sw32446]
  • content based mathematical search engine: Whelp. The prototype of a content based search engine...
  • FindStat

  • Referenced in 17 articles [sw13588]
  • maps on combinatorial collections, and a search engine to identify your data as the composition ... statistics. It provides a web interface to search and update the database, and as well...
  • WebSeer

  • Referenced in 10 articles [sw14900]
  • WebSeer: an image search engine for the World Wide Web. Because of the size ... five most visited Web sites were search engines. However, while Web pages typically contain both ... images, all the currently available search engines only index text. This paper describes WebSeer...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • code: basis factorizations, search directions, line-searches, and Newton iterations. The paper contains performance statistics ... range of models from different branches of engineering and economics of up to 4000 equations...