Extracting Text from Video

Extracting Text from Proof

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...

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

Extracting Collocations from Text Corpora

A collocation is a habitual word combination. Collocational knowledge is essential for many tasks in natural language processing. We present a method for extracting collocations from text corpora. By comparison with the SUSANNE corpus, we show that both high precision and broad coverage can be achieved with our method. Finally, we describe an application of the automatically extracted collocati...