Conference Paper (185)

161.
Conference Paper
Bhattacharya, S.; Henzinger, M.; Nanongkai, D.: A New Deterministic Algorithm for Dynamic Set Cover. In: IEEE 60th Annual Symposium on Foundations of Computer Science, pp. 406 - 423. IEEE 60th Annual Symposium on Foundations of Computer Science, Baltimore, MD, USA, November 09, 2019 - November 12, 2019. IEEE, Piscataway, NJ (2019)
162.
Conference Paper
Bhattacharyya, A.; Fritz, M.; Schiele, B.: Bayesian Prediction of Future Street Scenes using Synthetic Likelihoods. In: International Conference on Learning Representations. International Conference on Learning Representations, New Orleans, LA, USA, May 06, 2019 - May 09, 2019. (2019)
163.
Conference Paper
Bhattacharyya, A.; Hanselmann, M.; Fritz, M.; Schiele, B.; Straehle, C.-N.: Conditional Flow Variational Autoencoders for Structured Sequence Prediction. In: Bayesian Deep Learning NeurIPS 2019 Workshop. 4th Workshop on Bayesian Deep Learning, Vancouver, Canada, December 13, 2019. bayesiandeeplearning.org (2019)
164.
Conference Paper
Bilò, D.; Gualà, L.; Leucci, S.; Proietti, G.: Tracking Routes in Communication Networks. In: Structural Information and Communication Complexity, pp. 81 - 93 (Eds. Censor-Hillel, K.; Flammini, M.). 26th International Colloquium on Structural Information and Communication Complexity, L’Aquila, Italy, July 01, 2019 - July 04, 2019. Springer, Berlin (2019)
165.
Conference Paper
Blanchette, J. C.: Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk). In: CPP'19, pp. 1 - 13 (Eds. Mahboubi, A.; Myreen, M. O.). 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Cascais, Portugal, January 14, 2019 - January 15, 2019. ACM, New York, NY (2019)
166.
Conference Paper
Bojja, A. K.; Mueller, F.; Malireddi, S. R.; Oberweger, M.; Lepetit, V.; Theobalt, C.; Yi, K. M.; Tagliasacchi, A.: HandSeg: An Automatically Labeled Dataset for Hand Segmentation from Depth Images. In: 16th Conference on Computer and Robot Vision, pp. 151 - 158. 16th Conference on Computer and Robot Vision, Kingston, Canada, May 29, 2019 - May 31, 2019. IEEE, Piscataway, NJ (2019)
167.
Conference Paper
Bringmann, K.: Fine-Grained Complexity Theory (Tutorial). In: 36th Symposium on Theoretical Aspects of Computer Science, 4, pp. 1 - 7 (Eds. Niedermeier, R.; Paul, C.). 36th Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, March 13, 2019 - March 16, 2019. Schloss Dagstuhl, Wadern (2019)
168.
Conference Paper
Bringmann, K.; Fischer, N.; Künnemann, M.: A Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of ∃k∀-Quantified First-Order Graph Properties. In: 34th Computational Complexity Conference, 31, pp. 1 - 27 (Ed. Shpilka, A.). 34th Computational Complexity Conference, New Brunswick, NJ, USA, July 18, 2019 - July 20, 2019. Schloss Dagstuhl, Wadern (2019)
169.
Conference Paper
Bringmann, K.; Husfeldt, T.; Magnusson, M.: Multivariate Analysis of Orthogonal Range Searching and Graph Distances Parameterized by Treewidth. In: 13th International Symposium on Parameterized and Exact Computation, 4, pp. 1 - 13 (Eds. Paul, C.; Pilipczuk, M.). 13th International Symposium on Parameterized and Exact Computation, Helsinki, Finland, August 20, 2018 - August 24, 2018. Schloss Dagstuhl, Wadern (2019)
170.
Conference Paper
Bringmann, K.; Kisfaludi-Bak, S.; Pilipczuk, M.; van Leeuwen, E. J.: On Geometric Set Cover for Orthants. In: 27th Annual European Symposium on Algorithms, 26, pp. 1 - 18 (Eds. Bender, M. A.; Svensson, O.; German, G.). 27th Annual European Symposium on Algorithms, Munich/Garching, Germany, September 09, 2019 - September 11, 2019. Schloss Dagstuhl, Wadern (2019)
171.
Conference Paper
Bringmann, K.; Künnemann, M.; Nusser, A.: Fréchet Distance Under Translation: Conditional Hardness and an Algorithm via Offline Dynamic Grid Reachability. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 2902 - 2921 (Ed. Chan, T. M.). 30th Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, January 06, 2019 - January 09, 2019. SIAM, Philadelphia, PA (2019)
172.
Conference Paper
Bringmann, K.; Künnemann, M.; Nusser, A.: Walking the Dog Fast in Practice: Algorithm Engineering of the Fréchet Distance. In: 35th International Symposium on Computational Geometry, 17, pp. 1 - 21 (Eds. Barequet, G.; Wang, Y.). 35th International Symposium on Computational Geometry, Portland, OR, USA, June 18, 2019 - June 21, 2019. Schloss Dagstuhl, Wadern (2019)
173.
Conference Paper
Bringmann, K.; Künnemann, M.; Węgrzycki, K.: Approximating APSP without Scaling: Equivalence of Approximate Min-Plus and Exact Min-Max. In: STOC '19, pp. 943 - 954 (Eds. Charikar, M.; Cohen, E.). 51st Annual ACM Symposium on the Theory of Computing, Phoenix, AZ, USA, June 23, 2019 - June 26, 2019. ACM, New York, NY (2019)
174.
Conference Paper
Bringmann, K.; Künnemann, M.; Wellnitz, P.: Few Matches or Almost Periodicity: Faster Pattern Matching with Mismatches in Compressed Texts. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1126 - 1145 (Ed. Chan, T. M.). 30th Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, USA, January 06, 2019 - January 09, 2019. SIAM, Philadelphia, PA (2019)
175.
Conference Paper
Bringmann, K.; Ray Chaudhury, B.: Polyline Simplification has Cubic Complexity. In: 35th International Symposium on Computational Geometry, 18, pp. 1 - 16 (Eds. Barequet, G.; Wang, Y.). 35th International Symposium on Computational Geometry, Portland, OR, USA, June 18, 2019 - June 21, 2019. Schloss Dagstuhl, Wadern (2019)
176.
Conference Paper
Bromberger, M.; Fleury, M.; Schwarz, S.; Weidenbach, C.: SPASS-SATT: A CDCL(LA) Solver. In: Automated Deduction -- CADE 27, pp. 111 - 122 (Ed. Fontaine, P.). 27th International Conference on Automated Deduction, Natal, Brazil, August 27, 2019 - August 30, 2019. Springer, Berlin (2019)
177.
Conference Paper
Buchin, K.; Driemel, A.; van de L'Isle, N.; Nusser, A.: klcluster: Center-based Clustering of Trajectories. In: 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, pp. 496 - 499 (Eds. Banaei-Kashani, F.; Trajcevski, G.; Güting, R. H.; Kulik, L.; Newsam, S.). 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Chicago, IL, USA, November 05, 2019 - November 08, 2019. ACM, New York, NY (2019)
178.
Conference Paper
Bund, J.; Lenzen, C.; Rosenbaum, W.: Fault Tolerant Gradient Clock Synchronization. In: PODC '19, pp. 357 - 365. ACM Symposium on Principles of Distributed Computing, Toronto, Canada, July 29, 2019 - August 02, 2019. ACM, New York, NY (2019)
179.
Conference Paper
Castelli Aleardi, L.; Salihoglu, S.; Singh, G.; Ovsjanikov, M.: Spectral Measures of Distortion for Change Detection in Dynamic Graphs. In: Complex Networks and Their Applications VII, pp. 54 - 66 (Eds. Aiello, L. M.; Cherifi, C.; Cherifi, H.; Lambiotte, R.; Lió, P. et al.). 7th International Conference on Complex Networks and Their Applications , Cambridge, UK, December 11, 2018 - December 13, 2018. Springer, New York, NY (2019)
180.
Conference Paper
Chakraborty, A.; Mota, N.; Biega, A. J.; Gummadi, K. P.; Heidari, H.: On the Impact of Choice Architectures on Inequality in Online Donation Platforms. In: Proceedings of The World Wide Web Conference, pp. 2623 - 2629 (Ed. McAuley, J.). The Web Conference, San Francisco, CA, USA, May 13, 2019 - May 17, 2019. ACM, New York, NY (2019)
Go to Editor View