Konferenzbeitrag (463)

4941.
Konferenzbeitrag
Christakis, M.; Cottenier, T.; Filieri, A.; Luo, L.; Mansur, M. N.; Pike, L.; Rosner, N.; Schäf, M.; Sengupta, A.; Visser, W.: Input Splitting for Cloud-Based Static Application Security Testing Platforms. In: ESEC/FSE '22, S. 1367 - 1378 (Hg. Roychoudhury, A.; Cadar, C.; Kim, M.). 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Singapore, Singapore, 14. November 2022 - 18. November 2022. ACM, New York, NY (2022)
4942.
Konferenzbeitrag
Christen, S.; Kocabas, M.; Aksan, E.; Hwangbo, J.; Song, J.; Hilliges, O.: D-Grasp: Physically Plausible Dynamic Grasp Synthesis for Hand-Object Interactions. In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2022), S. 20545 - 20554. IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2022), New Orleans, LA, 18. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)
4943.
Konferenzbeitrag
Cianfrani, F.; Borodin, D.; Fantz, U.; Wünderlich, D.; Boerner, P.: Collisional-radiative model for transport simulations of neutrals in detached conditions. In: 48th EPS Conference on Plasma Physics, P2a.105 (Hg. Klinger, T.; Hobirk, J.; Orlando, S.; Lancia, L.; Maric, D. et al.). 48th EPS Conference on Plasma Physics, Virtual, 27. Juni 2022 - 01. Juli 2022. European Physical Society, Geneva (2022)
4944.
Konferenzbeitrag
Corona, E.; Pons-Moll, G.; Alenyà, G.; Moreno-Noguer, F.: Learned Vertex Descent: A New Direction for 3D Human Model Fitting. In: Computer Vision -- ECCV 2022, S. 145 - 164 (Hg. Avidan, S.; Brostow, G.; Cissé, M.; Farinella, G.; Hassner, T.). 17th European Conference on Computer Vision, Tel Aviv, Israel, 23. Oktober 2022 - 27. Oktober 2022. Springer, Berlin (2022)
4945.
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)
4946.
Konferenzbeitrag
Costello, P.; Proll, J. H. E.; Plunk, G. G.; Pueschel, M. J.: The universal instability in optimised stellarators. In: 48th EPS Conference on Plasma Physics, P1b.120 (Hg. Klinger, T.; Hobirk, J.; Orlando, S.; Lancia, L.; Maric, D. et al.). 48th EPS Conference on Plasma Physics, Virtual, 27. Juni 2022 - 01. Juli 2022. European Physical Society, Geneva (2022)
4947.
Konferenzbeitrag
Coudert, D.; Nusser, A.; Viennot, L.: Computing Graph Hyperbolicity Using Dominating Sets. In: Proceedings of the Symposium on Algorithm Engineering and Experiments, S. 78 - 90 (Hg. Phillips, C. A.; Speckman, B.). Symposium on Algorithm Engineering and Experiments , Alexandria, VA, USA, 09. Januar 2022 - 10. Januar 2022. SIAM, Philadelphia, PA (2022)
4948.
Konferenzbeitrag
Coupette, C.; Dalleiger, S.; Vreeken, J.: Differentially Describing Groups of Graphs. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, S. 3959 - 3967. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, 22. Februar 2022 - 01. März 2022. AAAI, Palo Alto, CA (2022)
4949.
Konferenzbeitrag
Cugu, I.; Mancini, M.; Chen, Y.; Akata, Z.: Attention Consistency on Visual Corruptions for Single-Source Domain Generalization. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, S. 4164 - 4173. Workshop on Learning With Limited Labelled Data for Image and Video Understanding, New Orleans, LA, USA , 20. Juni 2022. IEEE, Piscataway, NJ (2022)
4950.
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)
4951.
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)
4952.
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)
4953.
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)
4954.
Konferenzbeitrag
Das, D.; Gilbert, J.; Hajiaghayi, M.; Kociumaka, T.; Saha, B.; Saleh, H.: Õ(n + poly(k))-time Algorithm for Bounded Tree Edit Distance. In: FOCS 2022, S. 686 - 697. IEEE 63rd Annual Symposium on Foundations of Computer Science, Denver, CO, USA, 31. Oktober 2022 - 03. November 2022. IEEE, Piscataway, NJ (2022)
4955.
Konferenzbeitrag
Das, D.; Kociumaka, T.; Saha, B.: Improved Approximation Algorithms for Dyck Edit Distance and RNA Folding. In: 49th EATCS International Conference on Automata, Languages, and Programming, 49, 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)
4956.
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)
4957.
Konferenzbeitrag
Davidson, T.; Mace, J.: See It to Believe It? The Role of Visualisation in Systems Research. In: SoCC '22, S. 419 - 428. 13th Symposium on Cloud Computing, San Francisco, CA, USA, 07. November 2022 - 11. November 2022. ACM, New York, NY (2022)
4958.
Konferenzbeitrag
Demin, A.; Rahkooy, H.; Sturm, T.: F5: A REDUCE Package for Signature-based Gröbner Basis Computation. In: CASC 2022 - Computer Algebra in Scientific Computing. 24th International Workshop on Computer Algebra in Scientific Computing, Gebze, Turkey, 22. August 2022 - 26. August 2022. HAL (2022)
4959.
Konferenzbeitrag
Desharnais, M.; Vukmirović, P.; Blanchette, J.; Wenzel, M.: Seventeen Provers Under the Hammer. In: 13th International Conference on Interactive Theorem Proving, 8, S. 118 - 87 (Hg. Andronick, J.; de Moura, L.). 13th International Conference on Interactive Theorem Proving, Haifa, Israel, 07. August 2022 - 10. August 2022. Schloss Dagstuhl, Wadern (2022)
4960.
Konferenzbeitrag
Devidze, R.; Kamalaruban, P.; Singla, A.: Exploration-Guided Reward Shaping for Reinforcement Learning under Sparse Rewards. In: Advances in Neural Information Processing Systems 35, S. 5829 - 5842 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc. (2022)
Zur Redakteursansicht