
GAssist
 Referenced in 7 articles
[sw08533]
 mechanisms to tackle data mining problems: A windowing system Incremental Learning with Alternative Strata (ILAS...

SPAMS
 Referenced in 1 article
[sw02840]
 SPAMS: A novel incremental approach for sequential pattern mining in data streams Mining sequential patterns...

TMG
 Referenced in 9 articles
[sw04180]
 wide range of computational kernels in data mining and information retrieval from text collections involve ... tdms from text collections and for the incremental modification of these tdms by means...

Naiad
 Referenced in 4 articles
[sw32529]
 ability to perform iterative and incremental computations. Although existing systems offer some of these features ... erative machine learning, and interactive graph mining. Naiad outperforms specialized systems in their target...

dbminer
 Referenced in 1 article
[sw18080]
 dbminer is a tool for the mining of Petri nets from a behavior described ... theory of (generalized) regions. More specifically, it incrementally builds a basis of regions...

PFHC
 Referenced in 1 article
[sw02811]
 effort on clustering as a primary data mining method for knowledge discovery, but only ... found to be able to process incremental data as well in this work...

Apron
 Referenced in 67 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

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

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

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

KNITRO
 Referenced in 182 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LAPACK
 Referenced in 1654 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

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

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

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

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

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

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