
TrajDataMining
 Referenced in 1 article
[sw27370]
 preparation, such as filtering, compressing and clustering, and for trajectory pattern discovery...

Tigramite
 Referenced in 2 articles
[sw19594]
 valued time series based on a causal discovery algorithm, quantify interaction strengths with different measures ... high/lowpass filters, masking of samples (e.g. winter months only), timebinning, ordinal pattern analysis...

LatViz
 Referenced in 2 articles
[sw31670]
 challenges regarding exploration, interaction, analysis and discovery have surfaced. One of the basic building blocks ... with expert, visualization of Pattern Structures, AOC posets, concept annotations, filtering concept lattice based...

HybridILPMiner
 Referenced in 2 articles
[sw25956]
 discovery techniques, do allow for discovering such patterns. However, applying region theory directly results ... provided by stateoftheart process discovery algorithms, both w.r.t. structural and behavioural properties ... paper we present an ILPbased process discovery approach, based on region theory, that guarantees ... sound workflow nets. Moreover, we devise a filtering algorithm, based on the internal working...

DSProlog
 Referenced in 0 articles
[sw19636]
 knowledge discovery support environment (KDSE) for knowledge discovery in PCMdata. Also ... subsymbolic and symbolic classifier systems for deterministic patterns in PCMsignals (e.g. in audiosignals ... events in PCMsignals, integrated project management, filtering, visualization, browsing and sonification of PCMdata...

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

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

NAG
 Referenced in 421 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 597 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Octave
 Referenced in 303 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

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

SageMath
 Referenced in 1856 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1471 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...