| 43201 |
The Next 700 Relational Program Logics
Kenji Maillard, Catalin Hritcu, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
44 |
7 years ago |
| 43202 |
Extending Attack Graphs to Represent Cyber-Attacks in Communication Protocols and Modern IT Networks
Orly Stan, Ron Bitton, ... (+8 more)
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43203 |
The Audio Auditor: User-Level Membership Inference in Internet of Things Voice Services
Yuantian Miao, Minhui Xue, ... (+6 more)
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43204 |
Defending against adversarial attacks by randomized diversification
Olga Taran, Shideh Rezaeifar, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
44 |
7 years ago |
| 43205 |
Sidechains and interoperability
Sandra Johnson, Peter Robinson, John Brainard
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43206 |
Survey on Vehicular Ad Hoc Networks and Its Access Technologies Security Vulnerabilities and Countermeasures
Kaveh Bakhsh Kelarestaghi, Mahsa Foruhandeh, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43207 |
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
Insu Yun, Dhaval Kapil, Taesoo Kim
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43208 |
Applications of Machine Learning in Cryptography: A Survey
Mohammed M. Alani
|
📚
The Cartographer
|
cs.CR
|
44 |
7 years ago |
| 43209 |
Defense Methods Against Adversarial Examples for Recurrent Neural Networks
Ishai Rosenberg, Asaf Shabtai, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43210 |
The Security of Smart Buildings: a Systematic Literature Review
Pierre Ciholas, Aidan Lennie, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43211 |
Extracting Secrets from Encrypted Virtual Machines
Mathias Morbitzer, Manuel Huber, Julian Horsch
|
👻
Ghosted
|
cs.CR
|
44 |
7 years ago |
| 43212 |
RCE: An Integration Environment for Engineering and Science
Brigitte Boden, Jan Flink, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
44 |
7 years ago |
| 43213 |
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
Chunhui Wang, Fabrizio Pastore, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
44 |
7 years ago |
| 43214 |
MSRBot: Using Bots to Answer Questions from Software Repositories
Ahmad Abdellatif, Khaled Badran, Emad Shihab
|
👻
Ghosted
|
cs.SE
|
44 |
7 years ago |
| 43215 |
"Won't We Fix this Issue?" Qualitative Characterization and Automated Identification of Wontfix Issues on GitHub
Andrea Di Sorbo, Gerardo Canfora, Sebastiano Panichella
|
👻
Ghosted
|
cs.SE
|
44 |
7 years ago |
| 43216 |
Using Socially Expressive Mixed Reality Arms for Enhancing Low-Expressivity Robots
Thomas R. Groechel, Zhonghao Shi, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
44 |
6 years ago |
| 43217 |
Understanding Legged Crawling for Soft-Robotics
Benny Gamus, Lior Salem, ... (+2 more)
|
👻
Ghosted
|
cond-mat.soft
|
44 |
6 years ago |
| 43218 |
Scaled Autonomy: Enabling Human Operators to Control Robot Fleets
Gokul Swamy, Siddharth Reddy, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
44 |
6 years ago |
| 43219 |
Vision-based Multi-MAV Localization with Anonymous Relative Measurements Using Coupled Probabilistic Data Association Filter
Ty Nguyen, Kartik Mohta, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
44 |
6 years ago |
| 43220 |
Emergence of Exploratory Look-Around Behaviors through Active Observation Completion
Santhosh K. Ramakrishnan, Dinesh Jayaraman, Kristen Grauman
|
👻
Ghosted
|
cs.CV
|
44 |
7 years ago |
| 43221 |
A ROS2 based communication architecture for control in collaborative and intelligent automation systems
Endre Erős, Martin Dahl, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
44 |
7 years ago |
| 43222 |
Training Object Detectors With Noisy Data
Simon Chadwick, Paul Newman
|
👻
Ghosted
|
cs.RO
|
44 |
7 years ago |
| 43223 |
ROVO: Robust Omnidirectional Visual Odometry for Wide-baseline Wide-FOV Camera Systems
Hochang Seok, Jongwoo Lim
|
👻
Ghosted
|
cs.CV
|
44 |
7 years ago |
| 43224 |
Efficient Fully Convolution Neural Network for Generating Pixel Wise Robotic Grasps With High Resolution Images
Shengfan Wang, Xin Jiang, ... (+4 more)
|
👻
Ghosted
|
cs.RO
|
44 |
7 years ago |
| 43225 |
Learning Deep Stochastic Optimal Control Policies using Forward-Backward SDEs
Marcus Pereira, Ziyi Wang, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
44 |
7 years ago |
| 43226 |
A Constraint Programming Approach to Simultaneous Task Allocation and Motion Scheduling for Industrial Dual-Arm Manipulation Tasks
Jan Kristof Behrens, Ralph Lange, Masoumeh Mansouri
|
👻
Ghosted
|
cs.RO
|
44 |
7 years ago |
| 43227 |
A Stochastic-Computing based Deep Learning Framework using Adiabatic Quantum-Flux-Parametron SuperconductingTechnology
Ruizhe Cai, Ao Ren, ... (+8 more)
|
👻
Ghosted
|
cs.NE
|
44 |
7 years ago |
| 43228 |
Constructing Energy-efficient Mixed-precision Neural Networks through Principal Component Analysis for Edge Intelligence
Indranil Chakraborty, Deboleena Roy, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
44 |
7 years ago |
| 43229 |
Enhanced Robot Speech Recognition Using Biomimetic Binaural Sound Source Localization
Jorge, Davila-Chacon, ... (+4 more)
|
👻
Ghosted
|
cs.SD
|
44 |
7 years ago |
| 43230 |
Slim Graph: Practical Lossy Graph Compression for Approximate Graph Processing, Storage, and Analytics
Maciej Besta, Simon Weber, ... (+5 more)
|
👻
Ghosted
|
cs.DS
|
44 |
6 years ago |
| 43231 |
A Control-Theoretic Perspective on Optimal High-Order Optimization
Tianyi Lin, Michael. I. Jordan
|
👻
Ghosted
|
math.OC
|
44 |
6 years ago |
| 43232 |
Tight Running Time Lower Bounds for Strong Inapproximability of Maximum $k$-Coverage, Unique Set Cover and Related Problems (via $t$-Wise Agreement Testing Theorem)
Pasin Manurangsi
|
🔮
The Ethereal
|
cs.CC
|
44 |
6 years ago |
| 43233 |
RecSplit: Minimal Perfect Hashing via Recursive Splitting
Emmanuel Esposito, Thomas Mueller Graf, Sebastiano Vigna
|
👻
Ghosted
|
cs.DS
|
44 |
6 years ago |
| 43234 |
A Constant Approximation for Colorful k-Center
Sayan Bandyapadhyay, Tanmay Inamdar, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
44 |
7 years ago |
| 43235 |
Space Efficient Approximation to Maximum Matching Size from Uniform Edge Samples
Michael Kapralov, Slobodan Mitrović, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
44 |
7 years ago |
| 43236 |
Constant factor approximations to edit distance on far input pairs in nearly linear time
Michal Koucký, Michael E. Saks
|
👻
Ghosted
|
cs.DS
|
44 |
7 years ago |
| 43237 |
Animo: Sharing Biosignals on a Smartwatch for Lightweight Social Connection
Fannie Liu, Mario Esparza, ... (+4 more)
|
👻
Ghosted
|
cs.HC
|
44 |
7 years ago |
| 43238 |
Towards Auction-Based Function Placement in Serverless Fog Platforms
David Bermbach, Setareh Maghsudi, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
44 |
6 years ago |
| 43239 |
Parallel computational optimization in operations research: A new integrative framework, literature review and research directions
Guido Schryen
|
👻
Ghosted
|
cs.DC
|
44 |
6 years ago |
| 43240 |
Accelerator-level Parallelism
Mark D. Hill, Vijay Janapa Reddi
|
👻
Ghosted
|
cs.DC
|
44 |
7 years ago |
| 43241 |
From Facility to Application Sensor Data: Modular, Continuous and Holistic Monitoring with DCDB
Alessio Netti, Micha Mueller, ... (+5 more)
|
👻
Ghosted
|
cs.DC
|
44 |
7 years ago |
| 43242 |
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
Idan Berkovits, Marijana Lazic, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
44 |
7 years ago |
| 43243 |
Fundamental Limits of Approximate Gradient Coding
Sinong Wang, Jiashang Liu, Ness Shroff
|
👻
Ghosted
|
cs.DC
|
44 |
7 years ago |
| 43244 |
Estimating Cardinalities with Deep Sketches
Andreas Kipf, Dimitri Vorona, ... (+7 more)
|
👻
Ghosted
|
cs.DB
|
44 |
7 years ago |
| 43245 |
Short and Long-term Pattern Discovery Over Large-Scale Geo-Spatiotemporal Data
Sobhan Moosavi, Mohammad Hossein Samavatian, ... (+3 more)
|
👻
Ghosted
|
cs.DB
|
44 |
7 years ago |
| 43246 |
Age of Information for Updates with Distortion: Constant and Age-Dependent Distortion Constraints
Melih Bastopcu, Sennur Ulukus
|
👻
Ghosted
|
cs.IT
|
44 |
6 years ago |
| 43247 |
Dynamic Energy-Efficient Power Allocation in Multibeam Satellite Systems
Christos N. Efrem, Athanasios D. Panagopoulos
|
👻
Ghosted
|
cs.NI
|
44 |
6 years ago |
| 43248 |
End-to-end Quantum Secured Inter-Domain 5G Service Orchestration Over Dynamically Switched Flex-Grid Optical Networks Enabled by a q-ROADM
Rui Wang, Rodrigo Stange Tessinari, ... (+11 more)
|
👻
Ghosted
|
cs.NI
|
44 |
6 years ago |
| 43249 |
Capture Aware Sequential Waterfilling for LoraWAN Adaptive Data Rate
Giuseppe Bianchi, Francesca Cuomo, ... (+2 more)
|
👻
Ghosted
|
cs.NI
|
44 |
7 years ago |
| 43250 |
A Blockchain Policy and Charging Control Framework for Roaming in Cellular Networks
Ahmed Refaey, Karim Hammad, ... (+2 more)
|
👻
Ghosted
|
cs.NI
|
44 |
7 years ago |