„parameterized“

Suchergebnisse

1.641 Treffer

• Parameterized Safety Verification of Round-Based Shared-Memory Systems
  Bertrand, Nathalie ; Markey, Nicolas ; Sankur, Ocan ; Waldburger, Nicolas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
  Allamigeon, Xavier ; Gaubert, Stéphane ; Katz, Ricardo D. ; Skomra, Mateusz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Lower Bounds of Approximating Parameterized k-Clique
  Lin, Bingkai ; Ren, Xuandi ; Sun, Yican ; Wang, Xiuhan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Complexity of Untangling Knots
  Legrand-Duchesne, Clément ; Rai, Ashutosh ; Tancer, Martin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs
  Lassota, Alexandra ; Łukasiewicz, Aleksander ; Polak, Adam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Functional Parameterized Suffix Trees in Compact Space
  Ganguly, Arnab ; Shah, Rahul ; Thankachan, Sharma V. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• (Re)packing Equal Disks into Rectangle
  Fomin, Fedor V. ; Golovach, Petr A. ; Inamdar, Tanmay ; Zehavi, Meirav 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hodge Decomposition and General Laplacian Solvers for Embedded Simplicial Complexes
  Black, Mitchell ; Nayyeri, Amir 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Sensitivity Oracles and Dynamic Algorithms Using Exterior Algebras
  Alman, Josh ; Hirsch, Dean 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• MaxSAT with Absolute Value Functions: A Parameterized Perspective
  Bannach, Max ; Fleischmann, Pamela ; Skambath, Malte 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Recognizing Map Graphs of Bounded Treewidth
  Angelini, Patrizio ; Bekos, Michael A. ; Da Lozzo, Giordano ; Gronemann, Martin ; Montecchiani, Fabrizio ; Tappini, Alessandra 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Algorithms for Upward Planarity
  Chaplick, Steven ; Di Giacomo, Emilio ; Frati, Fabrizio ; Ganian, Robert ; Raftopoulou, Chrysanthi N. ; Simonov, Kirill 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ETH-Tight Algorithms for Finding Surfaces in Simplicial Complexes of Bounded Treewidth
  Black, Mitchell ; Blaser, Nello ; Nayyeri, Amir ; Vågset, Erlend Raa 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Permutation Pattern Matching for Doubly Partially Ordered Patterns
  Bulteau, Laurent ; Fertin, Guillaume ; Jugé, Vincent ; Vialette, Stéphane 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial Permutations Comparison, Maintenance and Applications
  Levy, Avivit ; Porat, Ely ; Shalom, B. Riva 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compact Text Indexing for Advanced Pattern Matching Problems: Parameterized, Order-Isomorphic, 2D, etc. (Invited Talk)
  Thankachan, Sharma V. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Temporal Exploration Problems
  Erlebach, Thomas ; Spooner, Jakob T. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Covering Many (Or Few) Edges with k Vertices in Sparse Graphs
  Koana, Tomohiro ; Komusiewicz, Christian ; Nichterlein, André ; Sommer, Frank 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tight Bounds for Counting Colorings and Connected Edge Sets Parameterized by Cutwidth
  Groenland, Carla ; Mannens, Isja ; Nederlof, Jesper ; Szilágyi, Krisztina 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Detours in Directed Graphs
  Fomin, Fedor V. ; Golovach, Petr A. ; Lochet, William ; Sagunov, Danil ; Simonov, Kirill ; Saurabh, Saket 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik