1205 search results - page 164 / 241 » Program Extraction from Large Proof Developments |
110
click to vote
DRR
2003
15 years 2 months ago
2003
The Medical Article Records System (MARS) developed by the Lister Hill National Center for Biomedical Communications uses scanning, OCR and automated recognition and reformatting ...
ICIAP
2003
ACM
16 years 1 months ago
2003
ACM
In this paper we present a statistical learning scheme for image classification based on a mixture of old fashioned ideas and state of the art learning tools. We represent input i...
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
For the transition from traditional to digital libraries, the large number of handwritten manuscripts that exist pose a great challenge. Easy access to such collections requires a...
115
click to vote
ICIP
2000
IEEE
15 years 5 months ago
2000
IEEE
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
105
click to vote
LREC
2010
15 years 2 months ago
2010
Clinical texts contain a large amount of information. Some of this information is embedded in contexts where e.g. a patient status is reasoned about, which may lead to a considera...