1096 search results - page 112 / 220 » Type inference for atomicity |
GOSLER
1995
13 years 11 months ago
1995
In designing learning algorithms it seems quite reasonable to construct them in such a way that all data the algorithm already has obtained are correctly and completely reflected...
ACL
2006
13 years 9 months ago
2006
Name tagging is a critical early stage in many natural language processing pipelines. In this paper we analyze the types of errors produced by a tagger, distinguishing name classi...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper investigates several issues in the problem of detecting handwritten markings, or annotations, on printed documents. One issue is to define the appropriate units over wh...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....