Sciweavers

7326 search results - page 475 / 1466
» Methods for modalities 3
Sort
View
3DIM
2005
IEEE
16 years 15 days ago
Automatic Registration of Range Images Based on Correspondence of Complete Plane Patches
One of the difficulties in registering two range images scanned by 3D laser scanners is how to get a correct correspondence over the two images automatically. In this paper, we pr...
Wenfeng He, Wei Ma, Hongbin Zha
CPC
2007
101views more  CPC 2007»
15 years 6 months ago
Colouring Random 4-Regular Graphs
We show that a random 4-regular graph asymptotically almost surely (a.a.s.) has chromatic number 3. The proof uses an efficient algorithm which a.a.s. 3colours a random 4-regular ...
Lingsheng Shi, Nicholas C. Wormald
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
15 years 4 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
3DIM
1999
IEEE
15 years 11 months ago
On-Line Hand-Eye Calibration
In this paper, we address the problem of hand-eye calibration of a robot mounted video camera. In a rst time, we derive a new linear formulation of the problem. This allows an alg...
Nicolas Andreff, Radu Horaud, Bernard Espiau
C3S2E
2008
ACM
15 years 8 months ago
Integer least squares: sphere decoding and the LLL algorithm
This paper considers the problem of integer least squares, where the least squares solution is an integer vector, whereas the coefficient matrix is real. In particular, we discuss...
Sanzheng Qiao