Search

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

Home Services Representative for Equal Opportunities Equal Opportunities Care and reconciliation Childcare Childcare Overview of offers Online Babysitting Exchange Familienservice Daycarecenters Paren

%U http://hdl.handle.net/21.11116/0000-000F-B0C5-B %D 2024 %B 41at International Conference on Machine Learning %Z date of event: 2024-07-21 - 2024-07-27 %C Vienna, Austria %B Proceedings of the 41st I [...] Smoothing : %G eng %U http://hdl.handle.net/21.11116/0000-000F-D70F-F %I Universität des Saarlandes %C Saarbrücken %D 2024 %P XII, 57 p. %V master %9 master PuRe BibTeX

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 [...] net/21.11116/0000-000D-1F6C-9 %R 10.1109/CVPR52729.2023.01299 %D 2023 %B 36th IEEE/CVF Conference on Computer Vision and Pattern Recognition %Z date of event: 2023-06-18 - 2023-06-23 %C Vancouver, Canada %B

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

Gallenbacher: Abenteuer Informatik, auch als E-Book. B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner: Taschenbuch der Algorithmen (ISBN: 9783540763932 ) Minsky: The Society

preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement. We show that for any solvable group G all above tasks [...] footing, by drawing on techniques from Hamiltonian complexity theory in computer science, and Jordan and C* algebra results in mathematics. I will then explain how this proved to be far more fruitful than a

drama , article on our performance capture work, NewScientist, 2008 (both print and online edition). C. Theobalt, N. Ahmed, E. de Aguiar, G. Ziegler, H. Lensch, M. Magnor, H.-P. Seidel, Relightable 3D Video [...] Computational Photography and Video , MIT, Cambridge, USA, 2005. M. Li, S. Bihlmaier, L. Ahrenberg, C. Theobalt, M. Magnor, "A Synthetic Test Data Set for Rendering/Reconstruction Methods in EE2," MPEG [...] Doc. M9887, ISO/IEC JTC1/SC29/WG11, Trondheim, Norway, July 2003. B. Goldluecke, M. Magnor, M. Li, C. Theobalt, "EE2 - Methods for Model-based Scene Reconstruction and Real-Time Free Viewpoint Rendering

http://hdl.handle.net/21.11116/0000-000C-73BD-E %D 2023 %B Eleventh International Conference on Learning Representations %Z date of event: 2023-05-01 - 2023-05-05 %C Kigali, Rwanda %B Eleventh International [...] 11116/0000-000C-1846-B %U https://openreview.net/forum?id=PDrUPTXJI_A %D 2023 %B Eleventh International Conference on Learning Representations %Z date of event: 2023-05-01 - 2023-05-05 %C Kigali, Rwanda [...] net/21.11116/0000-000C-73A9-4 %R 10.1007/s11263-022-01723-4 %7 2022 %D 2023 %J International Journal of Computer Vision %O Int. J. Comput. Vis. %V 131 %& 626 %P 626 - 643 %I Springer %C New York, NY %@ false

38th Conference on Neural Information Processing Systems %Z date of event: 2024-12-10 - 2024-12-15 %C Vancouver, Canada %X B-cos Networks have been shown to be effective for obtaining highly human<br>i [...] %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 %P 293 - 310 %I Springer %@ 978-3-031-73463-2 %B Lecture [...] %D 2024 %B 18th European Conference on Computer Vision %Z date of event: 2024-09-29 - 2024-10-04 %C Milan, Italy %B Computer Vision -- ECCV 2024 %E Leonardis, Ale&#353;; Ricci, Elisa; Roth, Stefan; R