| 50101 |
SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions
Pengcheng Zhang, Feng Xiao, Xiapu Luo
|
👻
Ghosted
|
cs.SE
|
37 |
6 years ago |
| 50102 |
PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel
Thong Hoang, Julia Lawall, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
37 |
6 years ago |
| 50103 |
ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems
Danny Weyns, M. Usman Iftikhar
|
👻
Ghosted
|
cs.SE
|
37 |
7 years ago |
| 50104 |
Continuous Integration Theater
Wagner Felidré, Leonardo Furtado, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
37 |
7 years ago |
| 50105 |
Assuring the Evolvability of Microservices: Insights into Industry Practices and Challenges
Justus Bogner, Jonas Fritzsch, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
37 |
7 years ago |
| 50106 |
Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria
Pierre Alliez, Roberto Di Cosmo, ... (+5 more)
|
👻
Ghosted
|
cs.DL
|
37 |
7 years ago |
| 50107 |
Boundary Objects and their Use in Agile Systems Engineering
Rebekka Wohlrab, Patrizio Pelliccione, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
37 |
7 years ago |
| 50108 |
Using Dynamic Analysis to Generate Disjunctive Invariants
ThanhVu Nguyen, Deepak Kapur, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
37 |
7 years ago |
| 50109 |
Redundant Loads: A Software Inefficiency Indicator
Pengfei Su, Shasha Wen, ... (+3 more)
|
👻
Ghosted
|
cs.PF
|
37 |
7 years ago |
| 50110 |
Framing Effects on Privacy Concerns about a Home Telepresence Robot
Matthew Rueben, Frank J. Bernieri, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
37 |
6 years ago |
| 50111 |
Deep learning approach to control of prosthetic hands with electromyography signals
Mohsen Jafarzadeh, Daniel Curtiss Hussey, Yonas Tadesse
|
👻
Ghosted
|
eess.SP
|
37 |
6 years ago |
| 50112 |
A Comparison of Action Spaces for Learning Manipulation Tasks
Patrick Varin, Lev Grossman, Scott Kuindersma
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50113 |
End-to-end Decentralized Multi-robot Navigation in Unknown Complex Environments via Deep Reinforcement Learning
Juntong Lin, Xuyun Yang, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50114 |
Toward Asymptotically-Optimal Inspection Planning via Efficient Near-Optimal Graph Search
Mengyu Fu, Alan Kuntz, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50115 |
Forecasting Pedestrian Trajectory with Machine-Annotated Training Data
Olly Styles, Arun Ross, Victor Sanchez
|
👻
Ghosted
|
cs.CV
|
37 |
7 years ago |
| 50116 |
Longitudinal Dynamic versus Kinematic Models for Car-Following Control Using Deep Reinforcement Learning
Yuan Lin, John McPhee, Nasser L. Azad
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50117 |
DeepLocalization: Landmark-based Self-Localization with Deep Neural Networks
Nico Engel, Stefan Hoermann, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50118 |
Non-Prehensile Manipulation in Clutter with Human-In-The-Loop
Rafael Papallas, Mehmet R. Dogar
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50119 |
Flying through a narrow gap using neural network: an end-to-end planning and control approach
Jiarong Lin, Luqi Wang, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50120 |
Online Estimation of Ocean Current from Sparse GPS Data for Underwater Vehicles
Ki Myung Brian Lee, Chanyeol Yoo, ... (+4 more)
|
👻
Ghosted
|
cs.RO
|
37 |
7 years ago |
| 50121 |
The RobotriX: An eXtremely Photorealistic and Very-Large-Scale Indoor Dataset of Sequences with Robot Trajectories and Interactions
Alberto Garcia-Garcia, Pablo Martinez-Gonzalez, ... (+5 more)
|
👻
Ghosted
|
cs.CV
|
37 |
7 years ago |
| 50122 |
The Role of Coded Side Information in Single-Server Private Information Retrieval
Anoosheh Heidarzadeh, Fatemeh Kazemi, Alex Sprintson
|
👻
Ghosted
|
cs.IT
|
37 |
6 years ago |
| 50123 |
Bias Disparity in Collaborative Recommendation: Algorithmic Evaluation and Comparison
Masoud Mansoury, Bamshad Mobasher, ... (+2 more)
|
👻
Ghosted
|
cs.IR
|
37 |
7 years ago |
| 50124 |
Collaborative Metric Learning with Memory Network for Multi-Relational Recommender Systems
Xiao Zhou, Danyang Liu, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50125 |
Spiking Neural Predictive Coding for Continual Learning from Data Streams
Alexander Ororbia
|
👻
Ghosted
|
cs.NE
|
37 |
7 years ago |
| 50126 |
RNNbow: Visualizing Learning via Backpropagation Gradients in Recurrent Neural Networks
Dylan Cashman, Genevieve Patterson, ... (+4 more)
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50127 |
Principled Training of Neural Networks with Direct Feedback Alignment
Julien Launay, Iacopo Poli, Florent Krzakala
|
🌅
Old Age
|
stat.ML
|
37 |
7 years ago |
| 50128 |
Adaptive Estimators Show Information Compression in Deep Neural Networks
Ivan Chelombiev, Conor Houghton, Cian O'Donnell
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50129 |
Fast sampling and counting k-SAT solutions in the local lemma regime
Weiming Feng, Heng Guo, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
37 |
6 years ago |
| 50130 |
"Bring Your Own Greedy"+Max: Near-Optimal $1/2$-Approximations for Submodular Knapsack
Dmitrii Avdiukhin, Grigory Yaroslavtsev, Samson Zhou
|
👻
Ghosted
|
cs.DS
|
37 |
6 years ago |
| 50131 |
Faster quantum and classical SDP approximations for quadratic binary optimization
Fernando G. S L. Brandão, Richard Kueng, Daniel Stilck França
|
👻
Ghosted
|
cs.DS
|
37 |
6 years ago |
| 50132 |
Faster Deterministic Distributed Coloring Through Recursive List Coloring
Fabian Kuhn
|
👻
Ghosted
|
cs.DS
|
37 |
7 years ago |
| 50133 |
Efficiently Generating Geometric Inhomogeneous and Hyperbolic Random Graphs
Thomas Bläsius, Tobias Friedrich, ... (+4 more)
|
👻
Ghosted
|
cs.DS
|
37 |
7 years ago |
| 50134 |
Learning Some Popular Gaussian Graphical Models without Condition Number Bounds
Jonathan Kelner, Frederic Koehler, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50135 |
Permutation Code Equivalence is not Harder than Graph Isomorphism when Hulls are Trivial
Magali Bardet, Ayoub Otmani, Mohamed Saeed-Taha
|
👻
Ghosted
|
cs.DS
|
37 |
7 years ago |
| 50136 |
Tight Bounds for Online Edge Coloring
Ilan Reuven Cohen, Binghui Peng, David Wajc
|
👻
Ghosted
|
cs.DS
|
37 |
7 years ago |
| 50137 |
(Near) Optimal Adaptivity Gaps for Stochastic Multi-Value Probing
Domagoj Bradac, Sahil Singla, Goran Zuzic
|
👻
Ghosted
|
cs.DS
|
37 |
7 years ago |
| 50138 |
High-Level Control of Drum Track Generation Using Learned Patterns of Rhythmic Interaction
Stefan Lattner, Maarten Grachten
|
👻
Ghosted
|
cs.SD
|
37 |
7 years ago |
| 50139 |
Uncertainty-Aware Principal Component Analysis
Jochen Görtler, Thilo Spinner, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50140 |
In Search of a Fast and Efficient Serverless DAG Engine
Benjamin Carver, Jingyuan Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
37 |
6 years ago |
| 50141 |
Balsam: Automated Scheduling and Execution of Dynamic, Data-Intensive HPC Workflows
Michael A. Salim, Thomas D. Uram, ... (+4 more)
|
👻
Ghosted
|
cs.DC
|
37 |
6 years ago |
| 50142 |
Hierarchical Coded Matrix Multiplication
Shahrzad Kiani, Nuwan Ferdinand, Stark C. Draper
|
👻
Ghosted
|
cs.IT
|
37 |
7 years ago |
| 50143 |
Parallel Algorithms for Butterfly Computations
Jessica Shi, Julian Shun
|
👻
Ghosted
|
cs.DC
|
37 |
7 years ago |
| 50144 |
Learning Privately over Distributed Features: An ADMM Sharing Approach
Yaochen Hu, Peng Liu, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50145 |
DOD-ETL: Distributed On-Demand ETL for Near Real-Time Business Intelligence
Gustavo V. Machado, Ítalo Cunha, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
37 |
7 years ago |
| 50146 |
Branch Prediction Is Not a Solved Problem: Measurements, Opportunities, and Future Directions
Chit-Kwan Lin, Stephen J. Tarsa
|
👻
Ghosted
|
cs.DC
|
37 |
7 years ago |
| 50147 |
Communication Aspects of the Integration of Wireless IoT Devices with Distributed Ledger Technology
Pietro Danzi, Anders E. Kalør, ... (+5 more)
|
👻
Ghosted
|
cs.DC
|
37 |
7 years ago |
| 50148 |
Performance study of distributed Apriori-like frequent itemsets mining
Lamine M. Aouad, Nhien-An Le-Khac, Tahar M. Kechadi
|
👻
Ghosted
|
cs.LG
|
37 |
7 years ago |
| 50149 |
How much does randomness help with locally checkable problems?
Alkida Balliu, Sebastian Brandt, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
37 |
7 years ago |
| 50150 |
Analysis of Distributed ADMM Algorithm for Consensus Optimization in Presence of Node Error
Layla Majzoobi, Farshad Lahouti, Vahid Shah-Mansouri
|
👻
Ghosted
|
eess.SP
|
37 |
7 years ago |