Extracting text from PostScript

Extracting Text from PostScript

Finding structure in multiple streams of datais an important problem. Consider thestreams of data flowing from a robot’s sen-sors, the monitors in an intensive care unit,or periodic measurements of various indica-tors of the health of the economy. Thereis clearly utility in determining how currentand past values in those streams are relatedto future values. W...

Better PostScript than PostScript: portable self-extracting PostScript representation of scanned document images

We present a Pattern Matching Based Compression (PMBC) system which compresses scanned documents into PostScript format. The output of a PMBC system is a pattern library, or font, and a series of pattern indices and positions. PMBC represents scanned documents in the same way that word processing programs represent their output pages. We explore various PostScript representations of this output...

Extracting Text from Proof

Extracting Text from Proofs

In this paper, we propose a method for presenting formal proofs in an intelligible form. We describe a transducer from proof objects (terms in the Calculus of Constructions) to pseudo natural language that has been implemented for the Coq system Extraction de Texte a partir de Preuves R esum e : Ce papier pr esente une m ethode pour produire a partir de preuves formelles une explication textuel...

Extracting Relations from Unstructured Text