Sciweavers

3690 search results - page 133 / 738
» Computation with classical sequents
Sort
View
CVPR
1997
IEEE
15 years 2 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 1 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 1 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 1 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
14 years 11 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