Algorithms

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies IJCAI 2018 Large Vocabulary Concatenative Resynthesis Interspeech 2018 Latent RANSAC CVPR 2018 Learning Optimal Decision Trees with SAT IJCAI 2018 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 Learning to Branch ICML 2018 Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018 Local Density Estimation in High Dimensions ICML 2018 Maintenance of Case Bases: Current Algorithms after Fifty Years IJCAI 2018 Maximin Share Allocations on Cycles IJCAI 2018 Maximum Selection and Sorting with Adversarial Comparators JMLR 2018 MISSION: Ultra Large-Scale Feature Selection using Count-Sketches ICML 2018 Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018 Multicomponent 2-D AM-FM Modeling of Speech Spectrograms Interspeech 2018 Multi-frame Coding of LSF Parameters Using Block-Constrained Trellis Coded Vector Quantization Interspeech 2018 Neural Guided Constraint Logic Programming for Program Synthesis NeurIPS 2018 Nonlinear Weighted Finite Automata AISTATS 2018 Non-metric Similarity Graphs for Maximum Inner Product Search NeurIPS 2018 Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 Novel Structural Parameters for Acyclic Planning Using Tree Embeddings IJCAI 2018 OATM: Occlusion Aware Template Matching by Consensus Set Maximization CVPR 2018 On the Convergence of PatchMatch and Its Variants CVPR 2018 On the Duality Between Retinex and Image Dehazing CVPR 2018 Out-of-sample extension of graph adjacency spectral embedding ICML 2018 Parallel and Streaming Algorithms for K-Core Decomposition ICML 2018