Loading...
Derniers dépôts
-
Rémi Marsal, Florian Chabot, Angélique Loesch, William Grolleau, Hichem Sahbi. MonoProb: self-supervised monocular depth estimation with interpretable incertainty. WACV 2024 - IEEE/CVF Winter Conference on Applications of Computer Vision, Jan 2024, Waikoloa, United States. pp.3625-3634, ⟨10.1109/WACV57701.2024.00360⟩. ⟨cea-04557699⟩
-
Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, et al.. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩. ⟨hal-04536418⟩