2019.05.05 CS papers

05-03-2019	Browser Fingerprinting: A survey by Pierre Laperdrix et al
05-01-2019	Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? by Yannis Smaragdakis
05-02-2019	Self-supervised Learning for Video Correspondence Flow by Zihang Lai et al
05-01-2019	DPSNet: End-to-end Deep Plane Sweep Stereo by Sunghoon Im et al
05-01-2019	Computer Science and Metaphysics: A Cross-Fertilization by Daniel Kirchner et al
04-30-2019	The role of artificial intelligence in achieving the Sustainable Development Goals by Ricardo Vinuesa et al
04-30-2019	The State of Open Access in Germany: An Analysis of the Publication Output of German Universities by Neda Abediyarandi et al
05-01-2019	SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems by Alex Wang et al
05-01-2019	Driving with Style: Inverse Reinforcement Learning in General-Purpose Planning for Automated Driving by Sascha Rosbach et al
05-01-2019	Context-Dependent Semantic Parsing over Temporally Structured Data by Charles Chen et al
05-01-2019	Fully Automatic Brain Tumor Segmentation using a Normalized Gaussian Bayesian Classifier and 3D Fluid Vector Flow by Tao Wang et al
05-03-2019	Transfer of Adversarial Robustness Between Perturbation Types by Daniel Kang et al
04-30-2019	An Argumentation-Based Approach to Assist in the Investigation and Attribution of Cyber-Attacks by Erisa Karafili et al
05-02-2019	InternalBlue - Bluetooth Binary Patching and Experimentation Framework by Dennis Mantz et al
05-02-2019	Local Light Field Fusion: Practical View Synthesis with Prescriptive Sampling Guidelines by Ben Mildenhall et al
05-02-2019	Clustering Images by Unmasking - A New Baseline by Mariana-Iuliana Georgescu et al
04-30-2019	Unsupervised Temperature Scaling: Post-Processing Unsupervised Calibration of Deep Models Decisions by Azadeh Sadat Mozafari et al
04-30-2019	Coevo: a collaborative design platform with artificial agents by Gerard Serra et al
05-02-2019	Coordination and Trajectory Prediction for Vehicle Interactions via Bayesian Generative Modeling by Jiachen Li et al
05-01-2019	The relationship between Biological and Artificial Intelligence by George Cevora
05-02-2019	A Review on Dyadic Conversation Visualizations - Purposes, Data, Lens of Analysis by Joshua Y. Kim et al
04-30-2019	To believe or not to believe: Validating explanation fidelity for dynamic malware analysis by Li Chen et al
05-01-2019	Automatic Dataset Augmentation Using Virtual Human Simulation by Marcelo C. Ghilardi et al
04-30-2019	Harmonic Networks with Limited Training Samples by Matej Ulicny et al
05-02-2019	Argument Identification in Public Comments from eRulemaking by Vlad Eidelman et al
04-30-2019	Object Contour and Edge Detection with RefineContourNet by Andre Peter Kelm et al
05-02-2019	From Video Game to Real Robot: The Transfer between Action Spaces by Janne Karttunen et al
04-30-2019	Deep Learning-based Face Pose Recovery by Zhaoxiang Liu et al
05-02-2019	KALM: A Rule-based Approach for Knowledge Authoring and Question Answering by Tiantian Gao
04-30-2019	Precise Synthetic Image and LiDAR (PreSIL) Dataset for Autonomous Vehicle Perception by Braden Hurl et al
04-30-2019	Very Deep Self-Attention Networks for End-to-End Speech Recognition by Ngoc-Quan Pham et al
04-30-2019	Personalized Ranking in eCommerce Search by Grigor Aslanyan et al
04-30-2019	Semantic Referee: A Neural-Symbolic Framework for Enhancing Geospatial Semantic Segmentation by Marjan Alirezaie et al
05-03-2019	PRECOG: PREdiction Conditioned On Goals in Visual Multi-Agent Settings by Nicholas Rhinehart et al
05-01-2019	Declarative Question Answering over Knowledge Bases containing Natural Language Text with Answer Set Programming by Arindam Mitra et al
05-02-2019	Impact of Argument Type and Concerns in Argumentation with a Chatbot by Lisa A. Chalaguine et al
05-03-2019	Lifting 2d Human Pose to 3d : A Weakly Supervised Approach by Sandika Biswas et al
05-01-2019	Semi-automatic System for Title Construction by Swagata Duari et al
05-02-2019	Deterministic Leader Election in Programmable Matter by Yuval Emek et al
05-03-2019	Scaling and Benchmarking Self-Supervised Visual Representation Learning by Priya Goyal et al
05-03-2019	Generating Classification Weights with GNN Denoising Autoencoders for Few-Shot Learning by Spyros Gidaris et al
04-30-2019	Self-supervised Sequence-to-sequence ASR using Unpaired Speech and Text by Murali Karthick Baskar et al
05-02-2019	A Topic-Agnostic Approach for Identifying Fake News Pages by Sonia Castelo et al
04-30-2019	Interpretation of Feature Space using Multi-Channel Attentional Sub-Networks by Masanari Kimura et al
04-30-2019	Categorical Feature Compression via Submodular Optimization by MohammadHossein Bateni et al
04-30-2019	Efficiently Checking Actual Causality with SAT Solving by Amjad Ibrahim et al
04-30-2019	Dont Settle for Average, Go for the Max: Fuzzy Sets and Max-Pooled Word Vectors by Vitalii Zhelezniak et al
05-01-2019	ASER: A Large-scale Eventuality Knowledge Graph by Hongming Zhang et al
05-03-2019	Semantic Segmentation of Video Sequences with Convolutional LSTMs by Andreas Pfeuffer et al
05-02-2019	Enhanced free space detection in multiple lanes based on single CNN with scene identification by Fabio Pizzati et al
05-01-2019	Signed Distance-based Deep Memory Recommender by Thanh Tran et al
04-30-2019	The Level Weighted Structural Similarity Loss: A Step Away from the MSE by Yingjing Lu
04-30-2019	PR Product: A Substitute for Inner Product in Neural Networks by Zhennan Wang et al
04-30-2019	FastContext: an efficient and scalable implementation of the ConText algorithm by Jianlin Shi et al
05-03-2019	Matlab vs. OpenCV: A Comparative Study of Different Machine Learning Algorithms by Ahmed A. Elsayed et al
05-02-2019	Improving Visual Relation Detection using Depth Maps by Sahand Sharifzadeh et al
05-01-2019	Functional Object-Oriented Network: Considering Robots Capability in Human-Robot Collaboration by David Paulius et al
05-02-2019	A Fuzzy Inference System for the Identification by Jose de Jesus Rubio et al
05-03-2019	Group Emotion Recognition Using Machine Learning by Samanyou Garg
05-02-2019	Behavior Planning of Autonomous Cars with Social Perception by Liting Sun et al
04-30-2019	Please, do not decentralize the Internet with (permissionless) blockchains! by Pedro Garcia Lopez et al
04-30-2019	On Social Machines for Algorithmic Regulation by Nello Cristianini et al
05-02-2019	Leveraging Deep Learning to Improve the Performance Predictability of Cloud Microservices by Yu Gan et al
04-30-2019	Learning Restricted Regular Expressions with Interleaving by Chunmei Dong et al
05-02-2019	Bug Searching in Smart Contract by Xiaotao Feng et al
04-30-2019	Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations by Ozan Arkan Can et al
05-02-2019	Alternative Techniques for Mapping Paths to HLAI by Ross Gruetzemacher et al
05-02-2019	From Specifications to Behavior: Maneuver Verification in a Semantic State Space by Klemens Esterle et al
04-30-2019	On the Convergence Rates of Learning-based Signature Generation Schemes to Contain Self-propagating Malware by Saeed Valizadeh et al
05-01-2019	A Novel Trend Symbolic Aggregate Approximation for Time Series by Yufeng Yu et al
05-02-2019	Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle by Leandro C. Coelho et al
05-01-2019	QKD in Isabelle -- Bayesian Calculation by Florian Kammüller
04-30-2019	Constrained Orthogonal Segment Stabbing by Sayan Bandyapadhyay et al
05-01-2019	Parameterized Complexity of Conflict-free Graph Coloring by Hans L. Bodlaender et al
05-02-2019	Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems by Riccardo De Masellis et al
05-02-2019	Online Circle Packing by Sándor P. Fekete et al
04-30-2019	Characterizing Pairs Collaboration in a Mobile-equipped Shared-Wall Display Supported Collaborative Setup by Razan N. Jaber et al
04-30-2019	Improved Algorithms for the Bichromatic Two-Center Problem for Pairs of Points by Haitao Wang et al
05-02-2019	Budget-Feasible Mechanism Design for Non-Monotone Submodular Objectives: Offline and Online by Georgios Amanatidis et al
05-02-2019	Truth Discovery via Proxy Voting by Reshef Meir et al
04-30-2019	Derandomization from Algebraic Hardness: Treading the Borders by Mrinal Kumar et al
05-02-2019	Can the Optimizer Cost be Used to Predict Query Execution Times? by Anthony Kleerekoper et al
05-02-2019	Log Diameter Rounds Algorithms for 22-Vertex and 22-Edge Connectivity by Alexandr Andoni et al
04-30-2019	Elo ratings applied to TopCoder SRM by Fred Batty et al
05-02-2019	Herding Effect based Attention for Personalized Time-Sync Video Recommendation by Wenmian Yang et al
04-30-2019	Theoretical, Measured and Subjective Responsibility in Aided Decision Making by Nir Douer et al
05-03-2019	On the Impact of Memory Allocation on High-Performance Query Processing by Dominik Durner et al
05-02-2019	Flip Distance to some Plane Configurations by Ahmad Biniaz et al
04-30-2019	Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report) by Eduard Kamburjan
05-01-2019	A Self-Organizing Network with Varying Density Structure for Characterizing Sensorimotor Transformations in Robotic Systems by Omar Zahra et al
05-03-2019	Performance Optimization on Model Synchronization in Parallel Stochastic Gradient Descent Based SVM by Vibhatha Abeykoon et al
05-01-2019	MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems by Azza Allouch et al
05-02-2019	Parity Models: A General Framework for Coding-Based Resilience in ML Inference by Jack Kosaian et al
05-01-2019	Time-series Insights into the Process of Passing or Failing Online University Courses using Neural-Induced Interpretable Student States by Byungsoo Jeon et al
05-02-2019	Minimum Ply Covering of Points with Disks and Squares by Therese Biedl et al
05-02-2019	SUMMARIZED: Efficient Framework for Analyzing Multidimensional Process Traces under Edit-distance Constraint by Phuong Nguyen et al
05-01-2019	Cyber-Physical Testbed for Human-Robot Collaborative Task Planning and Execution by Tuly Hazbar et al
05-02-2019	Range closest-pair search in higher dimensions by Timothy M. Chan et al
04-30-2019	A novel geometrically inspired polynomial kernel for robot inverse dynamics by Alberto Dalla Libera et al
04-30-2019	Targeted Synthesis for Programming with Data Invariants by John Sarracino et al
05-02-2019	Pseudo-Triangle Visibility Graph: Characterization and Reconstruction by Sahar Mehrpour et al
05-02-2019	Real Differences between OT and CRDT in Correctness and Complexity for Consistency Maintenance in Co-Editors by David Sun et al
05-03-2019	Most vital segment barriers by Irina Kostitsyna et al
04-30-2019	Elastic-TCP: Flexible Congestion Control Algorithm to Adapt for High-BDP Networks by Mohamed A. Alrshah et al
05-02-2019	Spectrum-enhanced Pairwise Learning to Rank by Wenhui Yu et al
05-02-2019	Efficient Contour Computation of Group-based Skyline by Wenhui Yu et al
05-03-2019	Inter-Cell Antenna Calibration for Coherent Joint Transmission in TDD System by Hanqing Xu et al
04-30-2019	Analyzing Defense Strategies Against Mobile Information Leakages: A Game-Theoretic Approach by Kavita Kumari et al
05-01-2019	RedisGraph GraphBLAS Enabled Graph Database by Pieter Cailliau et al
04-30-2019	Dependence-Aware, Unbounded Sound Predictive Race Detection by Kaan Genç et al
05-02-2019	HRC-SoS: Human Robot Collaboration Experimentation Platform as System of Systems by Celal Savur et al
05-01-2019	On the Interaction between Autonomous Mobility on Demand Systems and Power Distribution Networks -- An Optimal Power Flow Approach by Alvaro Estandia et al
05-02-2019	Towards a Novel Cooperative Logistics Information System Framework by Fares Zaidi et al
05-01-2019	Hierarchically Consistent Motion Primitives for Quadrotor Coordination by Marijan Vukosavljev et al
04-30-2019	Effective and Efficient Indexing in Cross-Modal Hashing-Based Datasets by Chih-Yi Chiu et al
05-02-2019	The Price of Gold: Curiosity? by Daniel W. Hook et al
05-03-2019	Time-sync Video Tag Extraction Using Semantic Association Graph by Wenmian Yang et al
05-02-2019	Web data mining for public health purposes by Niels Dalum Hansen
05-01-2019	Empirically Analyzing Ethereums Gas Mechanism by Renlord Yang et al
05-02-2019	A Note on Adjoint Linear Algebra by Uwe Naumann
05-02-2019	A Survey of Moving Target Defenses for Network Security by Sailik Sengupta et al
05-02-2019	Typed-based Relaxed Noninterference for Free by Minh Ngo et al
05-02-2019	Robust Cooperative Formation Control of Fixed-Wing Unmanned Aerial Vehicles by Qingrui Zhang et al
05-01-2019	The Literary Theme Ontology for Media Annotation and Information Retrieval by Paul Sheridan et al
05-03-2019	Characterising Third Party Cookie Usage in the EU after GDPR by Xuehui Hu et al