Search

Search Results

• A Deep Neural Network for Unsupervised Anomaly Detection and Diagnosis in Multivariate Time Series Data

  Chuxu Zhang, Dongjin Song, Yuncong Chen, Xinyang Feng, Cristian Lumezanu, Wei Cheng, Jingchao Ni, Bo Zong, Haifeng Chen, Nitesh V. Chawla

  1409-1416

  2019-07-17

• Learning Optimal and Fair Decision Trees for Non-Discriminative Decision-Making

  Sina Aghaei, Mohammad Javad Azizi, Phebe Vayanos

  1418-1426

  2019-07-17

• Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation

  Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Merlin Viernickel

  1427-1434

  2019-07-17

• A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

  Curtis Bright, Dragomir Ž. Ðoković, Ilias Kotsireas, Vijay Ganesh

  1435-1442

  2019-07-17

• Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning

  Quentin Cappart, Emmanuel Goutierre, David Bergman, Louis-Martin Rousseau

  1443-1451

  2019-07-17

• Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

  Alexander Diedrich, Alexander Maier, Oliver Niggemann

  1452-1459

  2019-07-17

• On Geometric Alignment in Low Doubling Dimension

  Hu Ding, Mingquan Ye

  1460-1467

  2019-07-17

• A Nonconvex Projection Method for Robust PCA

  Aritra Dutta, Filip Hanzely, Peter Richtàrik

  1468-1476

  2019-07-17

• Solving Integer Quadratic Programming via Explicit and Structural Restrictions

  Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak

  1477-1484

  2019-07-17

• Stochastic Submodular Maximization with Performance-Dependent Item Costs

  Takuro Fukunaga, Takuya Konishi, Sumio Fujita, Ken-ichi Kawarabayashi

  1485-1494

  2019-07-17

• Constraint-Based Sequential Pattern Mining with Decision Diagrams

  Amin Hosseininasab, Willem-Jan van Hoeve, Andre A. Cire

  1495-1502

  2019-07-17

• Faster Gradient-Free Proximal Stochastic Methods for Nonconvex Nonsmooth Optimization

  Feihu Huang, Bin Gu, Zhouyuan Huo, Songcan Chen, Heng Huang

  1503-1510

  2019-07-17

• Abduction-Based Explanations for Machine Learning Models

  Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

  1511-1519

  2019-07-17

• Separator-Based Pruned Dynamic Programming for Steiner Tree

  Yoichi Iwata, Takuto Shigemura

  1520-1527

  2019-07-17

• Asynchronous Delay-Aware Accelerated Proximal Coordinate Descent for Nonconvex Nonsmooth Problems

  Ehsan Kazemi, Liqiang Wang

  1528-1535

  2019-07-17

• A Recursive Algorithm for Projected Model Counting

  Jean-Marie Lagniez, Pierre Marquis

  1536-1543

  2019-07-17

• RSA: Byzantine-Robust Stochastic Aggregation Methods for Distributed Learning from Heterogeneous Datasets

  Liping Li, Wei Xu, Tianyi Chen, Georgios B. Giannakis, Qing Ling

  1544-1551

  2019-07-17

• Adaptive Proximal Average Based Variance Reducing Stochastic Methods for Optimization with Composite Regularization

  Jingchang Liu, Linli Xu, Junliang Guo, Xin Sheng

  1552-1559

  2019-07-17

• Automatic Construction of Parallel Portfolios via Explicit Instance Grouping

  Shengcai Liu, Ke Tang, Xin Yao

  1560-1567

  2019-07-17

• On Sampling Complexity of the Semidefinite Affine Rank Feasibility Problem

  Igor Molybog, Javad Lavaei

  1568-1575

  2019-07-17

• Revisiting Projection-Free Optimization for Strongly Convex Constraint Sets

  Jarrid Rector-Brooks, Jun-Kun Wang, Barzan Mozafari

  1576-1583

  2019-07-17

• A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving

  Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

  1584-1591

  2019-07-17

• BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

  Mate Soos, Kuldeep S. Meel

  1592-1599

  2019-07-17

• Algorithms for Average Regret Minimization

  Sabine Storandt, Stefan Funke

  1600-1607

  2019-07-17

• Concurrency Debugging with MaxSMT

  Miguel Terra-Neves, Nuno Machado, Ines Lynce, Vasco Manquinho

  1608-1616

  2019-07-17