Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Document Image Analysis via Model Checking Marco Aiello

Summary: Document Image Analysis via Model Checking
Marco Aiello
Institute for Logic, Language and Computation, and
Intelligent Sensory and Information Systems
University of Amsterdam
Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands
1 Introduction
When Dave placed his own drawing in front of the `eye' of HAL--in 2001: A
Space Odyssey--HAL showed to have correctly comprehended and interpreted
the sketch. "That's Dr. Hunter, isn't it?" [9]. But what would have happened if
Dave used the first page of a newspaper in front of the eye and started discussing
its contents? Considering HAL a system capable of AI, we expect HAL to rec-
ognize the document as a newspaper, to understand how to extract information
and to understand its contents. Finally, we expect Dave and HAL to begin a
conversation on the contents of the document.
Here we present a methodology based on model checking, which has been
successfully experimented on an heterogeneous collection of documents [1, 11],
to extract the content from images of documents. We focus on mechanically
generated documents, in contrast with hand-writing and sketches. Using terms


Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen


Collections: Computer Technologies and Information Sciences