• RIONA

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

  • Referenced in 1 article [sw39360]
  • instance-based with the implementation of reweighting techniques and (iii) parameter-based 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...
  • UCI-ml

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

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

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