Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Optimal Correspondence of String Subsequences
IEEE Transactions on Pattern Analysis and Machine Intelligence
Message Extraction from Printed Documents - A Complete Solution
ICDAR '97 Proceedings of the 4th International Conference on Document Analysis and Recognition
Three Approaches to "Industrial" Table Spotting
ICDAR '01 Proceedings of the Sixth International Conference on Document Analysis and Recognition
The Noisy Substring Matching Problem
IEEE Transactions on Software Engineering
smartFIX: A Requirements-Driven System for Document Analysis and Understanding
DAS '02 Proceedings of the 5th International Workshop on Document Analysis Systems V
| Hi-index | 0.00 |
The smartFIX system, a commercial Document Analysis (DA) system, is introduced. It can be seen as a constraint solver over the domain of OCR alternatives. There are basically two types of constraints, database constraints and arithmetic constraints. The target of DA is then to optimize the constraint system, where the main challenge is the fuzziness of the OCR results. Efficiency is gained by a transition of the variables' state from 'soft' to 'hard'. Propagation is used to make sure that the result of the analysis is globally consistent. As an industrial application of (soft) constraints, smartFIX demonstrates the versatility of the generic constraints approach.