• 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), time-binning, 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 state-of-the-art process discovery algorithms, both w.r.t. structural and behavioural properties ... paper we present an ILP-based 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 PCM-data. Also ... subsymbolic and symbolic classifier systems for deterministic patterns in PCM-signals (e.g. in audio-signals ... events in PCM-signals, integrated project management, filtering, visualization, browsing and sonification of PCM-data...
  • 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 high-level 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]
  • graph-theoretic program NAUTY: nauty is a program...
  • Octave

  • Referenced in 303 articles [sw00646]
  • GNU Octave is a high-level 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, open-source 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 object-oriented, dynamically typed, reflective...