
GaitPart
 Referenced in 1 article
[sw42735]
 been verified being beneficial to individual recognition. Taken above insights together, we assume that each ... human body needs its own spatiotemporal expression. Then, we propose a novel partbased...

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

mclust
 Referenced in 315 articles
[sw00563]
 R package mclust: Normal Mixture Modeling for Model...

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

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

AutoCAD
 Referenced in 40 articles
[sw01741]
 Formen und gestalten Sie die Welt, die Sie...

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

SPLUS
 Referenced in 630 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

NEURON
 Referenced in 189 articles
[sw03059]
 Parallel network simulations with NEURON. The NEURON simulation...

ANTLR
 Referenced in 67 articles
[sw03062]
 ANTLR (ANother Tool for Language Recognition) is a...

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

Silhouettes
 Referenced in 215 articles
[sw03705]
 Silhouettes: a graphical aid to the interpretation and...

SeDuMi
 Referenced in 1284 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...