Aless Lasaruk

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Top Topics

Parameter Estimation

Conceptual Model

Parallel Implementation

Top Venues

Int. J. Comput. Vis.

Publications

Aless Lasaruk, Tomás Pajdla
An Efficient Model for a Camera Behind a Parallel Refractive Slab. Int. J. Comput. Vis. 131 (2) (2023)
Aless Lasaruk
Approximate Regularization for Structural Optical Flow Estimation. ACIVS (2012)
Denis V. Lamovsky, Aless Lasaruk
Calibration and Reconstruction Algorithms for a Handheld 3D Laser Scanner. ACIVS (2011)
Tobias Hanning, Aless Lasaruk, Thomas Tatschke
Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera. Inf. Fusion 12 (1) (2011)
Aless Lasaruk, Thomas Sturm
Effective Quantifier Elimination for Presburger Arithmetic with Infinity. CASC (2009)
Aless Lasaruk, Thomas Sturm
Automatic Verification of the Adequacy of Models for Families of Geometric Objects. Automated Deduction in Geometry (2008)
Tobias Hanning, Aless Lasaruk
Calibration of a system of a gray-value camera and an MDSI range camera. PerMIS (2008)
Tobias Hanning, Aless Lasaruk
MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications. ACIVS (2008)
Aless Lasaruk, Thomas Sturm
Weak quantifier elimination for the full linear theory of the integers. Appl. Algebra Eng. Commun. Comput. 18 (6) (2007)
Aless Lasaruk, Thomas Sturm
Weak Integer Quantifier Elimination Beyond the Linear Case. CASC (2007)