| 48351 |
Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
|
🔮
The Ethereal
|
cs.LO
|
39 |
10 years ago |
| 48352 |
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution
Peter Müller, Malte Schwerhoff, Alexander J. Summers
|
👻
Ghosted
|
cs.PL
|
39 |
10 years ago |
| 48353 |
Explaining the emergence of echo chambers on social media: the role of ideology and extremism
Jonathan Bright
|
👻
Ghosted
|
cs.SI
|
39 |
9 years ago |
| 48354 |
Network reconstruction from infection cascades
Alfredo Braunstein, Alessandro Ingrosso, Anna Paola Muntoni
|
👻
Ghosted
|
physics.soc-ph
|
39 |
10 years ago |
| 48355 |
Burstiness and tie reinforcement in time varying social networks
Enrico Ubaldi, Alessandro Vezzani, ... (+3 more)
|
👻
Ghosted
|
physics.soc-ph
|
39 |
10 years ago |
| 48356 |
The Emotional and Chromatic Layers of Urban Smells
Daniele Quercia, Luca Maria Aiello, Rossano Schifanella
|
👻
Ghosted
|
cs.SI
|
39 |
10 years ago |
| 48357 |
Social contagions on time-varying community networks
Mian-Xin Liu, Wei Wang, ... (+4 more)
|
👻
Ghosted
|
physics.soc-ph
|
39 |
10 years ago |
| 48358 |
Can Online Emotions Predict the Stock Market in China?
Zhenkun Zhou, Jichang Zhao, Ke Xu
|
👻
Ghosted
|
cs.SI
|
39 |
10 years ago |
| 48359 |
EMBERS at 4 years: Experiences operating an Open Source Indicators Forecasting System
Sathappan Muthiah, Patrick Butler, ... (+16 more)
|
👻
Ghosted
|
cs.CY
|
39 |
10 years ago |
| 48360 |
Capacity limit for faster-than-Nyquist non-orthogonal frequency-division multiplexing signaling
Ji Zhou, Yaojun Qiao, ... (+3 more)
|
👻
Ghosted
|
cs.IT
|
39 |
9 years ago |
| 48361 |
Coded Caching with Distributed Storage
Tianqiong Luo, Vaneet Aggarwal, Borja Peleato
|
👻
Ghosted
|
cs.IT
|
39 |
9 years ago |
| 48362 |
Achievable Uplink Rates for Massive MIMO with Coarse Quantization
Christopher Mollén, Junil Choi, ... (+2 more)
|
👻
Ghosted
|
cs.IT
|
39 |
9 years ago |
| 48363 |
Efficient Polar Code Construction for Higher-Order Modulation
Georg Böcherer, Tobias Prinz, ... (+2 more)
|
👻
Ghosted
|
cs.IT
|
39 |
9 years ago |
| 48364 |
Sufficiently Myopic Adversaries are Blind
Bikash Kumar Dey, Sidharth Jaggi, Michael Langberg
|
👻
Ghosted
|
cs.IT
|
39 |
9 years ago |
| 48365 |
Gaussian Message Passing Iterative Detection for MIMO-NOMA Systems with Massive Access
Lei Liu, Chau Yuen, ... (+3 more)
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48366 |
Cross-layer design for downlink multi-hop cloud radio access networks with network coding
Liang Liu, Wei Yu
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48367 |
Energy-Recycling Full-Duplex Radios for Next-Generation Networks
Marco Maso, Chen-Feng Liu, ... (+3 more)
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48368 |
Analysis of k-Nearest Neighbor Distances with Application to Entropy Estimation
Shashank Singh, Barnabás Póczos
|
👻
Ghosted
|
math.ST
|
39 |
10 years ago |
| 48369 |
Post-processing procedure for industrial quantum key distribution systems
E. O. Kiktenko, A. S. Trushechkin, ... (+2 more)
|
👻
Ghosted
|
quant-ph
|
39 |
10 years ago |
| 48370 |
Cache Size Allocation in Backhaul Limited Wireless Networks
Xi Peng, Jun Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48371 |
Fundamental Distortion Limits of Analog-to-Digital Compression
Alon Kipnis, Yonina C. Eldar, Andrea J. Goldsmith
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48372 |
Directional Beamforming for Millimeter-Wave MIMO Systems
Vasanthan Raghavan, Sundar Subramanian, ... (+2 more)
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48373 |
Distributed Binary Detection with Lossy Data Compression
Gil Katz, Pablo Piantanida, Mérouane Debbah
|
👻
Ghosted
|
cs.IT
|
39 |
10 years ago |
| 48374 |
Online Keyword Spotting with a Character-Level Recurrent Neural Network
Kyuyeon Hwang, Minjae Lee, Wonyong Sung
|
👻
Ghosted
|
cs.CL
|
39 |
10 years ago |
| 48375 |
Learning Halfspaces and Neural Networks with Random Initialization
Yuchen Zhang, Jason D. Lee, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
39 |
10 years ago |
| 48376 |
Top-Down Learning for Structured Labeling with Convolutional Pseudoprior
Saining Xie, Xun Huang, Zhuowen Tu
|
👻
Ghosted
|
cs.CV
|
39 |
10 years ago |
| 48377 |
Near-Optimal Active Learning of Multi-Output Gaussian Processes
Yehong Zhang, Trong Nghia Hoang, ... (+2 more)
|
👻
Ghosted
|
stat.ML
|
39 |
10 years ago |
| 48378 |
Sparse-promoting Full Waveform Inversion based on Online Orthonormal Dictionary Learning
Lingchen Zhu, Entao Liu, James H. McClellan
|
👻
Ghosted
|
physics.geo-ph
|
39 |
10 years ago |
| 48379 |
Using Shortlists to Support Decision Making and Improve Recommender System Performance
Tobias Schnabel, Paul N. Bennett, ... (+2 more)
|
👻
Ghosted
|
cs.HC
|
39 |
10 years ago |
| 48380 |
Coordinate Dual Averaging for Decentralized Online Optimization with Nonseparable Global Objectives
Soomin Lee, Angelia Nedić, Maxim Raginsky
|
👻
Ghosted
|
math.OC
|
39 |
11 years ago |
| 48381 |
End-to-end Learning of LDA by Mirror-Descent Back Propagation over a Deep Architecture
Jianshu Chen, Ji He, ... (+6 more)
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48382 |
WordRank: Learning Word Embeddings via Robust Ranking
Shihao Ji, Hyokun Yun, ... (+3 more)
|
👻
Ghosted
|
cs.CL
|
39 |
11 years ago |
| 48383 |
Unsupervised Learning on Neural Network Outputs: with Application in Zero-shot Learning
Yao Lu
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48384 |
Peer Grading in a Course on Algorithms and Data Structures: Machine Learning Algorithms do not Improve over Simple Baselines
Mehdi S. M. Sajjadi, Morteza Alamgir, Ulrike von Luxburg
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48385 |
On the Generalization Properties of Differential Privacy
Kobbi Nissim, Uri Stemmer
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48386 |
Convergence radius and sample complexity of ITKM algorithms for dictionary learning
Karin Schnass
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48387 |
Computing Functions of Random Variables via Reproducing Kernel Hilbert Space Representations
Bernhard Schölkopf, Krikamol Muandet, ... (+2 more)
|
👻
Ghosted
|
stat.ML
|
39 |
11 years ago |
| 48388 |
Bi-Objective Nonnegative Matrix Factorization: Linear Versus Kernel-Based Models
Paul Honeine, Fei Zhu
|
👻
Ghosted
|
stat.ML
|
39 |
11 years ago |
| 48389 |
Classification with Low Rank and Missing Data
Elad Hazan, Roi Livni, Yishay Mansour
|
👻
Ghosted
|
cs.LG
|
39 |
11 years ago |
| 48390 |
HOG based Fast Human Detection
M. Kachouane, S. Sahki, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
39 |
11 years ago |
| 48391 |
Multi-Access Communications with Energy Harvesting: A Multi-Armed Bandit Model and the Optimality of the Myopic Policy
Pol Blasco, Deniz Gunduz
|
👻
Ghosted
|
cs.IT
|
39 |
11 years ago |
| 48392 |
Constrained Deep Metric Learning for Person Re-identification
Hailin Shi, Xiangyu Zhu, ... (+4 more)
|
👻
Ghosted
|
cs.CV
|
39 |
10 years ago |
| 48393 |
Sequential Optimization for Efficient High-Quality Object Proposal Generation
Ziming Zhang, Yun Liu, ... (+5 more)
|
👻
Ghosted
|
cs.CV
|
39 |
10 years ago |
| 48394 |
Indexing of CNN Features for Large Scale Image Search
Ruoyu Liu, Yao Zhao, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
39 |
11 years ago |
| 48395 |
Online Adaptive Hidden Markov Model for Multi-Tracker Fusion
Tomas Vojir, Jiri Matas, Jana Noskova
|
👻
Ghosted
|
cs.CV
|
39 |
11 years ago |
| 48396 |
Ring artifacts correction in compressed sensing tomographic reconstruction
Pierre Paleo, Alessandro Mirone
|
👻
Ghosted
|
physics.comp-ph
|
39 |
11 years ago |
| 48397 |
Learning Latent Spatio-Temporal Compositional Model for Human Action Recognition
Xiaodan Liang, Liang Lin, Liangliang Cao
|
👻
Ghosted
|
cs.CV
|
39 |
11 years ago |
| 48398 |
Super-resolution MRI Using Finite Rate of Innovation Curves
Greg Ongie, Mathews Jacob
|
👻
Ghosted
|
cs.CV
|
39 |
11 years ago |
| 48399 |
Non-iterative rigid 2D/3D point-set registration using semidefinite programming
Yuehaw Khoo, Ankur Kapoor
|
👻
Ghosted
|
cs.CV
|
39 |
11 years ago |
| 48400 |
Keeping it Short and Simple: Summarising Complex Event Sequences with Multivariate Patterns
Roel Bertens, Jilles Vreeken, Arno Siebes
|
👻
Ghosted
|
cs.AI
|
39 |
10 years ago |