A Large-Scale Comparison of Historical Text Normalization Systems

There is no consensus on the state-of-the-art approach to historical text normalization. Many techniques have been proposed, including rule-based methods, distance metrics, character-based statistical machine translation, and neural encoder--decoder models, but studies have used different datasets, different evaluation methods, and have come to different conclusions. This paper presents the largest study of historical text normalization done so far. We critically survey the existing literature and report experiments on eight languages, comparing systems spanning all categories of proposed normalization techniques, analysing the effect of training data quantity, and using different evaluation methods. The datasets and scripts are made publicly available.Comment: Accepted at NAACL 201

Compactly generating all satisfying truth assignments of a Horn formula

As instance of an overarching principle of exclusion an algorithm is presented that compactly (thus not one by one) generates all models of a Horn formula. The principle of exclusion can be adapted to generate only the models of weight $k$. We compare and contrast it with constraint programming, $0,1$ integer programming, and binary decision diagrams.Comment: Considerably improves upon the readibility of the previous versio

Exact uncertainty principle and quantization: implications for the gravitational field

The quantization of the gravitational field is discussed within the exact uncertainty approach. The method may be described as a Hamilton-Jacobi quantization of gravity. It differs from previous approaches that take the classical Hamilton-Jacobi equation as their starting point in that it incorporates some new elements, in particular the use of a formalism of ensembles in configuration space and the postulate of an exact uncertainty relation. These provide the fundamental elements needed for the transition from the classical theory to the quantum theory.Comment: 6 pages; submitted to the proceedings of DICE2004, to appear in the Brazilian Journal of Physic