Sciweavers

2199 search results - page 10 / 440
» Orientation Interpolation and Applications
Sort
View
IGIS
1994
118views GIS» more  IGIS 1994»
13 years 11 months ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos
PEPM
1994
ACM
13 years 11 months ago
Partial Evaluation of Numerical Programs in Fortran
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
Romana Baier, Robert Glück, Robert Zöchl...
ENTCS
2007
119views more  ENTCS 2007»
13 years 7 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
SIP
2003
13 years 8 months ago
Polyphase Antialiasing in Enlargements
Changing resolution of images is a common operation. It is also common to use simple, i.e., small interpolation kernels satisfying some ”smoothness” qualities that are determi...
Daniel Seidner
ACCV
2009
Springer
13 years 11 months ago
Refined Exponential Filter with Applications to Image Restoration and Interpolation
Ill-posed linear equations are pervasive in computer vision. A popular way to solve an ill-posed problem is regularization. In this paper, we propose a new criterion for designing ...
Yanlin Geng, Tong Lin, Zhouchen Lin, Pengwei Hao