2819 search results - page 458 / 564 » Automatic Structures |
134
Voted
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
109
click to vote
ACL
2008
15 years 3 months ago
2008
We present a novel approach to weakly supervised semantic class learning from the web, using a single powerful hyponym pattern combined with graph structures, which capture two pr...
ACL
2007
15 years 3 months ago
2007
Human categorization is neither a binary nor a context-free process. Rather, some concepts are better examples of a category than others, while the criteria for category membershi...
107
click to vote
DPHOTO
2010
15 years 3 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
COLING
2008
15 years 3 months ago
2008
Annotated corpora are only useful if their annotations are consistent. Most large-scale annotation efforts take special measures to reconcile inter-annotator disagreement. To date...