Sciweavers

1518 search results - page 96 / 304
» Cryptographic Test Correction
Sort
View
115
Voted
CVPR
2004
IEEE
16 years 5 months ago
Distortion Estimation Techniques in Solving Visual CAPTCHAs
Abstract-- This paper describes two distortion estimation techniques for object recognition that solve EZ-Gimpy and Gimpy-r, two of the visual CAPTCHAs ("Completely Automated ...
Gabriel Moy, Nathan Jones, Curt Harkless, Randall ...
121
Voted
ICPR
2010
IEEE
15 years 1 months ago
A Baseline Dependent Approach for Persian Handwritten Character Segmentation
-- In this paper, an efficient approach to segment Persian off-line handwritten text-line into characters is presented. The proposed algorithm first traces the baseline of the inpu...
Alireza Alaei, P. Nagabhushan, Umapada Pal
136
Voted
GI
2009
Springer
15 years 8 months ago
Tapir: Language Support to Reduce the State Space in Model-Checking
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
Ronald Veldema, Michael Philippsen
121
Voted
DATE
1998
IEEE
93views Hardware» more  DATE 1998»
15 years 8 months ago
Verification by Simulation Comparison using Interface Synthesis
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
Cordula Hansen, Arno Kunzmann, Wolfgang Rosenstiel
113
Voted
HCI
2007
15 years 5 months ago
Development of Productivity Evaluation Method to Improve Office Environment
The authors have developed a performance test, CPTOP (Cognitive Performance Test of Productivity), which combines 11 basic task testss to evaluate intelligent abilities of office w...
Hiroshi Shimoda, Kyoko Ito, Yoko Hattori, Hirotake...