2957 search results - page 54 / 592 » Processing Self Corrections |
88
Voted
JCDL
2010
ACM
15 years 7 months ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
93
Voted
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—The skew-correction of scanned document image is a necessary step undergone before some processing. For the purpose of practical, robust, real-time of the algorithm, this paper ...
108
Voted
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
- This paper addresses the problem of true delay estimation during high level design. The existing delay estimation techniques either estimate the topological delay of the circuit ...
150
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
109
Voted
JFP
2006
15 years 2 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...