Aless Lasaruk

According to our database, Aless Lasaruk authored at least 10 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Efficient Model for a Camera Behind a Parallel Refractive Slab.

Aless Lasaruk, Tomás Pajdla

Int. J. Comput. Vis., 2023

2012

Approximate Regularization for Structural Optical Flow Estimation.

Aless Lasaruk

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2012

2011

Calibration and low-level data fusion algorithms for a parallel 2D/3D-camera.

Tobias Hanning, Aless Lasaruk, Thomas Tatschke

Inf. Fusion, 2011

Calibration and Reconstruction Algorithms for a Handheld 3D Laser Scanner.

Denis V. Lamovsky, Aless Lasaruk

Proceedings of the Advances Concepts for Intelligent Vision Systems, 2011

2009

Effective Quantifier Elimination for Presburger Arithmetic with Infinity.

Aless Lasaruk, Thomas Sturm

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008

Calibration of a system of a gray-value camera and an MDSI range camera.

Tobias Hanning, Aless Lasaruk

Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems, 2008

Automatic Verification of the Adequacy of Models for Families of Geometric Objects.

Aless Lasaruk, Thomas Sturm

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

MIDIAS: An Integrated 2D/3D Sensor System for Safety Applications.

Tobias Hanning, Aless Lasaruk

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2008

2007

Weak quantifier elimination for the full linear theory of the integers.

Aless Lasaruk, Thomas Sturm

Appl. Algebra Eng. Commun. Comput., 2007

Weak Integer Quantifier Elimination Beyond the Linear Case.

Aless Lasaruk, Thomas Sturm

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007