6750 search results - page 480 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
162
Voted
AIPS
1998
15 years 9 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
179
Voted
SIAMSC
2010
15 years 6 months ago
2010
The radiative transfer equation (RTE) occurs in a wide variety of applications. In this paper, we study discrete-ordinate discontinuous Galerkin methods for solving the RTE. The nu...
212
Voted
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
187
Voted
ICWE
2010
Springer
15 years 6 months ago
2010
Springer
Measurement, evaluation and analysis are support processes to main engineering processes. In this work we present an integrated strategy whose rationale is supported by a well-defi...
169
Voted
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...