Konferenzbeitrag (177)

3841.
Konferenzbeitrag
Corvelo Benz, N.; Gomez Rodriguez, M.: Counterfactual Inference of Second Opinions. In: Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, S. 453 - 463 (Hg. Cussens, J.; Zhang, K.). Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, Eindhoven, The Netherlands, 01. August 2022 - 05. August 2022. PMLR (2022)
3842.
Konferenzbeitrag
D'Costa, J.; Karimov, T.; Majumdar, R.; Ouaknine, J.; Salamati, M.; Worrell, J.: The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. In: 47th International Symposium on Mathematical Foundations of Computer Science, 40, S. 1 - 13 (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)
3843.
Konferenzbeitrag
D'Costa, J.; Lefaucheux, E.; Neumann, E.; Ouaknine, J.; Worrell, J.: Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In: 47th International Symposium on Mathematical Foundations of Computer Science, 39, S. 1 - 14 (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)
3844.
Konferenzbeitrag
Dang, H.-H.; Jung, J.; Choi, J.; Nguyen, D.-T.; Mansky, W.; Kang, J.; Dreyer, D.: Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic. In: PLDI '22, S. 792 - 808 (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)
3845.
Konferenzbeitrag
Das, A.; Xian, Y.; He, Y.; Schiele, B.; Akata, Z.: (SP)2Net for Generalized Zero-Label Semantic Segmentation. In: Pattern Recognition, S. 235 - 249 (Hg. Bauckhage, C.; Gall, J.; Schwing, A.). 43rd German Conference on Pattern Recognition, Bonn, Germany, 28. September 2021 - 01. Oktober 2021. Springer, Berlin (2022)
3846.
Konferenzbeitrag
Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Gummadi, K.: Alexa, in you, I trust! Fairness and Interpretability Issues in E-commerce Search through Smart Speakers. In: WWW '22, S. 3695 - 3705 (Hg. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), 25. April 2022 - 29. April 2022. ACM, New York, NY (2022)
3847.
Konferenzbeitrag
Desharnais, M.; Vukmirović, P.; Blanchette, J. C.; Wenzel, M.: Seventeen Provers Under the Hammer. In: 13th International Conference on Interactive Theorem Proving, 8, S. 118 - 87 (Hg. Andronick, J.; Moura, L.). 13th International Conference on Interactive Theorem Proving, Haifa, Israel, 07. August 2022 - 10. August 2022. Schloss Dagstuhl, Wadern (2022)
3848.
Konferenzbeitrag
Ding, J.; Xue, N.; Xia, G.-S.; Dai, D.: Decoupling Zero-Shot Semantic Segmentation. 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)
3849.
Konferenzbeitrag
Dooley, S.; Turjeman, D.; Dickerson, J. P.; Redmiles, E. M.: Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, S. 1 - 21 (Hg. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 30. April 2022 - 05. Mai 2022. ACM, New York, NY (2022)
3850.
Konferenzbeitrag
Dreier, J.; Gajarský, J.; Kiefer, S.; Pilipczuk, M.; Toruńczyk, S.: Treelike Decompositions for Transductions of Sparse Graphs. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 31, S. 1 - 14 (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)
3851.
Konferenzbeitrag
Eniser, H. F.; Gros, T. P.; Wüstholz, V.; Hoffmann, J.; Christakis, M.: Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In: ISSTA '22, S. 52 - 63 (Hg. Ryu, S.; Smaragdakis, Y.). 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, 18. Juli 2022 - 22. Juli 2022. ACM, New York, NY (2022)
3852.
Konferenzbeitrag
Espinel-Rios, S.; Morabito , B.; Pohlodek, J.; Bettenbrock, K.; Klamt, S.; Findeisen, R.: Optimal control and dynamic modulation of the ATPase gene expression for enforced ATP wasting in batch fermentations. In: IFAC-PapersOnLine, Bd. 55, S. 174 - 180. 13th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, DYCOPS 2022, Busan, Korea, 14. Juni 2022 - 17. Juni 2022. (2022)
3853.
Konferenzbeitrag
Fiebig, T.; Aschenbrenner, D.: 13 Propositions on an Internet for a "Burning World". In: TAURIN+BGI '22, S. 1 - 5 (Hg. Sileno, G.; Abhishta, A.; Becker, C.). ACM SIGCOMM 2022 Joint Workshops on Technologies, Applications, and Uses of a Responsible Internet and Building Greener Internet , Amsterdam, The Netherlands, 22. August 2022. ACM, New York, NY (2022)
3854.
Konferenzbeitrag
Finkbeiner, B.; Mallik, K.; Passing, N.; Schledjewski, M.; Schmuck, A.-K.: BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Hg. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), 04. Mai 2022 - 06. Mai 2022. ACM, New York, NY (2022)
3855.
Konferenzbeitrag
Galby, E.; Marx, D.; Philipp, S.; Sharma, R.; Tale, P.: Parameterized Complexity of Weighted Multicut in Trees. In: Graph-Theoretic Concepts in Computer Science, S. 257 - 270 (Hg. Bekos, M. A.; Kaufmann, M.). 48th International Workshop on Graph-Theoretic Concepts in Computer Science, Tübingen, Germany, 22. Juni 2022 - 24. Juni 2022. Springer, Berlin (2022)
3856.
Konferenzbeitrag
Galke, L.; Cuber, I.; Meyer, C.; Nölscher, H. F.; Sonderecker, A.; Scherp, A.: General cross-architecture distillation of pretrained language models into matrix embedding. In: Proceedings of the IEEE Joint Conference on Neural Networks (IJCNN 2022), part of the IEEE World Congress on Computational Intelligence (WCCI 2022). the IEEE Joint Conference on Neural Networks (IJCNN 2022), part of the IEEE World Congress on Computational Intelligence (WCCI 2022), Padua, Italy, 18. Juli 2022 - 23. Juli 2022. (2022)
3857.
Konferenzbeitrag
Galke, L.; Scherp, A.: Bag-of-words vs. graph vs. sequence in text classification: Questioning the necessity of text-graphs and the surprising strength of a wide MLP. In: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, S. 4038 - 4051 (Hg. Muresan, S.; Nakov, P.; Villavicencio , A.). 60th Annual Meeting of the Association for Computational Linguistics, Dublin, Ireland, 22. Mai 2022 - 27. Mai 2022. Association for Computational Linguistics, Dublin (2022)
3858.
Konferenzbeitrag
Ganardi, M.; Majumdar, R.; Pavlogiannis, A.; Schütze, L.; Zetzsche, G.: Reachability in Bidirected Pushdown VASS. In: 49th EATCS International Conference on Automata, Languages, and Programming, 124, S. 1 - 20 (Hg. Bojańczyk, M.; Merelli, E.; Woodruff, D. P.). 49th International Colloquium on Automata, Languages, and Programming, Paris, France, 04. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)
3859.
Konferenzbeitrag
Geeng, C.; Harris, M.; Redmiles, E. M.; Roesner, F.: "Like Lesbians Walking the Perimeter": Experiences of U.S. LGBTQ+ Folks With Online Security, Safety, and Privacy Advice. In: 31st USENIX Security Symposium, S. 305 - 322. 31st USENIX Security Symposium, Boston, MA, USA, 10. August 2022 - 12. August 2022. USENIX Association (2022)
3860.
Konferenzbeitrag
Ghosh, A.; Tschiatschek, S.; Devlin, S.; Singla, A.: Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes. In: Artificial Intelligence in Education, S. 28 - 40 (Hg. Rodrigo, M. M.; Matsuda, N.; Cristea, A. I.; Dimitroa, V.). 23rd International Conference on Artificial Intelligence in Education, Durham, UK, 27. Juli 2022 - 31. Juli 2022. Springer, Berlin (2022)
Zur Redakteursansicht