arXiv Computer Science @arxiv_cs@qoto.org

Necessary and sufficient conditions for Boolean satisfiability. (arXiv:1910.10708v1 [cs.CC]) http://arxiv.org/abs/1910.10708

A Maximum Likelihood Approach to Extract Polylines from 2-D Laser Range Scans. (arXiv:1910.10711v1 [cs.RO]) http://arxiv.org/abs/1910.10711

Dynamic multi-agent assignment via discrete optimal transport. (arXiv:1910.10748v1 [cs.MA]) http://arxiv.org/abs/1910.10748

The Security of IP-based Video Surveillance Systems. (arXiv:1910.10749v1 [cs.CR]) http://arxiv.org/abs/1910.10749

6-PACK: Category-level 6D Pose Tracker with Anchor-Based Keypoints. (arXiv:1910.10750v1 [cs.CV]) http://arxiv.org/abs/1910.10750

TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs. (arXiv:1909.02562v1 [cs.LG]) http://arxiv.org/abs/1909.02562

DeepEvolution: A Search-Based Testing Approach for Deep Neural Networks. (arXiv:1909.02563v1 [cs.LG]) http://arxiv.org/abs/1909.02563

Classification with Costly Features as a Sequential Decision-Making Problem. (arXiv:1909.02564v1 [cs.LG]) http://arxiv.org/abs/1909.02564

Causal Effects of Brevity on Style and Success in Social Media. (arXiv:1909.02565v1 [cs.SI]) http://arxiv.org/abs/1909.02565

Deep Visual Template-Free Form Parsing. (arXiv:1909.02576v1 [cs.CV]) http://arxiv.org/abs/1909.02576

The Complexity of Reachability in Affine Vector Addition Systems with States. (arXiv:1909.02579v1 [cs.LO]) http://arxiv.org/abs/1909.02579

Spatiotemporally Constrained Action Space Attacks on Deep Reinforcement Learning Agents. (arXiv:1909.02583v1 [cs.LG]) http://arxiv.org/abs/1909.02583

Adaptive Robust Game-Theoretic Decision Making for Autonomous Vehicles. (arXiv:1909.02586v1 [eess.SY]) http://arxiv.org/abs/1909.02586

Investigating BERT's Knowledge of Language: Five Analysis Methods with NPIs. (arXiv:1909.02597v1 [cs.CL]) http://arxiv.org/abs/1909.02597

Formal Methods and Event Notification Systems in Mobile Computing Environment. (arXiv:1909.02599v1 [cs.PL]) http://arxiv.org/abs/1909.02599

Do Cross Modal Systems Leverage Semantic Relationships?. (arXiv:1909.01976v1 [cs.CV]) http://arxiv.org/abs/1909.01976

High-order partitioned spectral deferred correction solvers for multiphysics problems. (arXiv:1909.01977v1 [math.NA]) http://arxiv.org/abs/1909.01977

On perfectness in Gaussian graphical models. (arXiv:1909.01978v1 [math.ST]) http://arxiv.org/abs/1909.01978

Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. (arXiv:1909.01980v1 [cs.DC]) http://arxiv.org/abs/1909.01980

Parameterized Intractability of Even Set and Shortest Vector Problem. (arXiv:1909.01986v1 [cs.CC]) http://arxiv.org/abs/1909.01986