1072 search results - page 122 / 215 » Object-Oriented Type Inference |
121
Voted
ASIAN
1999
Springer
15 years 7 months ago
1999
Springer
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
137
Voted
GOSLER
1995
15 years 7 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...
121
click to vote
ACL
2006
15 years 5 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...
119
click to vote
ICCV
2007
IEEE
16 years 5 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...
163
Voted
HVC
2005
Springer
15 years 9 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...