762 search results - page 10 / 153 » Conditionally correct superoptimization |
114
click to vote
DATE
2009
IEEE
15 years 7 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...
170
click to vote
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...
106
click to vote
CVIU
2004
15 years 6 days 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 ...
101
click to vote
INTERSPEECH
2010
14 years 7 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
15 years 1 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...