Konferenzbeitrag (176)

3801.
Konferenzbeitrag
Bringmann, K.; Cassis, A.; Fischer, N.; Nakos, V.: Improved Sublinear-Time Edit Distance for Preprocessed Strings. In: 49th EATCS International Conference on Automata, Languages, and Programming, 32, 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)
3802.
Konferenzbeitrag
Bringmann, K.; Cassis, A.; Fischer, N.; Nakos, V.: Almost-Optimal Sublinear-Time Edit Distance in the Low Distance Regime. In: STOC '22, S. 1102 - 1115 (Hg. Leonardi, S.; Gupta, A.). Fifty Fourth Annual ACM Symposium on Theory of Computing, Rome, Italy, 20. Juni 2022 - 24. Juni 2022. ACM, New York, NY (2022)
3803.
Konferenzbeitrag
Bringmann, K.; Kisfaludi-Bak, S.; Künnemann, M.; Marx, D.; Nusser, A.: Dynamic Time Warping Under Translation: Approximation Guided by Space-Filling Curves. In: 38th International Symposium on Computational Geometry, 20, S. 1 - 17 (Hg. Goaoc, X.; Kerber, M.). 38th International Symposium on Computational Geometry, Berlin, Germany, 07. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)
3804.
Konferenzbeitrag
Bringmann, K.; Kisfaludi-Bak, S.; Künnemann, M.; Nusser, A.; Parsaeian, Z.: Towards Sub-Quadratic Diameter Computation in Geometric Intersection Graphs. In: 38th International Symposium on Computational Geometry, 21, S. 1 - 16 (Hg. Goaoc, X.; Kerber, M.). 38th International Symposium on Computational Geometry, Berlin, Germany, 07. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)
3805.
Konferenzbeitrag
Bromberger, M.; Dragoste, I.; Faqeh, R.; Fetzer, C.; González, L.; Krötzsch, M.; Marx, M.; Murali, H. K.; Weidenbach, C.: A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 480 - 501 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)
3806.
Konferenzbeitrag
Cai, S.; Obukhov, A.; Dai, D.; Van Gool, L.: Pix2NeRF: Unsupervised Conditional Pi-GAN for Single Image to Neural Radiance Fields Translation. 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)
3807.
Konferenzbeitrag
Chen, F.-D.; Wahn, H.; Xue, T.; Jung, Y.; Straguzzi, J. N.; Azadeh, S. S.; Stalmashonak, A.; Chua, H.; Luo, X.; Shah, P. et al.; Chameh, H. M.; Lo, P. G.-Q.; Valiante, T. A.; Sacher, W. D.; Poon, J. K. S.: Implantable neural probe system for patterned photostimulation and electrophysiology recording. In: CLEO: Science and Innovations 2022, JTh6A.7. Conference on Lasers and Electro-Optics, San Jose, California United States, 15. Mai 2022 - 20. Mai 2022. Optica Publishing Group (2022)
3808.
Konferenzbeitrag
Chhabra, A.; Singla, A.; Mohapatra, P.: Fair Clustering Using Antidote Data. In: Proceedings of The Algorithmic Fairness through the Lens of Causality and Robustness, S. 19 - 39 (Hg. Schrouf, J.; Dieng, A.; Rateike, M.; Kwegyir-Aggrey, K.; Farnadi, G.). Algorithmic Fairness through the Lens of Causality and Robustness Workshop, Virtual, 13. Dezember 2021. PMLR (2022)
3809.
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)
3810.
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)
3811.
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)
3812.
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)
3813.
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)
3814.
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)
3815.
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)
3816.
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)
3817.
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)
3818.
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)
3819.
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)
3820.
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)
Zur Redakteursansicht