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

IGLUE
 Referenced in 4 articles
[sw31671]
 system which combines latticebased and instancebased learning (IBL) techniques, is motivated and developed ... complexity and accuracy of latticebased learning systems. For this purpose, IGLUE uses the entropy ... distance as the similarity measure between redescribed instances. IGLUE treats only domains described with symbolic ... measures highlight the importance of instancebased learning through lattice theory...

Campus3D
 Referenced in 1 article
[sw39849]
 Outdoor Scene. Learning on 3D scenebased point cloud has received extensive attention ... scene understanding tasks and also an effective learning framework for its hierarchical segmentation task ... hierarchical and instancebased labels. Based on it, we formulate a hierarchical learning problem...

ADAPT
 Referenced in 1 article
[sw39360]
 methods. The library is suited for scikitlearn estimator object (object which implement ... adaptation: (i) featurebased containing methods performing feature transformation; (ii) instancebased with the implementation...

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

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

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

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

TPTP
 Referenced in 394 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 978 articles
[sw04586]
 Kernel smoothing refers to a general methodology for...

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

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

ROADRUNNER
 Referenced in 22 articles
[sw06133]
 Automatic web information extraction in the ROADRUNNER system...

SATCHMO
 Referenced in 97 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...