better stopping-criterion (theoretical maximum entropy vs. measured one) better most-freq-model reduced error pruning abstraction of model construction error messages (type specifications) CPS for null-splits
better stopping-criterion (theoretical maximum entropy vs. measured one) better most-freq-model reduced error pruning abstraction of model construction error messages (type specifications) CPS for null-splits