3006 search results - page 5 / 602 » Overview |
CHI
2002
ACM
14 years 7 months ago
2002
ACM
Archived discussion lists are becoming significant reference sources. This paper describes a new type of overview for such lists, using a back-of-the-book style index containing h...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
The Tesseract OCR engine, as was the HP Research Prototype in the UNLV Fourth Annual Test of OCR Accuracy[1], is described in a comprehensive overview. Emphasis is placed on aspec...
INEX
2007
Springer
14 years 1 months ago
2007
Springer
This paper provides an overview of the newly launched Book Search Track at INEX 2007 (BookSearch’07), its participants, tasks, book corpus, test topics and relevance assessments...
BIRTHDAY
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...