
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 highlevel 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...

APS1
 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, generalpurpose 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...

CMAES
 Referenced in 109 articles
[sw05063]
 CMAES 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 conflictdriven answer set solver. clasp...

Automath
 Referenced in 406 articles
[sw07127]
 Automath is a language designed by N.G. the...

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...