1722 search results - page 260 / 345 » Generating Tests from Counterexamples |
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
Gradient-based optical flow estimation methods such as LucasKanade method work well for scenes with small displacements but fail when objects move with large displacements. Hierar...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Registration is a fundamental task in image processing and quite a few registration techniques have been developed in various fields. In this paper we propose a novel graphreprese...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Recently, psychological studies showed that averaging human face images greatly improves the performance of face recognition under various pose, illumination, expression, and/or a...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper the effectiveness of a corrective learning algorithm MIL (Mirror Image Learning) [1], [2] is comparatively studied with that of GLVQ (Generalized Learning Vector Qua...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...