- On the complexity of bidirected interleaved Dyck-reachability Yuanbo Li Qirun Zhang Thomas Reps Fri 02 March 2012
- The ABCs of petri net reachability relaxations Michael Blondin Fri 02 March 2012
- Understanding deep learning (still) requires rethinking generalization Chiyuan Zhang Samy Bengio Moritz Hardt Benjamin Recht Oriol Vinyals Fri 02 March 2012
- Robust monitoring for medical cyber-physical systems Bernd Finkbeiner Andreas Keller Jessica Schmidt Maximilian Schwenger Fri 02 March 2012
- On the decidability of reachability in continuous time linear time-invariant systems Mohan Dantam Amaury Pouly Fri 02 March 2012
- Computing Real Radicals by Moment Optimization Lorenzo Baldi Bernard Mourrain Fri 02 March 2012
- msolve Jérémy Berthomieu Christian Eder Mohab Safey El Din Fri 02 March 2012
- Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre Fri 02 March 2012
- Central moment analysis for cost accumulators in probabilistic programs Di Wang Jan Hoffmann Thomas Reps Fri 02 March 2012
- Algebraic Approach to Promise Constraint Satisfaction Libor Barto Jakub Bulín Andrei Krokhin Jakub Opršal Fri 02 March 2012
- The Quest for Strong Inapproximability Results with Perfect Completeness Joshua Brakensiek Venkatesan Guruswami Fri 02 March 2012
- Lower Bounds on the State Complexity of Population Protocols Philipp Czerner Javier Esparza Fri 02 March 2012
- Twotextquotesingles Company, Threetextquotesingles a Crowd: Consensus-Halving for a Constant Number of Agents Argyrios Deligkas Aris Filos-Ratsikas Alexandros Hollender Fri 02 March 2012
- On the Complexity of Equilibrium Computation in First-Price Auctions Aris Filos-Ratsikas Yiannis Giannakopoulos Alexandros Hollender Philip Lazos Diogo Poças Fri 02 March 2012
- Synthesis of equilibria in infinite-duration games on graphs Véronique Bruyère Fri 02 March 2012
- Visualization of navigation patterns on a Web site using model-based clustering Igor Cadez David Heckerman Christopher Meek Padhraic Smyth Steven White Fri 02 March 2012
- Unification-based pointer analysis with directional assignments Manuvir Das Fri 02 March 2012
- Transition network grammars for natural language analysis W. A. Woods Fri 02 March 2012
- An Efficient Method for Generating Discrete Random Variables with General Distributions Alastair J. Walker Fri 02 March 2012
- A fast algorithm for finding dominators in a flowgraph Thomas Lengauer Robert Endre Tarjan Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
