766 search results - page 46 / 154 » Detecting modifications in paper documents: a coding approac... |
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The problem of code acquisition for the Galileo system is investigated in this paper. The effect of non-ideal sampling on the Binary Offset Carrier (BOC) modulated signal is ev...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic extraction of numerical fields (zip codes, phone numbers, etc.) from incoming mail documents. The approach is based o...
CG
2007
Springer
13 years 7 months ago
2007
Springer
In many situations, individuals or groups of individuals are faced with the need to examine sets of documents to achieve understanding of their structure and to locate relevant in...