updated version. Large Scale Learning In our recent work [1] we learn a SVM with MeanSGD. The Matlab/C++ trains several classes in parallel using multi-core hardware, loading the data only once to memory [...] sure the binary is on the path and you provide data of the type "single". Alternatively change the C++ code to double. Image Features The features are zipped Matlab (mat) files, one per image. Fisher training
(NeurIPS 2024), Vancouver, Canada. 7 Article D2 D6 R. Yunus, J. E. Lenssen, M. Niemeyer, Y. Liao, C. Rupprecht, C. Theobalt, G. Pons-Moll, J.-B. Huang, V. Golyanik, and E. Ilg, “Recent Trends in 3D Reconstruction [...] Vision -- ECCV 2024, Milan, Italy, 2024. 13 Conference paper D2 N. Shvetsova, A. Kukleva, X. Hong, C. Rupprecht, B. Schiele, and H. Kuehne “HowToCaption: Prompting LLMs to Transform Video Annotations at [...] Universal Language Interface,” in Computer Vision -- ECCV 2024, Milano, Italy, 2024. 15 Conference paper D2 C. Wewer, K. Raj, E. Ilg, B. Schiele, and J. E. Lenssen “LatentSplat: Autoencoding Variational Gaussians
-0010-3E7C-F %R 10.4230/LIPIcs.ITP.2024.12 %U urn:nbn:de:0030-drops-207401 %D 2024 %B 15th International Conference on Interactive Theorem Proving %Z date of event: 2024-09-09 - 2024-09-14 %C Tbilisi, [...] Dynamical Systems %V 23 %N 1 %& 256 %P 256 - 296 %I SIAM %C Philadelphia, PA %@ false DOI PuRe BibTeX 5 Article RG1 A. Desoeuvres, A. Iosif, C. Lüders, O. Radulescu, H. Rahkooy, M. Seiß, and T. Sturm “A [...] Publications Last Year Publications - Last Year 1 Conference paper RG1 M. Bromberger, S. Schwarz, and C. Weidenbach “Automatic Bit- and Memory-Precise Verification of eBPF Code,” in Proceedings of 25th Conference
handle.net/21.11116/0000-000F-042C-C %R 10.1007/978-3-031-56060-6_20 %D 2024 %B 46th European Conference on Information Retrieval %Z date of event: 2024-03-24 - 2024-03-28 %C Glasgow, UK %B Advances in Information [...] %N 6 %& 1 %P 1 - 42 %Z sequence number: 150 %I ACM %C New York, NY %@ false DOI PuRe BibTeX publisher version 11 Proceedings D5 S. Razniewski, J.-C. Kalo, S. Singhania, J. Z. Pan, T.-P. Nguyen, and B. [...] 11116/0000-000F-FD24-C %R 10.1145/3627673.3679999 %D 2024 %B 33rd ACM International Conference on Information and Knowledge Management %Z date of event: 2024-10-21 - 2024-10-25 %C Boise, ID, USA %B CIKM
2024-02-14 %C Cork, Ireland %B TEI '24 %P 1 - 8 %Z sequence number: 89 %I ACM %@ 979-8-4007-0402-4 DOI PuRe BibTeX 14 Conference paper D4 D6 X. Huang, C. Salaün, C. Vasconcelos, C. Theobalt, C. Oztireli [...] 24, TITLE = {Enhancing Image Quality Prediction with Self-supervised Visual Masking}, AUTHOR = {{\cC}o{\u g}alan, U{\u g}ur and Bemana, Mojtaba and Seidel, Hans-Peter and Myszkowski, Karol}, LANGUAGE [...] 2024 %J The Visual Computer %I Springer International %C Berlin %@ false DOI PuRe BibTeX publisher version 4 Article D4 D6 F. Mujkanovic, N. E. Nsampi, C. Theobalt, H.-P. Seidel, and T. Leimkühler “Neural
- 19 %Z sequence number: 20230141 %I Royal Society %C London %@ false DOI PuRe BibTeX publisher version 27 Paper D1 C. Coupette, A. Montaseri, and C. Lenzen “Model-Agnostic Approximation of Constrained [...] handle.net/21.11116/0000-0010-2ED4-C %R 10.1137/1.9781611977912.189 %D 2024 %B Annual ACM-SIAM Symposium on Discrete Algorithms %Z date of event: 2024-01-07 - 2024-01-10 %C Alexandria, VA, USA %B Proceedings [...] handle.net/21.11116/0000-000F-143C-8 %R 10.1145/3670865.3673544 %D 2024 %B 25th ACM Conference on Economics and Computation %Z date of event: 2024-07-08 - 2024-07-11 %C New Heaven, CT, USA %B EC '24 %P
References [1] Learning People Detection Models from Few Training Samples , L. Pishchulin, A. Jain, C. Wojek, M. Andriluka, T. Thormaehlen and B. Schiele, IEEE Conference on Computer Vision and Pattern [...] [2] In Good Shape: Robust People Detection based on Appearance and Shape , L. Pishchulin, A. Jain, C. Wojek, T. Thormaehlen and B. Schiele, British Machine Vision Conference (BMVC), September, (2011) How
http://hdl.handle.net/21.11116/0000-000C-1853-C %D 2022 %B 36th Conference on Neural Information Processing Systems %Z date of event: 2022-11-28 - 2022-12-09 %C New Orleans, LA, USA %B Advances in Neural [...] 11116/0000-000C-11CC-B %R 10.1007/s11263-022-01710-9 %U https://rdcu.be/c14JE %7 2022 %D 2022 %J International Journal of Computer Vision %O Int. J. Comput. Vis. %V 131 %& 531 %P 531 - 551 %I Springer %C New York [...] http://hdl.handle.net/21.11116/0000-000C-957F-E %R 10.1007/978-3-031-19812-0_17 %D 2022 %B 17th European Conference on Computer Vision %Z date of event: 2022-10-23 - 2022-10-27 %C Tel Aviv, Israel %B Computer Vision
within RG1 M. Bromberger, L. Leutgeb , C. Weidenbach Symbolic Model Construction for Saturated Constrained Horn Clauses ( arXiv ) FroCoS 2023 M. Bromberger, L. Leutgeb , C. Weidenbach An Efficient Subsumption [...] Subsumption Test Pipeline for BS(LRA) Clauses IJCAR 2022 M. Bromberger, T. Gehl, L. Leutgeb , C. Weidenbach A Two-Watched Literal Scheme for First-Order Logic PAAR 2022 Activities Member of the Artifact Evaluation [...] Computational Logic, cohort of 2017. Teaching Tutor in Theoretical Computer Science and Logics taught by C. Fermüller, R. Freund, A. Leitsch, M. Oswald, and G. Salzer at TU Wien during the 2017 summer semester
