• PathLog

  • Referenced in 4 articles [sw01607]
  • query language for schemaless databases of partially labeled objects. We deal with the problem ... querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects ... semistructured data. The proposed PLO (Partially Labeled Objects) data model originates from the OEM data ... consistent model of schemaless databases of partially labeled objects and its query language PathLog...
  • 3DMatch

  • Referenced in 3 articles [sw32561]
  • volumetric patch descriptor for establishing correspondences between partial 3D data. To amass training data ... method that leverages the millions of correspondence labels found in existing RGB-D reconstructions. Experiments ... tasks and spatial scales (e.g. instance-level object model alignment for the Amazon Picking Challenge...
  • Coq

  • Referenced in 1753 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2707 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

  • Referenced in 265 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1590 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1579 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2720 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4933 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 234 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

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

  • Referenced in 276 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

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

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

  • Referenced in 812 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

  • Referenced in 426 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • GRASP

  • Referenced in 127 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...