1634 search results - page 180 / 327 » Classifying Technical Terms |
PLDI
2012
ACM
12 years 20 days ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper presents a new representation and evaluation procedure of page segmentation algorithms and analyzes six widely-used layout analysis algorithms using the procedure. The ...
ICML
2008
IEEE
14 years 11 months ago
2008
IEEE
We derive a generalization bound for multiclassification schemes based on grid clustering in categorical parameter product spaces. Grid clustering partitions the parameter space i...
ICML
2003
IEEE
14 years 11 months ago
2003
IEEE
We examine the set covering machine when it uses data-dependent half-spaces for its set of features and bound its generalization error in terms of the number of training errors an...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
Image spam is a new obfuscating method which spammers invented to more effectively bypass conventional text based spam filters. In this paper, we extract local invariant features ...