Search Results for "ml"

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

...Currently, it holds following main concepts 1- Vision: It can access web cams, imaging source industrial cameras for manuel settings and advanced issues. Studies on accesing Leapmotion and Kinect is still under-development. 2- Machine learning: It uses Weka Software tool and some personel coded ML algorithms 3- CMatrix: Special matrix library called as CMatrix meaning Cezeri Maztrix Class. Actually it is regarded as the core of the OCL. CMatrix supports fluent interface and method chaining.

KNN-WEKA provides a implementation of the K-nearest neighbour algorithm for Weka. Weka is a collection of machine learning algorithms for data mining tasks. For more information on Weka, see http://www.cs.waikato.ac.nz/ml/weka/.