1012 search results - page 57 / 203 » Testing documentation with |
KDD
2007
ACM
15 years 10 months ago
2007
ACM
We now have incrementally-grown databases of text documents ranging back for over a decade in areas ranging from personal email, to news-articles and conference proceedings. While...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
CLEF
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes the procedure adopted by the three co-ordinators of the CLEF 2003 question answering track (ITC-irst, UNED and ILLC) to create the question set for the monoli...
COSIT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
ICDAR
2007
IEEE
15 years 1 months ago
2007
IEEE
We report an improved methodology for training classifiers for document image content extraction, that is, the location and segmentation of regions containing handwriting, machine...