• ConQuR-Bio

  • Referenced in 2 articles [sw34354]
  • ConQuR-Bio: Consensus Ranking with Query Reformulation for Biological Data. This paper introduces ConQuR ... query public biological databases. Various reformulations of the user query are generated using medical terminologies ... Such alternative reformulations are then used to rank the query results using a new consensus ... ranking techniques within the context of query reformulation. The ConQuR-Bio system is able...
  • SMERA

  • Referenced in 1 article [sw40820]
  • semantic mixed approach for web query expansion and reformulation. Matching users’ information needs and relevant ... same terms as the ones in users’ queries. In this paper, we use semantics ... propose a Semantic Mixed query Expansion and Reformulation Approach (SMERA) that uses these two types ... named entities, and the reformulation of the query in a user-friendly way. We evaluate...
  • MatLM

  • Referenced in 1 article [sw28483]
  • probability that they generate the query. However, the implementation of the probabilistic representations with programming ... this paper, we utilize matrix representations to reformulate the probabilistic language models. The matrix representation...
  • NetAlign

  • Referenced in 1 article [sw34158]
  • protein interaction networks (PINs). NetAlign compares a query PIN with a target PIN by combining ... species-to-species differences in CoNSs, we reformulate the problems of protein–protein interaction...
  • OREX-J

  • Referenced in 1 article [sw07410]
  • using comparatively simple Structured Query Language (SQL) queries. Also, OREX-J simplifies the comparison ... experiments in three different areas: Algorithms and reformulations for mixed-integer programming models for dynamic...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Meschach

  • Referenced in 82 articles [sw01112]
  • Meschach: Matrix computations in C. Meschach is a...
  • WordNet

  • Referenced in 402 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • TANE

  • Referenced in 39 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • BRITE: A Flexible Generator of Internet Topologies. Abstract...
  • CUDA

  • Referenced in 1288 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • CHIP

  • Referenced in 82 articles [sw03450]
  • Solving a cutting-stock problem with the constraint...
  • UCI-ml

  • Referenced in 3266 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • SVMlight

  • Referenced in 263 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...
  • Qhull

  • Referenced in 312 articles [sw04419]
  • The convex hull of a point set P...
  • LINDO

  • Referenced in 548 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • CVX

  • Referenced in 794 articles [sw04594]
  • CVX is a modeling system for constructing and...