Sciweavers

3690 search results - page 133 / 738
» Computation with classical sequents
Sort
View
CVPR
1997
IEEE
15 years 10 months ago
Critical Motion Sequences for Monocular Self-Calibration and Uncalibrated Euclidean Reconstruction
In this paper, sequences of camera motions that lead to inherent ambiguities in uncalibrated Euclidean reconstruction or self-calibration are studied. Our main contribution is a co...
Peter F. Sturm
CSR
2009
Springer
15 years 10 months ago
The Reachability Problem over Infinite Graphs
Abstract. We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem has a history of 100 years, and it is centra...
Wolfgang Thomas
CGI
2004
IEEE
15 years 10 months ago
Reuse of Paths in Light Source Animation
In this paper we extend the reuse of paths to the shot from a moving light source. In the classical algorithm new paths have to be cast from each new position of a light source. W...
Mateu Sbert, Francesc Castro, John H. Halton
ECCV
2006
Springer
15 years 10 months ago
Quasi-conformal Flat Representation of Triangulated Surfaces for Computerized Tomography
In this paper we present a simple method for flattening of triangulated surfaces for mapping and imaging. The method is based on classical results of F. Gehring and Y. V
Eli Appleboim, Emil Saucan, Yehoshua Y. Zeevi
EURONGI
2008
Springer
15 years 8 months ago
Teletraffic Performance Analysis of Multi-class OFDM-TDMA Systems with AMC
In traditional channelized multiple access systems, e.g., TDMA and FDMA, each user is assigned a fixed amount of bandwidth during the whole service time, and the teletraffic perfor...
Hua Wang, Villy Bæk Iversen