• Graphs

  • Referenced in 104 articles [sw12277]
  • consider the point-to-point (approximate) shortest-path query problem, which is the following generalization ... shortest-path or distance queries, which should be answered as fast as possible...
  • ProPolyne

  • Referenced in 1 article [sw01782]
  • result is a data-independent approximate query answering technique which uses data structures that ... results show that this approach of approximating queries rather than compressing data produces consistent...
  • BATON

  • Referenced in 23 articles [sw09436]
  • that the load at each node is approximately equal. In spite of the tree structure ... guarantee that both exact queries and range queries can be answered...
  • TrOWL

  • Referenced in 6 articles [sw12480]
  • reason over these ontologies and to answer queries over them, but there are no large ... scale infrastructures for storing, reasoning, and querying ontologies on a scale that would be useful ... querying OWL2 ontologies which uses novel techniques such as Quality Guaranteed Approximations and Forgetting...
  • MiniSat

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

  • Referenced in 275 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1598 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • CP-nets

  • Referenced in 133 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • PicoDBMS

  • Referenced in 11 articles [sw01550]
  • PicoDBMS: Scaling down database techniques for the smartcard...
  • WordNet

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

  • Referenced in 234 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • BRITE

  • Referenced in 32 articles [sw03098]
  • BRITE: A Flexible Generator of Internet Topologies. Abstract...
  • UCI-ml

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

  • Referenced in 374 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Smodels

  • Referenced in 238 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • LIBSVM

  • Referenced in 1085 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • SCOTT

  • Referenced in 26 articles [sw06717]
  • SCOTT: Semantically Constrained Otter. The SCOTT project dates...
  • Chaff

  • Referenced in 564 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • BerkMin

  • Referenced in 159 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...