Konferenzbeitrag (176)

3861.
Konferenzbeitrag
Li, Y.; Zhang, D.; Keuper, M.; Khoreva, A.: Intra-Source Style Augmentation for Improved Domain Generalization. In: 2023 IEEE Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision, Waikoloa Village, HI, USA, 03. Januar 2023 - 07. Januar 2023. IEEE, Piscataway, NJ (angenommen)
3862.
Konferenzbeitrag
Likhachev, A.; Ponomarenko, S.; Kishko, S.; Kovshov, Y.; Zheltov, V.; Khutoryan, E.; Moseev, D.; Stange, T.; Kuleshov, A.: Development and Test of 175 GHz Clinotron Tube. In: 2021 International Vacuum Electronics Conference (IVEC), o. P.. 22nd International Vacuum Electronics Conference (IVEC 2021), Virtual, 27. April 2021 - 30. April 2021. IEEE, New York, NY (2022)
3863.
Konferenzbeitrag
Lipton, R.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Purser, D.; Worrell, J.: On the Skolem Problem and the Skolem Conjecture. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 5, S. 1 - 9 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)
3864.
Konferenzbeitrag
Liu, Y.; Peng, S.; Liu, L.; Wang, Q.; Wang, P.; Theobalt, C.; Zhou, X.; Wang, W.: Neural Rays for Occlusion-aware Image-based Rendering. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 7814 - 7823. 35th IEEE Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)
3865.
Konferenzbeitrag
Lohrey, M.; Rosowski, A.; Zetzsche, G.: Membership Problems in Finite Groups. In: 47th International Symposium on Mathematical Foundations of Computer Science, 71, S. 1 - 16 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science , Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)
3866.
Konferenzbeitrag
Luca, F.; Ouaknine, J.; Worrell, J.: Algebraic Model Checking for Discrete Linear Dynamical Systems. In: Formal Modeling and Analysis of Timed Systems, S. 3 - 15 (Hg. Bogomolov, S.; Parker, D.). 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, 13. September 2022 - 15. September 2022. Springer, Berlin (2022)
3867.
Konferenzbeitrag
Luca, F.; Ouaknine, J.; Worrell, J.: A Universal Skolem Set of Positive Lower Density. In: 47th International Symposium on Mathematical Foundations of Computer Science, 73, S. 1 - 12 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)
3868.
Konferenzbeitrag
Lyu, L.; Tewari, A.; Leimkühler, T.; Habermann, M.; Theobalt, C.: Neural Radiance Transfer Fields for Relightable Novel-View Synthesis with Global Illumination. In: Computer Vision -- ECCV 2022, S. 153 - 169 (Hg. Avidan, S.; Brostow, G.; Cissé, M.; Farinella, G. M.; Hassner, T.). 17th European Conference on Computer Vision, Tel Aviv, Israel, 23. Oktober 2022 - 27. Oktober 2022. Springer, Berlin (2022)
3869.
Konferenzbeitrag
Ma, X.; Wang, Z.; Zhan, Y.; Zheng, Y.; Wang, Z.; Dai, D.; Lin, C.-W.: Both Style and Fog Matter: Cumulative Domain Adaptation for Semantic Foggy Scene Understanding. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition. 35th IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (angenommen)
3870.
Konferenzbeitrag
Matsushita, Y.; Denis, X.; Jourdan, J.-H.; Dreyer, D.: RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code. In: PLDI '22, S. 841 - 856 (Hg. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, 13. Juni 2022 - 17. Juni 2022. ACM, New York, NY (2022)
3871.
Konferenzbeitrag
Menapace, W.; Lathuilière, S.; Siarohin, A.; Theobalt, C.; Tulyakov, S.; Golyanik, V.; Ricci, E.: Playable Environments: Video Manipulation in Space and Time. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 3574 - 3583. 35th IEEE Conference on Computer Vision and Pattern Recognition, New Orleans, LA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)
3872.
Konferenzbeitrag
Merkx, D.; Frank, S. L.; Ernestus, M.: Seeing the advantage: Visually grounding word embeddings to better capture human semantic knowledge. In: Proceedings of the Workshop on Cognitive Modeling and Computational Linguistics (CMCL 2022), S. 1 - 11 (Hg. Chersoni, E.; Hollenstein, N.; Jacobs, C.; Oseki, Y.; Prévot, L. et al.). Workshop on Cognitive Modeling and Computational Linguistics (CMCL 2022), Dublin, Ireland, 26. Mai 2022. Association for Computational Linguistics (ACL), Stroudsburg, PA, USA (2022)
3873.
Konferenzbeitrag
Mishra, C.; Skantze, G.: Knowing where to look: A planning-based architecture to automate the gaze behavior of social robots. In: Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), S. 1201 - 1208. the 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), Napoli, Italy, 29. August 2022 - 02. September 2022. (2022)
3874.
Konferenzbeitrag
Morabito, B.; Pohlodek, J.; Kranert, L.; Espinel-Rios, S.; Findeisen, R.: Efficient and Simple Gaussian Process Supported Stochastic Model Predictive Control for Bioreactors using HILO-MPC. In: IFAC-PapersOnLine, Bd. 55, S. 922 - 927. 13th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, DYCOPS 2022, Busan, Korea, 14. Juni 2022 - 17. Juni 2022. (2022)
3875.
Konferenzbeitrag
Morris, C.; Rattan, G.; Kiefer, S.; Ravanbakhsh, S.: SpeqNets: Sparsity-aware Permutation-equivariant Graph Networks. In: Proceedings of the 39th International Conference on Machine Learning, S. 16017 - 16042 (Hg. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)
3876.
Konferenzbeitrag
Müller, P.; Braun, A.; Keuper, M.: Impact of Realistic Properties of the Point Spread Function on Classification Tasks to Reveal a Possible Distribution Shift. In: NeurIPS 2022 Workshop on Distribution Shifts: Connecting Methods and Applications. NeurIPS 2022 Workshop on Distribution Shifts: Connecting Methods and Applications, New Orelans, LO, 03. Dezember 2022. OpenReview.net (2022)
3877.
Konferenzbeitrag
Nanda, V.; Speicher, T.; Kolling, C.; Dickerson, J. P.; Gummadi, K.; Weller, A.: Measuring Representational Robustness of Neural Networks Through Shared Invariances. In: Proceedings of the 39th International Conference on Machine Learning, S. 16368 - 16382 (Hg. Chaudhuri, K.; Jegelka, S.; Song, L.; Szepesvari, C.; Niu, G. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, 17. Juli 2022 - 23. Juli 2022. (2022)
3878.
Konferenzbeitrag
Nayak, S. P.; Neider, D.; Roy, R.; Zimmermann, M.: Robust Computation Tree Logic. In: NASA Formal Methods, S. 538 - 556 (Hg. Deshmukh, J. V.; Havelund, K.; Perez, I.). 14th NASA Formal Methods Symposium, Pasadena, CA, USA, 24. Mai 2022 - 27. Mai 2022. Springer, Berlin (2022)
3879.
Konferenzbeitrag
Nayak, S. P.; Neider, D.; Zimmermann, M.: Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. In: Leveraging Applications of Formal Methods, Verification and Validation, S. 149 - 173 (Hg. Margaria, T.; Steffen, B.). 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, 22. Oktober 2022 - 30. Oktober 2022. Springer, Berlin (2022)
3880.
Konferenzbeitrag
Nguyen, T.; Yates, A.; Zirikly, A.; Desmet, B.; Cohan, A.: Improving the Generalizability of Depression Detection by Leveraging Clinical Questionnaires. In: The 60th Annual Meeting of the Association for Computational Linguistics, S. 8446 - 8459 (Hg. Muresan, S.; Nakov, P.; Villavicencio, A.). 60th Annual Meeting of the Association for Computational Linguistic, Dublin, Ireland, 22. Mai 2022 - 27. Mai 2022. ACL, Stroudsbourg, PA (2022)
Zur Redakteursansicht