• RFSA

  • Referenced in 15 articles [sw03315]
  • regular languages. Most approaches in grammatical inference rely on this notion. Classical algorithms such...
  • IgTM

  • Referenced in 1 article [sw35357]
  • functions. In our work we used Grammatical Inference (GI) to localize transmembrane segments...
  • CatLog3

  • Referenced in 3 articles [sw29641]
  • reduced to logic: an expression is grammatical if and only if an associated logical statement ... this paper we review the rules of inference for these primitive connectives and their linguistic...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • SOLAR

  • Referenced in 19 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first...
  • APS-1

  • Referenced in 32 articles [sw01210]
  • Implementation of the Nielsen algorithm in the algebraic...
  • TopLog

  • Referenced in 9 articles [sw02010]
  • TopLog: ILP using a logic program declarative bias...
  • CIXL2

  • Referenced in 19 articles [sw03302]
  • CIXL2: a crossover operator for evolutionary algorithms based...
  • Haskell

  • Referenced in 853 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Simulink

  • Referenced in 766 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Mizar

  • Referenced in 470 articles [sw04704]
  • The Mizar System is the only implementation of...
  • Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • CMA-ES

  • Referenced in 109 articles [sw05063]
  • CMA-ES stands for Covariance Matrix Adaptation Evolution...
  • PicoSAT

  • Referenced in 80 articles [sw07092]
  • PicoSAT essentials. We describe and evaluate optimized compact...
  • clasp

  • Referenced in 92 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • Sat4j

  • Referenced in 75 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • HTK

  • Referenced in 15 articles [sw07937]
  • The Hidden Markov Model Toolkit (HTK) is a...