We desert'be our latest attempt at adaptive language modeling. At the heart of our approachis a Maximum Entropy(ME) modelwhich inc.orlxnatesmanyknowledgesources in a consiste...
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Word alignment plays a crucial role in statistical machine translation. Word-aligned corpora have been found to be an excellent source of translation-related knowledge. We present...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...