• RIONA

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

  • Referenced in 4 articles [sw31671]
  • system which combines lattice-based and instance-based learning (IBL) techniques, is motivated and developed ... complexity and accuracy of lattice-based 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 instance-based learning through lattice theory...
  • Campus3D

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

  • Referenced in 1 article [sw39360]
  • methods. The library is suited for scikit-learn estimator object (object which implement ... adaptation: (i) feature-based containing methods performing feature transformation; (ii) instance-based 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...
  • UCI-ml

  • 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 k-Nearest 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...
  • BoosTexter

  • Referenced in 76 articles [sw08519]
  • BoosTexter: A boosting-based system for text categorization...