We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...
Florian Steinke, Matthias Hein, Jan Peters, Bernha...
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, St...
This paper is about implementing and analysing a strategy of generating the intermediate views of a scene from a pair of images taken from different position and orientation. In p...
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
Philipp Slusallek, Reinhard Klein, Andreas Kolb, G...
Averaging, filtering and interpolation of 3-D object orientation data is important in both computer vision and computer graphics, for instance to smooth estimates of object orien...
Anders Brun, Carl-Fredrik Westin, Steven Haker, Ha...