153 search results - page 31 / 31 » Formal Methods and Testing: Hypotheses, and Correctness Appr... |
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images using automatic adaptation to improve accuracy. ...
BMCBI
2005
13 years 5 months ago
2005
Background: Identification of gene and protein names in biomedical text is a challenging task as the corresponding nomenclature has evolved over time. This has led to multiple syn...