Sciweavers

4581 search results - page 371 / 917
» Computing Transformation Semigroups
Sort
View
ECCV
2000
Springer
15 years 10 months ago
Ambiguous Configurations for 3-View Projective Reconstruction
The critical configurations for projective reconstruction from three views are discussed. A set of cameras and points is said to be critical if the projected image points are insu...
Richard I. Hartley
EUROPAR
2000
Springer
15 years 10 months ago
Automatic SIMD Parallelization of Embedded Applications Based on Pattern Recognition
This paper investigates the potential for automatic mapping of typical embedded applications to architectures with multimedia instruction set extensions. For this purpose a (patter...
Rashindra Manniesing, Ireneusz Karkowski, Henk Cor...
ASM
2010
ASM
15 years 9 months ago
Automatic Verification for a Class of Proof Obligations with SMT-Solvers
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
David Déharbe
ECCV
2010
Springer
15 years 9 months ago
Face Image Relighting using Locally Constrained Global Optimization
A face image relighting method using locally constrained global optimization is presented in this paper. Based on the empirical fact that common radiance environments are locally h...
BMVC
2001
15 years 9 months ago
Estimating the Orientation and Recovery of Text Planes in a Single Image
A method for the fronto-parallel recovery of paragraphs of text under full perspective transformation is presented. The horizontal vanishing point of the text plane is found using...
Paul Clark, Majid Mirmehdi