AIFAD

Automated Induction of Functions over Algebraic Datatypes



NEWS

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.

2004-03-22:  Intermediate release to fix a bug.  Changed computation
             of most frequent value again (dependent version).
About AIFAD
Copyright   ©  2005  Markus Mottl  ⟨markus.mottl@gmail.com
This document was translated from LATEX by HEVEA.