99 search results - page 9 / 20 » An Invitation to Ada 2005 |
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
ICML
2005
IEEE
16 years 15 days ago
2005
IEEE
The detection of faces in images is fundamentally a rare event detection problem. Cascade classifiers provide an efficient computational solution, by leveraging the asymmetry in t...
COLT
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present several results related to ranking. We give a general margin-based bound for ranking based on the L∞ covering number of the hypothesis space. Our bound sugge...
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
The ScatterType CAPTCHA, designed to resist character– segmentation attacks and shown to be highly legible to human readers, is analyzed for vulnerabilities and is offered for e...
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper introduces our efforts to create UPX, an XML-based successor to the venerable UNIPEN format for the representation of annotated datasets of online handwriting data. In ...