• Publications
  • Influence
Weak quantifier elimination for the full linear theory of the integers
  • Aless Lasaruk, T. Sturm
  • Computer Science, Mathematics
  • Applicable Algebra in Engineering, Communication…
  • 16 November 2007
TLDR
We describe a weak quantifier elimination procedure for the full linear theory of the integers with ordering and congruences. Expand
  • 21
  • 2
  • PDF
Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera
TLDR
In this article we propose a calibration algorithm and three low-level data fusion algorithms for a parallel 2D/3D-camera system. Expand
  • 14
  • 1
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our extension. TheExpand
  • 6
  • 1
Weak Integer Quantifier Elimination Beyond the Linear Case
TLDR
We consider the integers using the language of ordered rings extended by ternary symbols for quantifier elimination. Expand
  • 7
  • PDF
Calibration and Reconstruction Algorithms for a Handheld 3D Laser Scanner
TLDR
We develop a calibration algorithm and a three-dimensional reconstruction algorithm for a handheld 3D laser scanner. Expand
  • 5
MDSI Range Camera Calibration
An MDSI (Multiple Double Short-Time Integration) range camera consists of a grid of pixels which are utilized to measure the near infrared laser intensity back-scattered from an illuminated scene.Expand
  • 3
MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications
TLDR
In this article we present an integrated micro-system consisting of a high resolution gray-value camera and a range camera. Expand
  • 1
Approximate Regularization for Structural Optical Flow Estimation
TLDR
We address the problem of maximum a posteriori (MAP) estimation of optical flow with a geometric prior from gray-value images with a point-wise generalization of partial derivatives. Expand
  • 1
Calibration of a system of a gray-value camera and an MDSI range camera
TLDR
We present a novel calibration approach for a system of a range camera based on the Multiple Double Short-time Integration (MDSI) principle and a regular gray-value camera that returns intrinsic camera parameters of both cameras and their relation to each other. Expand
  • 1
Automatic Verification of the Adequacy of Models for Families of Geometric Objects
TLDR
We demonstrate our method by automatically proving uniqueness theorems for characterizations of several geometric primitives and simple complex objects. Expand
  • 1