762 search results - page 10 / 153 » Conditionally correct superoptimization |
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
Publication
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
CVIU
2004
13 years 10 months ago
2004
This paper focuses on the detection of objects with a Lambertian surface under varying illumination and pose. We offer to apply a novel detection method that proceeds by modeling ...
INTERSPEECH
2010
13 years 5 months ago
2010
In this paper we investigate a computational model of word learning that is cognitively plausible. The model is partly trained on incorrect form-referent pairings, modelling the i...
MVA
2007
13 years 11 months ago
2007
In this paper, we propose a new method for correcting distorted document images using a stereo camera pair. Geometric and photometric distortions may occur in document images of t...