Sciweavers

4306 search results - page 386 / 862
» Timed Testing with TorX
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 ...
116
Voted
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
15 years 10 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
132
Voted
ICMCS
2005
IEEE
105views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Personalizing Quality Aspects in Scalable Video Coding
In video coding, certain limitations imposed by the environment, most typically the bit rate, need to be fulfilled. This is achieved by allowing the encoder to reduce the quality ...
Sam Lerouge, Robbie De Sutter, Rik Van de Walle
ISORC
2005
IEEE
15 years 9 months ago
A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...
Paul Townend, Paul T. Groth, Jie Xu
129
Voted
CONCUR
2000
Springer
15 years 7 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su