
Fuzzydl
 Referenced in 27 articles
[sw11709]
 FuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning...

DeLorean
 Referenced in 15 articles
[sw22920]
 several extensions with fuzzy logic and rough logic, among other formalisms, have been proposed ... first ontology reasoner that supports fuzzy extensions of the standard languages ... fuzzy rough ontology languages into classical ontology languages . This allows using classical (widely available) Description ... Logic inference engines to reason with the representation resulting from the transformation. We describe...

ANSYS
 Referenced in 704 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

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

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

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

Graphviz
 Referenced in 90 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...

ASSAT
 Referenced in 175 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

UCIml
 Referenced in 3435 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

EISPACK
 Referenced in 490 articles
[sw04208]
 EISPACK is a collection of Fortran subroutines that...

LINPACK
 Referenced in 525 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...

SPSS
 Referenced in 676 articles
[sw04269]
 SPSS is a computer program used for survey...

Cmodels
 Referenced in 72 articles
[sw04435]
 Cmodels is a system that computes answer sets...

KernSmooth
 Referenced in 1008 articles
[sw04586]
 Kernel smoothing refers to a general methodology for...

YALMIP
 Referenced in 1057 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...

Genocop
 Referenced in 1103 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

LIBSVM
 Referenced in 1200 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

Chaff
 Referenced in 591 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...