论文信息 - Document Image Analysis via Model Checking - 字舞流文

Document Image Analysis via Model Checking

[1] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.

[2] George Nagy,et al. Twenty Years of Document Image Analysis in PAMI , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[3] Thomas Kieninger,et al. Document Structure Analysis Based on Layout and Textual Features , 2000 .

[4] Marco Aiello,et al. Combining linguistic and spatial information for document analysis , 2000, RIAO.

[5] Philippe Balbiani Jean-Fran,et al. A Model for Reasoning about Bidimensional Temporal Relations , 1998 .

[6] Haruo Asada,et al. Major components of a complete text reading system , 1992 .

[7] Marcel Worring,et al. Logical structure detection for heterogeneous document classes , 2000, IS&T/SPIE Electronic Imaging.

[8] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.

[9] Yde Venema,et al. A Modal Logic for Chopping Intervals , 1991, J. Log. Comput..