
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 (PLODB). 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 RGBD reconstructions. Experiments ... tasks and spatial scales (e.g. instancelevel 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 highlevel language and interactive...

MiniSat
 Referenced in 522 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 276 articles
[sw00646]
 GNU Octave is a highlevel 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, opensource 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...