118 search results - page 11 / 24 » An Iterative Algorithm for Synthesizing Invariants |
ARITH
2005
IEEE
14 years 1 months ago
2005
IEEE
Integer division on modern processors is expensive compared to multiplication. Previous algorithms for performing unsigned division by an invariant divisor, via reciprocal approxi...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper describes a novel approach to automatically recover corresponding feature points and epipolar geometry over two wide baseline frames. Our contributions consist of sever...
ICPP
2002
IEEE
14 years 15 days ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
FGR
2004
IEEE
13 years 11 months ago
2004
IEEE
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
An algorithm for finding coupling points plays an important role in the Iterative Closest Point algorithm (ICP) which is widely used in registration applications in medical and 3-...