Home Services Representative for Equal Opportunities Equal Opportunities Care and reconciliation Childcare Childcare Overview of offers Online Babysitting Exchange Familienservice Daycarecenters Paren
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
.handle.net/21.11116/0000-000A-C00C-0 %R 10.1007/978-3-031-20050-2_16 %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 [...] net/21.11116/0000-000A-C01E-C %D 2022 %B European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases %Z date of event: 2022-09-19 - 2022-09-23 %C Grenoble, France [...] 11116/0000-0010-6C38-7 %R 10.1007/s11263-024-02265-7 %7 2024-12-09 %D 2024 %8 09.12.2024 %J International Journal of Computer Vision %O Int. J. Comput. Vis. %I Kluwer Academic Publishers %C Hingham, Mass
net/21.11116/0000-000C-CC73-D %R 10.1007/978-3-031-28486-1_26 %D 2023 %B 24th International Conference on Passive and Active Measurement %Z date of event: 2023-03-21 - 2023-03-23 %C Virtual Event %B Passive [...] 3624846 %D 2023 %B ACM on Internet Measurement Conference %Z date of event: 2023-10-24 - 2023-10-26 %C Montreal, Canada %B IMC '23 %E Montpetit, Marie-José; Leivadeas, Aris %P 154 - 161 %I ACM %@ 9 [...] 651 %I Springer %@ 978-3-031-28485-4 %B Lecture Notes in Computer Science %N 13882 %U https://rdcu.be/c70Yu Research Interests In the world of Computers, I am mainly interested in Computer Networks, especially
net/21.11116/0000-000E-B1C4-C %R 10.1109/CVPR52733.2024.01950 %D 2024 %B 37th IEEE/CVF Conference on Computer Vision and Pattern Recognition %Z date of event: 2024-06-17 - 2024-06-21 %C Seattle, WA, USA %B [...] BibTeX pre-print version 2024 3 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 [...] eng %U http://hdl.handle.net/21.11116/0000-000F-D86C-5 %D 2024 %B 18th European Conference on Computer Vision %Z date of event: 2024-09-29 - 2024-10-04 %C Milano, Italy %B Computer Vision -- ECCV 2024 %I
code will be available at github.com/JoyHuYY1412/PersonaHOI 2024 2 Paper D2 D6 H. Wang, M. Mendiratta, C. Theobalt, and A. Kortylewski “FaceGPT: Self-supervised Learning to Chat about 3D Human Faces,” 2024
ranking by typicality and saliency scores. For high coverage, our method taps into the large-scale crawl C4 with broad web contents. The evaluation with human judgements shows the superior quality of the ASCENT++
handle.net/21.11116/0000-000C-181B-C %R 10.1145/3501712.3529734 %D 2022 %B 21st ACM Interaction Design and Children Conference %Z date of event: 2022-06-27 - 2022-06-30 %C Braga, Portugal %B Proceedings [...] http://hdl.handle.net/21.11116/0000-000C-7CD6-8 %R 10.1145/3542637.3542647 %D 2023 %B 6th Asia-Pacific Workshop on Networking %Z date of event: 2022-07-01 - 2022-07-02 %C Fuzhou, China %B 6th Asia-Pacific Workshop [...] 978-1-4503-9748-3 %U https://doi.org/10.1145/3542637.3542647 2022 Lin, G. C., Schoenfeld, I., Thompson, M., Xia, Y., Uz-Bilgin, C., & Leech, K. (2022). ”What Color Are the Fish’s Scales?” Exploring Parents’
