603 search results - page 3 / 121 » Embedded Formulas Extraction |
ICDAR
2011
IEEE
12 years 4 months ago
2011
IEEE
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...
SAMOS
2005
Springer
13 years 10 months ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
VLDB
2007
ACM
14 years 5 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...