AIFAD

Automated Induction of Functions over Algebraic Datatypes


NEWS

2006-11-22:  Updated OCamlMakefile.

2004-04-18:  Minor speed improvement.

2004-03-24:  Fixed a bug.
             New way of computing entropy in gain ratio for subvariables
             under redundant structures: takes into account probability
             estimates from multinomial estimation, which may differ
             from a pure frequency based approach.
             Made Ristad's "Natural Law of Succession" the current default
             for multinomial estimation instead of the frequency based
             approach.  Experiments will still have to be performed to
             test its performance.

About AIFAD


Copyright   ©  2008  Markus Mottl  ⟨markus.mottl@gmail.com
This document was translated from LATEX by HEVEA.