Sciweavers

3015 search results - page 219 / 603
» The robustness of a new CAPTCHA
Sort
View
ICICS
1997
Springer
15 years 10 months ago
Enforcing traceability in software
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
Colin Boyd
DATE
2009
IEEE
118views Hardware» more  DATE 2009»
15 years 10 months ago
Variation resilient adaptive controller for subthreshold circuits
Subthreshold logic is showing good promise as a viable ultra-low-power circuit design technique for powerlimited applications. For this design technique to gain widespread adoption...
Biswajit Mishra, Bashir M. Al-Hashimi, Mark Zwolin...
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
15 years 10 months ago
Arithmetic Reasoning in DPLL-Based SAT Solving
We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level descrip...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
DAGM
2006
Springer
15 years 10 months ago
Dense Stereo by Triangular Meshing and Cross Validation
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. ...
BMVC
2001
15 years 9 months ago
Hierarchical Combination of Object Models using Mutual Information
Combining different and complementary object models promises to increase the robustness and generality of today’s computer vision algorithms. This paper introduces a new method ...
Hannes Kruppa, Bernt Schiele