
RIONA
 Referenced in 9 articles
[sw30227]
 rule induction and instancebased learning. The article describes a method combining two widelyused ... learning from examples: rule induction and instancebased learning. In our algorithm (RIONA) decision...

ADAPT
 Referenced in 1 article
[sw39360]
 instancebased with the implementation of reweighting techniques and (iii) parameterbased proposing methods...

OTTER
 Referenced in 316 articles
[sw02904]
 Our current automated deduction system Otter is designed...

VAMPIRE
 Referenced in 241 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

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

SPASS
 Referenced in 179 articles
[sw04108]
 SPASS is an automated theorem prover for first...

TPTP
 Referenced in 383 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Darwin
 Referenced in 26 articles
[sw04175]
 Darwin is an automated theorem prover for first...

Metis_
 Referenced in 56 articles
[sw04439]
 Metis is an automatic theorem prover for first...

kknn
 Referenced in 15 articles
[sw04563]
 R package kknn: Weighted kNearest Neighbors , Weighted...

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

JStatCom
 Referenced in 94 articles
[sw04873]
 JStatCom is a software framework that makes it...

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

SATCHMO
 Referenced in 96 articles
[sw06619]
 SATCHMO: a theorem prover implemented in Prolog. The...

DCTP
 Referenced in 21 articles
[sw06621]
 DCTP  A Disconnection Calculus Theorem Prover. DCTP is...

EDarvin
 Referenced in 20 articles
[sw06852]
 EDarwin is an automated theorem prover for...

BoosTexter
 Referenced in 76 articles
[sw08519]
 BoosTexter: A boostingbased system for text categorization...

LERS
 Referenced in 121 articles
[sw08637]
 LERS – a system for learning from examples based...