Search

Your search keyword '"Marić, Filip"' showing total 172 results

Search Constraints

Start Over You searched for: Author "Marić, Filip" Remove constraint Author: "Marić, Filip"
172 results on '"Marić, Filip"'

Search Results

1. GISR: Geometric Initialization and Silhouette-based Refinement for Single-View Robot Pose and Configuration Estimation

2. Towards Automated Readable Proofs of Ruler and Compass Constructions

Catalog

Books, media, physical & digital resources

3. Euclidean Equivariant Models for Generative Graphical Inverse Kinematics

4. CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots

5. A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image

8. Generative Graphical Inverse Kinematics

9. On Automating Triangle Constructions in Absolute and Hyperbolic Geometry

11. A proof system for graph (non)-isomorphism verification

12. Convex Iteration for Distance-Geometric Inverse Kinematics

13. Riemannian Optimization for Distance-Geometric Inverse Kinematics

14. A Riemannian Metric for Geometry-Aware Singularity Avoidance by Articulated Robots

15. Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion

16. Formalizing IMO Problems and Solutions in Isabelle/HOL

17. Heteroscedastic Uncertainty for Robust Generative Latent Dynamics

18. Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning

19. Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization

20. Fast Manipulability Maximization Using Continuous-Time Trajectory Optimization

21. Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging

22. Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families

23. Manipulability Maximization Using Continuous-Time Gaussian Processes

24. Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction

25. Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture

28. Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation

30. Short Portfolio Training for CSP Solving

35. Formalizing Frankl's Conjecture: FC-families

36. Formalization and Implementation of Algebraic Methods in Geometry

37. Formalization of Abstract State Transition Systems for SAT

38. Simple Algorithm Portfolio for SAT

41. Teaching graduate students how to review research articles and respond to reviewer comments

46. Geometrijski pristup generiranju ostvarivih konfiguracija robotskih manipulatora

47. Formalization of Incremental Simplex Algorithm by Stepwise Refinement

49. Instance-Based Selection of Policies for SAT Solvers

50. argo-lib: A Generic Platform for Decision Procedures