„Informatik“
Suchergebnisse
10.000+ Treffer
-
BoLD: Fast and Cheap Dispute Resolution
-
Inductive Predicate Synthesis Modulo Programs
-
What Is a Spatio-Temporal Model Good For?: Validity as a Function of Purpose and the Questions Answered by a Model
-
Front Matter, Table of Contents, Preface, Conference Organization
-
A Spectrum of Approximate Probabilistic Bisimulations
-
Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures
-
End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation
-
Demonic Variance and a Non-Determinism Score for Markov Decision Processes
-
Specification and Automatic Verification of Computational Reductions
-
Query Maintenance Under Batch Changes with Small-Depth Circuits
-
Oracle-Augmented Prophet Inequalities
-
Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: A Complete Classification
-
Problems in NP Can Admit Double-Exponential Lower Bounds When Parameterized by Treewidth or Vertex Cover
-
Approximation Schemes for Geometric Knapsack for Packing Spheres and Fat Objects
-
The Rational Construction of a Wheeler DFA
-
No-Dimensional Tverberg Partitions Revisited
-
Local Spanners Revisited
-
Near Optimal Locality Sensitive Orderings in Euclidean Space
-
Approximating the Geometric Knapsack Problem in Near-Linear Time and Dynamically
-
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words