6693 search results - page 739 / 1339 » Methods of Automatic Algorithm Generation |
182
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Separating machine printed text and handwriting from overlapping text is a challenging problem in the document analysis field and no reliable algorithms have been developed thus f...
200
click to vote
MVA
2007
15 years 8 months ago
2007
Localization and segmentation of Optic Disk (OD) is an important prerequisite for automatic detection of Diabetic Retinopathy (DR) from digital retinal fundus images. Considerable...
155
click to vote
ACL
2006
15 years 8 months ago
2006
In this paper, we exploit non-local features as an estimate of long-distance dependencies to improve performance on the statistical spoken language understanding (SLU) problem. Th...
187
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
In recent years tree kernels have been proposed for the automatic learning of natural language applications. Unfortunately, they show (a) an inherent super linear complexity and (...
200
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...