1414 search results - page 64 / 283 » Automated Metamorphic Testing |
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
ACSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
Because of multi-lingual behavior destination address block of a postal document of an Indian state may be written in two or more scripts. From a statistical analysis of Indian pos...
INFORMATICALT
2008
13 years 9 months ago
2008
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...