Sciweavers

5131 search results - page 466 / 1027
» Heterogeneous Component Analysis
Sort
View
ICDAR
2003
IEEE
16 years 12 days ago
Numerical Sequence Extraction in Handwritten Incoming Mail Documents
In this communication, we propose a method for the automatic extraction of numerical fields in handwritten documents. The approach exploits the known syntactic structure of the nu...
Guillaume Koch, Laurent Heutte, Thierry Paquet
ICDAR
1999
IEEE
15 years 11 months ago
A Range Free Skew Detection Technique for Digitized Gurmukhi Script Documents
In this paper, a range free skew detection technique for machine printed Gurmukhi documents has been presented. This approach can easily be extended to other Indian language scrip...
G. S. Lehal, Renu Dhir
ARTS
1999
Springer
15 years 11 months ago
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
Annabelle McIver
ECAI
1994
Springer
15 years 11 months ago
Reusing Proofs
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
Thomas Kolbe, Christoph Walther
ESANN
2008
15 years 8 months ago
Discrimination of regulatory DNA by SVM on the basis of over- and under-represented motifs
In this paper we apply three pattern recognition methods (support vector machine, cluster analysis and principal component analysis) to distinguish regulatory regions from coding a...
Rene te Boekhorst, Irina I. Abnizova, Lorenz Werni...