3333 search results - page 52 / 667 » New Invariants for Groups |
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. In this paper, a new camera calibration algorithm is proposed, which is from the quasi-affine invariance of two parallel circles. Two parallel circles here mean two circl...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
VC
2008
13 years 8 months ago
2008
Abstract We propose a new featurebased registration method for rigidbody alignment of overlapping point clouds (PCs) efficiently under the influence of noise and outliers. The prop...
3DPVT
2004
IEEE
14 years 18 days ago
2004
IEEE
A new approach to construction of robust features is proposed and applied to an instance of the correspondence problem. The main idea is to construct a synthetic image by a multir...
DAC
1994
ACM
14 years 11 days ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...