


default search action
CoRR, May 2017
- Danil Kuzin, Olga Isupova, Lyudmila Mihaylova:

Compressive Sensing Approaches for Autonomous Object Detection in Video Sequences. - João Carvalho, Manuel Marques

, João Paulo Costeira:
Understanding People Flow in Transportation Hubs. - Mohamed Abuella, Badrul H. Chowdhury:

Random Forest Ensemble of Support Vector Regression Models for Solar Power Forecasting. - Sara Bahaadini, Neda Rohani, Scott Coughlin, Michael Zevin

, Vicky Kalogera, Aggelos K. Katsaggelos:
Deep Multi-view Models for Glitch Classification. - Xinyu Hua, Lu Wang:

Understanding and Detecting Supporting Arguments of Diverse Types. - Renaud Hartert:

Kiwi - A Minimalist CP Solver. - Jacob Walker, Kenneth Marino, Abhinav Gupta, Martial Hebert:

The Pose Knows: Video Forecasting by Generating Pose Futures. - Saeed Akhoondian Amiri, Klaus-Tycho Foerster, Riko Jacob, Stefan Schmid

:
Charting the Complexity Landscape of Waypoint Routing. - Min Xiang, Shirin Enshaeifar, Alexander Stott, Clive Cheong Took, Yili Xia, Danilo P. Mandic:

Diagonalisation of covariance matrices in quaternion widely linear signal processing. - Yadu N. Babuji, Kyle Chard, Eamon Duede:

Enabling Interactive Analytics of Secure Data using Cloud Kotta. - Jihua Zhu, Siyu Xu, Jie Hou, Yaochen Li, Jun Wang

, Huimin Lu:
Effective scaling registration approach by imposing the emphasis on the scale factor. - Shreyas Kousik, Sean Vaskov, Matthew Johnson-Roberson, Ramanarayan Vasudevan:

Safe Trajectory Synthesis for Autonomous Driving in Unforeseen Environments. - Marcos Cardinot, Colm O'Riordan

, Josephine Griffith:
The Impact of Coevolution and Abstention on the Emergence of Cooperation. - Alejandro Díaz-Caro:

A lambda calculus for density matrices. - Susil Kumar Bishoi, Surya Narayan Maharana:

Xorshift random number generators from primitive polynomials. - Xinya Du, Junru Shao, Claire Cardie:

Learning to Ask: Neural Question Generation for Reading Comprehension. - Liane Gabora, Simon Tseng:

The Social Benefits of Balancing Creativity and Imitation: Evidence from an Agent-based Model. - Matthew E. Peters, Waleed Ammar, Chandra Bhagavatula, Russell Power:

Semi-supervised sequence tagging with bidirectional language models. - Tarik Kazaz, Christophe van Praet, Merima Kulin

, Pieter Willemen, Ingrid Moerman:
Hardware Accelerated SDR Platform for Adaptive Air Interfaces. - Lukas T. N. Landau, Rodrigo C. de Lamare:

Branch-and-Bound Precoding for Multiuser MIMO Systems with 1-Bit Quantization. - Patrick Judd, Alberto Delmas Lascorz, Sayeh Sharify, Andreas Moshovos:

Cnvlutin2: Ineffectual-Activation-and-Weight-Free Deep Neural Network Computing. - Vaggos Chatziafratis, Tim Roughgarden, Jan Vondrák:

Stability and Recovery for Independence Systems. - Mengmeng Ge, Huy Kang Kim, Dong Seong Kim:

Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches. - Mehryar Mohri, Scott Yang:

Online Learning with Expert Automata. - Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub:

*-Liftings for Differential Privacy. - Monowar Hasan, Sibin Mohan, Rodolfo Pellizzoni, Rakesh B. Bobba:

Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems. - Vikraman Arvind, Rajit Datta, Partha Mukhopadhyay, S. Raja:

Efficient Identity Testing and Polynomial Factorization over Non-associative Free Rings. - Ziyi Zeng, Aiying Yang, Peng Guo, Lihui Feng:

Weighted finite impulse response filter for chromatic dispersion equalization in coherent optical fiber communication systems. - Anshul Aggarwal, Venkatesan T. Chakaravarthy, Neelima Gupta, Yogish Sabharwal, Sachin Sharma, Sonika Thakral:

Replica Placement on Bounded Treewidth Graphs. - Marita Blank, Sebastian Lehnhoff, Kai Heussen, Daniel Esteban Morales Bondy, Cyndi Moyo, Thomas I. Strasser:

Towards a foundation for holistic power system validation and testing. - Masataro Asai, Alex Fukunaga:

Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary. - Alireza Fakhrizadeh Esfahani, Philippe Dreesen, Koen Tiels, Jean-Philippe Noël, Johan Schoukens:

Parameter reduction in nonlinear state-space identification of hysteresis. - Syed Mohammad Meesum:

Cyclic Hypergraph Degree Sequences. - Jonas Dalege, Denny Borsboom, Frenk van Harreveld, Han L. J. van der Maas:

A Network Perspective on Political Attitudes: Testing the Connectivity Hypothesis. - Peter Trifonov, Grigorii Trofimiuk:

A Randomized Construction of Polar Subcodes. - Tanmay Sinha

, Zhen Bai, Justine Cassell:
Curious Minds Wonder Alike: Studying Multimodal Behavioral Dynamics to Design Social Scaffolding of Curiosity. - Babatunde Opeoluwa Akinkunmi:

A Partitioning Algorithm for Detecting Eventuality Coincidence in Temporal Double recurrence. - Mikhail Khodak, Andrej Risteski, Christiane Fellbaum, Sanjeev Arora:

Extending and Improving Wordnet via Unsupervised Word Embeddings. - Riyansh K. Karani, Akash K. Rana, Dhruv H. Reshamwala, Kishore Saldanha:

A floating point division unit based on Taylor-Series expansion algorithm and Iterative Logarithmic Multiplier. - Amit Dhurandhar, Steve Hanneke, Liu Yang:

Learning with Changing Features. - Manuele Rusci, Davide Rossi, Elisabetta Farella, Luca Benini:

A sub-mW IoT-endnode for always-on visual monitoring and smart triggering. - Hana Kim, Seongil Yang, Huy Kang Kim:

Crime Scene Re-investigation: A Postmortem Analysis of Game Account Stealers' Behaviors. - Maria-Florina Balcan, Tuomas Sandholm, Ellen Vitercik:

Sample Complexity of Multi-Item Profit Maximization. - Kai Wu, Yingchao Huang, Dong Li:

Unimem: Runtime Data Management on Non-Volatile Memory-based Heterogeneous Main Memory. - Lei Shu, Hu Xu, Bing Liu:

Lifelong Learning CRF for Supervised Aspect Extraction. - Yanan Sui, Vincent Zhuang, Joel W. Burdick, Yisong Yue:

Multi-dueling Bandits with Dependent Arms. - Fang Han

, Christopher L. Magee:
Testing the science/technology relationship by analysis of patent citations of scientific papers after decomposition of both science and technology. - Yingchao Huang, Kai Wu, Dong Li:

High Performance Data Persistence in Non-Volatile Memory for Resilient High Performance Computing. - Luanzheng Guo, Hanlin He, Dong Li:

Application-Level Resilience Modeling for HPC Fault Tolerance. - Amin Zheng, Gene Cheung, Dinei A. F. Florêncio:

Joint Denoising / Compression of Image Contours via Shape Prior and Context Tree. - Asli Gençtav, Yusuf Sahillioglu, Sibel Tari:

Topologically Robust 3D Shape Matching via Gradual Deflation and Inflation. - Luanzheng Guo, Jun Chu:

Indoor Frame Recovery from Refined Line Segments. - Johannes Middeke, Carsten Schneider:

Denominator Bounds for Systems of Recurrence Equations using $ΠΣ$-Extensions. - (Withdrawn) Modulo quantifiers over functional vocabularies extending addition.

- Zhenkun Zhou, Ke Xu, Jichang Zhao:

Tales of Emotion and Stock in China: Volatility, Causality and Prediction. - Marei Algarni

, Ganesh Sundaramoorthi:
SurfCut: Surfaces of Minimal Paths From Topological Structures. - Beishui Liao, Leendert W. N. van der Torre:

Defense semantics of argumentation: encoding reasons for accepting arguments. - Jaeyong Rho, Takuya Azumi

, Mayo Nakagawa, Kenya Sato
, Nobuhiko Nishio:
Scheduling Parallel and Distributed Processing for Automotive Data Stream Management System. - Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar:

Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. - Xiaoyu Shen, Hui Su, Yanran Li, Wenjie Li, Shuzi Niu, Yang Zhao, Akiko Aizawa, Guoping Long:

A Conditional Variational Framework for Dialog Generation. - Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady:

Non-polynomial Worst-Case Analysis of Recursive Programs. - David Chalupa:

An Order-based Algorithm for Minimum Dominating Set with Application in Graph Mining. - Ganbin Zhou, Ping Luo, Rongyu Cao, Yijun Xiao, Fen Lin, Bo Chen, Qing He:

Tree-Structured Neural Machine for Linguistics-Aware Sentence Generation. - Zaidao Wen, Biao Hou, Licheng Jiao:

Discriminative Nonlinear Analysis Operator Learning: When Cosparse Model Meets Image Classification. - Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Masafumi Yamashita:

Self-Stabilizing Meeting in a Polygon by Anonymous Oblivious Robots. - Klaus Glashoff, Claus Peter Ortlieb:

Composition Operators, Matrix Representation, and the Finite Section Method: A Theoretical Framework for Maps between Shapes. - Shang-En Huang, Seth Pettie:

Thorup-Zwick Emulators are Universally Optimal Hopsets. - Klaus Glashoff, Claus Peter Ortlieb:

A Note on Properties of Discrete Composition Operators. - Silvio Amir, Glen Coppersmith, Paula Carvalho, Mário J. Silva, Byron C. Wallace:

Quantifying Mental Health from Social Media with Neural User Embeddings. - Ryan Alexander, Chris Martens:

Deriving Quests from Open World Mechanics. - André Luckow, Matthew Cook, Nathan Ashcraft, Edwin Weill, Emil Djerekarov, Bennie Vorster:

Deep Learning in the Automotive Industry: Applications and Tools. - Himanshu Pant, Jayadeva, Sumit Soman, Mayank Sharma:

Scalable Twin Neural Networks for Classification of Unbalanced Data. - Mathieu Dahan

, Lina Sela, Saurabh Amin:
Network Monitoring under Strategic Disruptions. - Matthew Hague, Roland Meyer, Sebastian Muskalla:

Domains for Higher-Order Games. - Xuebin Qin, Shida He, Camilo Perez Quintero, Abhineet Singh, Masood Dehghan, Martin Jägersand:

Real-Time Salient Closed Boundary Tracking via Line Segments Perceptual Grouping. - John Wieting, Kevin Gimpel:

Revisiting Recurrent Networks for Paraphrastic Sentence Embeddings. - Danna Gurari, Kun He, Bo Xiong, Jianming Zhang, Mehrnoosh Sameki, Suyog Dutt Jain, Stan Sclaroff, Margrit Betke, Kristen Grauman:

Predicting Foreground Object Ambiguity and Efficiently Crowdsourcing the Segmentation(s). - Miqing Li, Liangli Zhen, Xin Yao:

How to Read Many-Objective Solution Sets in Parallel Coordinates. - Kashyap Thimmaraju, Liron Schiff, Stefan Schmid

:
Software-Defined Adversarial Trajectory Sampling. - Natali Ruchansky, Mark Crovella, Evimaria Terzi:

Targeted matrix completion. - Jonathan Stokes, Steven Weber:

Common greedy wiring and rewiring heuristics do not guarantee maximum assortative graphs of given degree. - Amirhossein Farahzadi, Pooyan Shams Farahsary, Javad Rezazadeh, Reza Farahbakhsh:

Middleware Technologies for Cloud of Things - a survey. - Yu Chen

, Chunhua Shen, Xiu-Shen Wei, Lingqiao Liu, Jian Yang:
Adversarial PoseNet: A Structure-aware Convolutional Network for Human Pose Estimation. - Ted Pedersen:

Duluth at SemEval-2016 Task 14 : Extending Gloss Overlaps to Enrich Semantic Taxonomies. - Aaron Nech, Ira Kemelmacher-Shlizerman:

Level Playing Field for Million Scale Face Recognition. - Natali Ruchansky, Mark Crovella, Evimaria Terzi:

Matrix completion with queries. - Francesca Parise, Maria Elena Valcher, John Lygeros:

Computing the projected reachable set of switched affine systems: an application to systems biology. - Emma Strubell, Andrew McCallum:

Dependency Parsing with Dilated Iterated Graph CNNs. - Farhad Shirani Chaharsooghi, S. Sandeep Pradhan:

On the Sub-optimality of Single-Letter Coding over Networks. - Mehrdad Kiamari, Amir Salman Avestimehr:

Capacity Region of the Symmetric Injective K-User Deterministic Interference Channel. - Leo Ferres, José Fuentes-Sepúlveda, Travis Gagie, Meng He

, Gonzalo Navarro:
Parallel Construction of Compact Planar Embeddings. - Meng Fang, Trevor Cohn:

Model Transfer for Tagging Low-resource Languages using a Bilingual Dictionary. - (Withdrawn) Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs.

- Vildan Atalay Aydin, Hassan Foroosh:

Sub-Pixel Registration of Wavelet-Encoded Images. - Akshay Pai, Stefan Sommer, Lars Lau Rakêt, Line Kühnel, Sune Darkner, Lauge Sørensen, Mads Nielsen:

A Statistical Model for Simultaneous Template Estimation, Bias Correction, and Registration of 3D Brain Images. - Marzieh Fadaee, Arianna Bisazza, Christof Monz:

Data Augmentation for Low-Resource Neural Machine Translation. - Marzieh Fadaee, Arianna Bisazza, Christof Monz:

Learning Topic-Sensitive Word Representations. - Elvin Isufi, Andreas Loukas, Andrea Simonetto, Geert Leus:

Filtering Random Graph Processes Over Random Time-Varying Graphs. - Ziyi Liu, Si-yu Yu, Xiao Wang, Nanning Zheng:

Detecting Drivable Area for Self-driving Cars: An Unsupervised Approach. - Gerhard Kramer

:
Autocorrelation Function for Dispersion-Free Fiber Channels with Distributed Amplification. - Martin Büscher, Sebastian Lehnhoff, Sebastian Rohjans, Filip Andren

, Thomas I. Strasser:
Using large-scale local and cross-location experiments for smart grid system validation. - Ahmed Selim, Francisco Paisana, Jerome A. Arokkiam, Yi Zhang, Linda Doyle, Luiz A. DaSilva:

Spectrum Monitoring for Radar Bands using Deep Convolutional Neural Networks. - Jackie Ma, Maximilian März, Stephanie Funk, Jeanette Schulz-Menger, Gitta Kutyniok, Tobias Schaeffter, Christoph Kolbitsch:

Shearlet-based compressed sensing for fast 3D cardiac MR imaging using iterative reweighting. - Ted Zhang, Dengxin Dai, Tinne Tuytelaars

, Marie-Francine Moens, Luc Van Gool:
Speech-Based Visual Question Answering. - Bamdev Mishra, Hiroyuki Kasai, Pratik Jawanpuria, Atul Saroop:

A Riemannian gossip approach to decentralized subspace learning on Grassmann manifold. - Seok-Hwan Park, Osvaldo Simeone, Shlomo Shamai:

Fronthaul Quantization as Artificial Noise for Enhanced Secret Communication in C-RAN. - Marcel Simon, Yang Gao, Trevor Darrell, Joachim Denzler, Erik Rodner:

Generalized orderless pooling performs implicit salient matching. - Sutanu Ghosh, Tamaghna Acharya, Santi P. Maity

:
Outage analysis in two-way communication with RF energy harvesting relay and co-channel interference. - Hyejin Kim, Insik Jung, Wonsuk Chung, Sooyong Choi, Daesik Hong:

Orthogonal Code-based Block Transmission for Burst Transmission. - Reza Farahbakhsh, Xiao Han, Ángel Cuevas, Noël Crespi:

Analysis of publicly disclosed information in Facebook profiles. - Carna Radojicic, Christoph Grimm

, Axel Jantsch
, Michael Rathmair:
Towards Verification of Uncertain Cyber-Physical Systems. 1-17 - Sohrab Ferdowsi, Slava Voloshynovskiy, Dimche Kostadinov:

Regularized Residual Quantization: a multi-layer sparse dictionary learning approach. - Max Tschaikowski:

Over-Approximation of Fluid Models. - Bo Li, Yuchao Dai, Huahui Chen, Mingyi He:

Single image depth estimation by dilated deep residual convolutional neural network and soft-weight-sum inference. - S. Arun Kumar, N. R. Chowdhury, S. Srikant, Jörg Raisch:

Consensus analysis of systems with time-varying interactions : An event-triggered approach. - Emil Björnson, Jakob Hoydis, Luca Sanguinetti:

Massive MIMO has Unlimited Capacity. - Ayan Chaudhury, Christopher Ward, Ali Talasaz, Alexander G. Ivanov

, Mark Brophy, Bernard Grodzinski, Norman P. A. Hüner, Rajni V. Patel, John L. Barron:
Machine Vision System for 3D Plant Phenotyping. - Haris Aziz, Pang Luo, Christine Rizkallah

:
Rank Maximal Equal Contribution: a Probabilistic Social Choice Function. - Vanessa Q. Marinho, Graeme Hirst, Diego R. Amancio:

Labelled network motifs reveal stylistic subtleties in written texts. - Yan Jiang, Richard Pates, Enrique Mallada:

Performance tradeoffs of dynamically controlled grid-connected inverters in low inertia power systems. - Reza Farahbakhsh, Ángel Cuevas, Rubén Cuevas, Roberto Gonzalez, Noël Crespi:

Understanding the evolution of multimedia content in the Internet through BitTorrent glasses. - José E. Zalacain Llanes:

Mapping Objects to Persistent Predicates. - Yacine Jernite, Samuel R. Bowman, David A. Sontag:

Discourse-Based Objectives for Fast Unsupervised Sentence Representation Learning. - Ferdian Thung, Richard Jayadi Oentaryo, David Lo, Yuan Tian:

WebAPIRec: Recommending Web APIs to Software Projects via Personalized Ranking. - Tam N. Nguyen:

Attacking Machine Learning models as part of a cyber kill chain. - Macheng Shen, Ding Zhao

, Jing Sun
:
The Impact of Road Configuration in V2V-based Cooperative Localization: Mathematical Analysis and Real-world Evaluation. - Andrew Moore, Paul Rayson:

Lancaster A at SemEval-2017 Task 5: Evaluation metrics matter: predicting sentiment from financial news headlines. - Alexey Romanov, Anna Rumshisky:

Forced to Learn: Discovering Disentangled Representations Without Exhaustive Labels. - Petr Knoth, Lucas Anastasiou, Aristotelis Charalampous, Matteo Cancellieri, Samuel Pearce, Nancy Pontika, Vaclav Bayer:

Towards effective research recommender systems for repositories. - Arun Balajee Vasudevan, Michael Gygli, Anna Volokitin, Luc Van Gool:

Query-adaptive Video Summarization via Quality-aware Relevance Estimation. - Jiaxiao Zheng, Pablo Caballero Garces, Gustavo de Veciana, Seung Jun Baek, Albert Banchs

:
Statistical Multiplexing and Traffic Shaping Games for Network Slicing. - Arjen A. van der Meer, Peter Palensky, Kai Heussen, Daniel Esteban Morales Bondy, Oliver Gehrke, Cornelius Steinbrink, Marita Blank, Sebastian Lehnhoff, Edmund Widl

, Cyndi Moyo, Thomas I. Strasser, Van Hoa Nguyen
, Nabil Akroud, Mazheruddin H. Syed
, Abdullah A. S. Emhemed
, Sebastian Rohjans, Ron Brandl
, Ata M. Khavari:
Cyber-Physical Energy Systems Modeling, Test Specification, and Co-Simulation Based Testing. - Randal S. Olson, Moshe Sipper, William G. La Cava

, Sharon Tartarone, Steven Vitale, Weixuan Fu
, John H. Holmes, Jason H. Moore:
A System for Accessible Artificial Intelligence. - Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening:

Abstract Interpretation with Unfoldings. - Long N. Le, Douglas L. Jones:

Feature-Sharing in Cascade Detection Systems with Multiple Applications. - Zhaocai Sun, William K. Cheung, Xiaofeng Zhang, Jun Yang:

Towards well-specified semi-supervised model-based classifiers via structural adaptation. - Aroma Mahendru, Viraj Prabhu, Akrit Mohapatra, Dhruv Batra, Stefan Lee:

The Promise of Premise: Harnessing Question Premises in Visual Question Answering. - Joel Brogan, Paolo Bestagini, Aparna Bharati, Allan da Silva Pinto

, Daniel Moreira
, Kevin W. Bowyer, Patrick J. Flynn, Anderson Rocha, Walter J. Scheirer:
Spotting the Difference: Context Retrieval and Analysis for Improved Forgery Detection and Localization. - Cheng Zhang, Hedvig Kjellström, Stephan Mandt:

Stochastic Learning on Imbalanced Data: Determinantal Point Processes for Mini-batch Diversification. - Hongliang Yan, Yukang Ding, Peihua Li, Qilong Wang

, Yong Xu, Wangmeng Zuo:
Mind the Class Weight Bias: Weighted Maximum Mean Discrepancy for Unsupervised Domain Adaptation. - Tatyana Dyakonova, Alexander V. Khoperskov

, Sergey S. Khrapov:
Numerical Model of Shallow Water: the Use of NVIDIA CUDA Graphics Processors. - Long N. Le, Douglas L. Jones:

Guided-Processing Outperforms Duty-Cycling for Energy-Efficient Systems. - Tamir Bendory, Nicolas Boumal, Chao Ma, Zhizhen Zhao, Amit Singer:

Bispectrum Inversion with Application to Multireference Alignment. - Ivan Brugere, Chris Kanich, Tanya Y. Berger-Wolf

:
A General Framework For Task-Oriented Network Inference. - William Yang Wang:

"Liar, Liar Pants on Fire": A New Benchmark Dataset for Fake News Detection. - Matthew L. Henderson, Rami Al-Rfou, Brian Strope, Yun-Hsuan Sung, László Lukács, Ruiqi Guo, Sanjiv Kumar, Balint Miklos, Ray Kurzweil:

Efficient Natural Language Response Suggestion for Smart Reply. - Ryutaro Tanno, Daniel E. Worrall, Aurobrata Ghosh, Enrico Kaden, Stamatios N. Sotiropoulos, Antonio Criminisi, Daniel C. Alexander

:
Bayesian Image Quality Transfer with CNNs: Exploring Uncertainty in dMRI Super-Resolution. - (Withdrawn) MACA: A Modular Architecture for Conversational Agents.

- Nicholas Moehle, Xinyue Shen, Zhi-Quan Luo, Stephen P. Boyd:

A Distributed Method for Optimal Capacity Reservation. - Zhao Kang

, Chong Peng, Qiang Cheng:
Twin Learning for Similarity and Clustering: A Unified Kernel Approach. - Ahsan Raza, Wei Liu

, Qing Shen:
Thinned Coprime Arrays for DOA Estimation. - (Withdrawn) Proactive Population-Risk Based Defense Against Denial of Cyber-Physical Service Attacks.

- Junming Yin, Yaoliang Yu:

Convex-constrained Sparse Additive Modeling and Its Extensions. - Max I. Kanovich, Stepan L. Kuznetsov

, Glyn Morrill, Andre Scedrov:
A polynomial time algorithm for the Lambek calculus with brackets of bounded order. - Juan Andrés Laura, Gabriel Masi, Luis Argerich:

From Imitation to Prediction, Data Compression vs Recurrent Neural Networks for Natural Language Processing. - Mike Roberts, Debadeepta Dey, Anh Truong, Sudipta N. Sinha, Shital Shah, Ashish Kapoor, Pat Hanrahan, Neel Joshi:

Submodular Trajectory Optimization for Aerial 3D Scanning. - Tuyen X. Tran, Dario Pompili:

Joint Task Offloading and Resource Allocation for Multi-Server Mobile-Edge Computing Networks. - Abdelhadi Azzouni, Thi Mai Trang Nguyen, Raouf Boutaba, Guy Pujolle:

Limitations of OpenFlow Topology Discovery Protocol. - Bert Abrath, Bart Coppens, Mohit Mishra, Jens Van den Broeck, Bjorn De Sutter:

ΔBreakpad: Diversified Binary Crash Reporting. - Reza Farahbakhsh, Ángel Cuevas, Noël Crespi:

Characterization of Cross-posting Activity for Professional Users across Facebook, Twitter and Google+. - Reza Farahbakhsh, Ángel Cuevas, Antonio Manuel Ortiz, Xiao Han, Noël Crespi:

How far is Facebook from me? Facebook network infrastructure analysis. - Anders Nedergaard Jensen, Jeff Sommars, Jan Verschelde:

Computing Tropical Prevarieties in Parallel. - Nematollah Zarmehi, Mohammad Reza Aref:

Optimum Decoder for Multiplicative Spread Spectrum Image Watermarking with Laplacian Modeling. - Xiangyong Cao, Feng Zhou, Lin Xu, Deyu Meng, Zongben Xu, John W. Paisley:

Hyperspectral Image Segmentation with Markov Random Fields and a Convolutional Neural Network. - Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu:

Argumentation-based Security for Social Good. - Ragav Venkatesan, Hemanth Venkateswara, Sethuraman Panchanathan, Baoxin Li:

A Strategy for an Uncompromising Incremental Learner. - Satoshi Akasaki, Nobuhiro Kaji:

Chat Detection in an Intelligent Assistant: Combining Task-oriented and Non-task-oriented Spoken Dialogue Systems. - Katherine Rose Driggs-Campbell, Roy Dong, S. Shankar Sastry, Ruzena Bajcsy:

Robust, Informative Human-in-the-Loop Predictions via Empirical Reachable Sets. - Yun Chen, Yang Liu, Yong Cheng, Victor O. K. Li:

A Teacher-Student Framework for Zero-Resource Neural Machine Translation. - Ranjay Krishna, Kenji Hata, Frederic Ren, Li Fei-Fei, Juan Carlos Niebles:

Dense-Captioning Events in Videos. - Mahmoud Mahdi

, Samir E. AbdelRahman
, Reem Bahgat, Ismail Ismail:
F-tree: an algorithm for clustering transactional data using frequency tree. - Jayadev Acharya, Arnab Bhattacharyya, Pritish Kamath:

Improved Bounds for Universal One-Bit Compressive Sensing. - Muhammad Bilal, Shin-Gak Kang:

An Authentication Protocol for Future Sensor Networks. - Anna Slobodová, Warren A. Hunt Jr.:

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. EPTCS 249, 2017 [contents] - Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri:

On the Difficulty of Inserting Trojans in Reversible Computing Architectures. - Arash Gholami Davoodi, Syed Ali Jafar:

Aligned Image Sets and the Generalized Degrees of Freedom of Symmetric MIMO Interference Channel with Partial CSIT. - Xiusheng Liu, Yun Fan, Hualu Liu:

Galois LCD Codes over Finite Fields. - Yehui Yang, Tao Li, Wensi Li, Haishan Wu, Wei Fan, Wensheng Zhang:

Lesion detection and Grading of Diabetic Retinopathy via Two-stages Deep Convolutional Neural Networks. - Jin Wang, Feng Shu, Jinhui Lu, Hai Yu, Riqing Chen, Jun Li, Dushantha Nalin K. Jayakody:

Sum-MSE performance gain of DFT-based channel estimator over frequency-domain LS one in full-duplex OFDM systems with colored interference. - Murat Moran, Dan S. Wallach:

Verification of STAR-Vote and Evaluation of FDR and ProVerif. - David B. Skillicorn, Nasser Alsadhan, Richard Billingsley, Mary-Anne Williams:

Social Robot Modelling of Human Affective State. - Jino P. J, Kannan Balakrishnan:

Offline Handwritten Recognition of Malayalam District Name - A Holistic Approach. - Murat Moran, James Heather:

Automated Analysis of Voting Systems under an Active Intruder Model in CSP. - Mojtaba Shirazi, Azadeh Vosoughi:

Fisher Information Maximization for Distributed Vector Estimation in Wireless Sensor Networks. - Rawad Abou Assi, Chadi Trad, Wes Masri:

ACDC: Altering Control Dependence Chains for Automated Patch Generation. - D. T. Shvarts, F. V. Gubarev:

Towards an Automated Optimization of Laminated Composite Structures: Hierarchical Zoning Approach with Exact Blending Rules. - Naushad Ansari, Anubha Gupta:

Statistical learning of rational wavelet transform for natural images. - Yuya Yoshikawa, Yutaro Shigeto, Akikazu Takeuchi:

STAIR Captions: Constructing a Large-Scale Japanese Image Caption Dataset. - Xiaokai Wei, Bokai Cao, Philip S. Yu:

Multi-view Unsupervised Feature Selection by Cross-diffused Matrix Alignment. - Brendan Avent, Aleksandra Korolova, David Zeber, Torgeir Hovden, Benjamin Livshits:

BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model. - Zewei Ding, Pichao Wang, Philip O. Ogunbona

, Wanqing Li:
Investigation of Different Skeleton Features for CNN-based 3D Action Recognition. - Shaoshi Chen, Manuel Kauers

, Ziming Li, Yi Zhang:
Apparent Singularities of D-finite Systems. - Lukasz Struski, Marek Smieja, Jacek Tabor:

Pointed subspace approach to incomplete data. - Linh Anh Nguyen:

ExpTime Tableaux with Global Caching for Hybrid PDL. - Kazuo Iwama, Junichi Teruyama:

Improved Average Complexity for Comparison-Based Sorting. - Haiping Huang, Alireza Goudarzi, Taro Toyoizumi:

Redundancy in active paths of deep networks: a random active path model. - Xianghao Yu, Jun Zhang, Khaled Ben Letaief

:
Partially-Connected Hybrid Precoding in mm-Wave Systems With Dynamic Phase Shifter Networks. - Mingxuan Wang, Zhengdong Lu, Jie Zhou, Qun Liu:

Deep Neural Machine Translation with Linear Associative Unit. - Zhiyuan Shi, Parthipan Siva, Tao Xiang:

Transfer Learning by Ranking for Weakly Supervised Object Annotation. - Loukianos Spyrou, Javier Escudero:

Weighted network estimation by the use of topological graph metrics. - Sebastian Neumaier, Vadim Savenkov, Svitlana Vakulenko:

Talking Open Data. - Manuel Krebber:

Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables. - Michael Ruderman

:
Full- and Reduced-order Model of Hydraulic Cylinder for Motion Control. - Soumitro Chakrabarty, Emanuël A. P. Habets:

Broadband DOA estimation using Convolutional neural networks trained with noise signals. - Sándor P. Fekete, Sebastian Morr, Christian Scheffer:

Split Packing: Algorithms for Packing Circles with Optimal Worst-Case Density. - Tseng-Hung Chen, Yuan-Hong Liao, Ching-Yao Chuang, Wan Ting Hsu, Jianlong Fu, Min Sun:

Show, Adapt and Tell: Adversarial Training of Cross-domain Image Captioner. - Abhijit Guha Roy, Sailesh Conjeti, Debdoot Sheet, Amin Katouzian, Nassir Navab, Christian Wachinger

:
Error Corrective Boosting for Learning Fully Convolutional Networks with Limited Data. - Jin-Yi Cai, Heng Guo, Tyson Williams:

Clifford Gates in the Holant Framework. - Yu Tsao, Hao-Chun Chu, Shih-Wei Lan, Shih-Hau Fang, Junghsi Lee, Chih-Min Lin:

Adaptive Noise Cancellation Using Deep Cerebellar Model Articulation Controller. - João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar

:
Robust reputation-based ranking on multipartite rating networks. - Christian Mostegel, Rudolf Prettenthaler, Friedrich Fraundorfer, Horst Bischof:

Scalable Surface Reconstruction from Point Clouds with Extreme Scale and Density Diversity. - Hasan M. Jamil:

Smart Assessment of and Tutoring for Computational Thinking MOOC Assignments using MindReader. - Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs:

Foundations of Intelligent Additive Manufacturing. - Bernard van Gastel, Marko C. J. D. van Eekelen:

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. 24-37 - Babatunde Opeoluwa Akinkunmi:

The Problem of Coincidence in A Theory of Temporal Multiple Recurrence. - Seyed Mohammadreza Rouzegar, Umberto Spagnolini:

Channel Estimation for Diffusive MIMO Molecular Communications. - Alessandro Abate, Iury Bessa

, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. - Dino Mandrioli, Matteo Pradella:

Generalizing input-driven languages: theoretical and practical benefits. - David Durfee, John Peebles, Richard Peng, Anup B. Rao:

Determinant-Preserving Sparsification of SDDM Matrices with Applications to Counting and Sampling Spanning Trees. - Mattia Rebato, Jihong Park, Petar Popovski, Elisabeth de Carvalho, Michele Zorzi:

Stochastic Geometric Coverage Analysis in mmWave Cellular Networks with a Realistic Channel Model. - Tobias Maier, Peter Sanders:

Dynamic Space Efficient Hashing. - Flavio Maschietti, David Gesbert, Paul de Kerret, Henk Wymeersch:

Robust Location-Aided Beam Alignment in Millimeter Wave Massive MIMO. - Rui Huang, Danping Zou, Richard Vaughan, Ping Tan:

Active Image-based Modeling. - Zichang He, Wen Jiang:

Quantum Mechanical Approach to Modelling Reliability of Sensor Reports. - Junhui Li, Deyi Xiong, Zhaopeng Tu, Muhua Zhu, Min Zhang, Guodong Zhou:

Modeling Source Syntax for Neural Machine Translation. - Jing Lyu, Qiang Chen, Xu Cai, Marta Molinas:

Impedance Analysis of Modular Multilevel Converter Based on Harmonic State-Space Modeling Method. - Chih-Hong Cheng, Georg Nührenberg, Harald Ruess:

Maximum Resilience of Artificial Neural Networks. - Michael X. Cao, Pascal O. Vontobel:

Estimating the Information Rate of a Channel with Classical Input and Output and a Quantum State (Extended Version). - Weiqian Yan, Kanchan Khurad:

Entity Linking with people entity on Wikipedia. - Arpit Gupta, Rob Harrison, Ankita Pawar, Rüdiger Birkner, Marco Canini

, Nick Feamster, Jennifer Rexford, Walter Willinger:
Sonata: Query-Driven Network Telemetry. - Jy-yong Sohn, Sung Whan Yoon

, Jaekyun Moon:
Pilot Reuse Strategy Maximizing the Weighted-Sum-Rate in Massive MIMO Systems. - Vitali Volovoi:

Correcting for Non-Markovian Asymptotic Effects using Markovian Representation. - Rafal Skinderowicz:

An improved Ant Colony System for the Sequential Ordering Problem. - Kamolwan Kunanusont, Raluca D. Gaina, Jialin Liu

, Diego Perez Liebana, Simon M. Lucas:
The N-Tuple Bandit Evolutionary Algorithm for Automatic Game Improvement. - Badih Ghazi, Madhu Sudan:

The Power of Shared Randomness in Uncertain Communication. - Mohamed Grissa, Attila A. Yavuz, Bechir Hamdaoui:

When the Hammer Meets the Nail: Multi-Server PIR for Database-Driven CRN with Location Privacy Assurance. - Jing Liao, Yuan Yao, Lu Yuan, Gang Hua, Sing Bing Kang:

Visual Attribute Transfer through Deep Image Analogy. - Sandipan Sikdar, Matteo Marsili, Niloy Ganguly, Animesh Mukherjee:

Influence of Reviewer Interaction Network on Long-term Citations: A Case Study of the Scientific Peer-Review System of the Journal of High Energy Physics. - Dmitry B. Rokhlin:

PDE approach to the problem of online prediction with expert advice: a construction of potential-based strategies. - Brian Bauman, Patrick Seeling:

Towards Predictions of the Image Quality of Experience for Augmented Reality Scenarios. - Shih-Chieh Su:

Summarized Network Behavior Prediction. - Andreas Bilke, Colin Cooper, Robert Elsässer, Tomasz Radzik:

Population protocols for leader election and exact majority with O(log^2 n) states and O(log^2 n) convergence time. - Mieczyslaw A. Klopotek:

Recovery of structure of looped jointed objects from multiframes. - Lorenzo Cassi, Agenor Lahatte, Ismael Ràfols, Pierre Sautier, Elisabeth de Turckheim:

Improving fitness: Mapping research priorities against societal needs on obesity. - Eric Cristofalo, Zijian Wang:

Out-of-focus: Learning Depth from Image Bokeh for Robotic Perception. - Balazs Kovacs, Sean Bell, Noah Snavely, Kavita Bala:

Shading Annotations in the Wild. - Abhishek Anand, Greg Morrisett:

Revisiting Parametricity: Inductives and Uniformity of Propositions. - Corey H. Walsh, Sertac Karaman:

CDDT: Fast Approximate 2D Ray Casting for Accelerated Localization. - Gavin Rens, Thomas Andreas Meyer:

Imagining Probabilistic Belief Change as Imaging (Technical Report). - Eddie Antonio Santos, Carson McLean, Christopher Solinas, Abram Hindle:

How does Docker affect energy consumption? Evaluating workloads in and out of Docker containers. - Jiyang Gao, Zhenheng Yang, Ram Nevatia:

Cascaded Boundary Regression for Temporal Action Detection. - Akansel Cosgun, Lichao Ma, Jimmy Chiu, Jiawei Huang, Mahmut Demir, Alexandre Miranda Añon, Thang Lian, Hasan Tafish, Samir Al-Stouhi:

Towards Full Automated Drive in Urban Environments: A Demonstration in GoMentum Station, California. - Mohammad Hadi

, Mohammad Reza Pakravan:
Resource Allocation for Elastic Optical Networks using Geometric Optimization. - Jess Banks, Robert Kleinberg, Cristopher Moore:

The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime. - David Isele, Akansel Cosgun, Kaushik Subramanian, Kikuo Fujimura:

Navigating Intersections with Autonomous Vehicles using Deep Reinforcement Learning. - David Isele, Akansel Cosgun, Kikuo Fujimura:

Analyzing Knowledge Transfer in Deep Q-Networks for Autonomously Handling Multiple Intersections. - Di Yang, Pedro Martins, Vaibhav Saini, Cristina V. Lopes:

Stack Overflow in Github: Any Snippets There? - Zan Gao, Guotai Zhang, Feiping Nie, Hua Zhang:

Local Shrunk Discriminant Analysis (LSDA). - Kenza Hamidouche, Walid Saad, Mérouane Debbah, Ju Bin Song, Choong Seon Hong:

The 5G Cellular Backhaul Management Dilemma: To Cache or to Serve. - Ashis Pati, Kantwon Rogers, Hanqing Zhu:

A Rule-Based Computational Model of Cognitive Arithmetic. - Gan Sun, Yang Cong, Ji Liu, Xiaowei Xu:

Lifelong Metric Learning. - Maíra Gatti de Bayser, Paulo Rodrigo Cavalin, Renan Souza, Alan Braz, Heloisa Candello, Claudio S. Pinhanez, Jean-Pierre Briot:

A Hybrid Architecture for Multi-Party Conversational Systems. - Zheng Cao, Shujian Yu, Bing Ouyang, Fraser R. Dalgleish

, Anni K. Vuorenkoski, Gabriel Alsenas, José C. Príncipe:
Marine Animal Classification with Correntropy Loss Based Multi-view Learning. - Ludovic Brieulle

, Luca De Feo, Javad Doliskani, Jean-Pierre Flori, Éric Schost:
Computing isomorphisms and embeddings of finite fields. - Rebecca Robinson, Graham Farr:

Topological containment of the 5-clique minus an edge in 4-connected graphs. - Shilpi Goel

:
The x86isa Books: Features, Usage, and Future Plans. 1-17 - David M. Russinoff:

A Computationally Surveyable Proof of the Group Properties of an Elliptic Curve. 30-46 - Matt Kaufmann, Sol Swords

:
Meta-extract: Using Existing Facts in Meta-reasoning. 47-60 - Alessandro Coglio, Matt Kaufmann, Eric Whitman Smith:

A Versatile, Sound Tool for Simplifying Definitions. 61-77 - Avery Miller

, Andrzej Pelc:
Deterministic Distributed Construction of $T$-Dominating Sets in Time $T$. - Rob Sumners:

Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications. 78-94 - Sol Swords

:
Term-Level Reasoning in Support of Bit-blasting. 95-111 - Yanan Liang, Xu Li, Jiayi Zhang, Zhiguo Ding:

Non-Orthogonal Random Access (NORA) for 5G Networks. - Mark Jones, Manuel Lafond, Céline Scornavacca:

Consistency of orthology and paralogy constraints in the presence of gene transfers. - Jian Xu, Cunzhao Shi, Cheng-Zuo Qi, Chunheng Wang, Baihua Xiao:

Part-based Weighting Aggregation of Deep Convolutional Features for Image Retrieval. - Hongyang Xue, Zhou Zhao, Deng Cai:

The Forgettable-Watcher Model for Video Question Answering. - Vildan Atalay Aydin, Hassan Foroosh:

Super-Resolution of Wavelet-Encoded Images. - Syed Hashim Raza Bukhari, Mubashir Husain Rehmani, Sajid Siraj:

Remaining Idle Time Aware Intelligent Channel Bonding Schemes for Cognitive Radio Sensor Networks. - Gaurav Pandey, Ambedkar Dukkipati:

Amortized Inference and Learning in Latent Conditional Random Fields for Weakly-Supervised Semantic Image Segmentation. - Alexander Keller, Carsten Wächter, Matthias Raab, Daniel Seibert, Dietger van Antwerpen, Johann Korndörfer, Lutz Kettner:

The Iray Light Transport Simulation and Rendering System. - Georgios Balikas, Ioannis Partalas, Massih-Reza Amini:

On the effectiveness of feature set augmentation using clusters of word embeddings. - Jaime F. Fisac

, Anayo K. Akametalu, Melanie Nicole Zeilinger, Shahab Kaynama, Jeremy H. Gillula, Claire J. Tomlin:
A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems. - Alon Rozental, Daniel Fleischer:

Amobee at SemEval-2017 Task 4: Deep Learning System for Sentiment Detection on Twitter. - Tzu-Chien Fu, Yen-Cheng Liu, Wei-Chen Chiu, Sheng-De Wang, Yu-Chiang Frank Wang:

Learning Cross-Domain Disentangled Deep Representation with Supervision from A Single Domain. - Rüdiger Ehlers:

Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. - Rick Fritschek

, Gerhard Wunder:
On-The-Fly Secure Key Generation with Deterministic Models. - Bruno Joao Nogueira Guerreiro, Carlos Silvestre

, Rita Cunha
, David Cabecinhas
:
LiDAR-based Control of Autonomous Rotorcraft for the Inspection of Pier-like Structures: Proofs. - Niklas Everitt, Giulio Bottegal, Håkan Hjalmarsson:

An empirical Bayes approach to identification of modules in dynamic networks. - Junaid Ahmed Khan, Cédric Westphal, Yacine Ghamri-Doudane:

A Content-based Centrality Metric for Collaborative Caching in Information-Centric Fogs. - Danhao Zhu, Si Shen, Xin-Yu Dai, Jiajun Chen:

Going Wider: Recurrent Neural Network With Parallel Cells. - Jonas Wulff, Laura Sevilla-Lara, Michael J. Black:

Optical Flow in Mostly Rigid Scenes. - Ravi Shekhar, Sandro Pezzelle, Yauhen Klimovich, Aurélie Herbelot, Moin Nabi, Enver Sangineto

, Raffaella Bernardi:
FOIL it! Find One mismatch between Image and Language caption. - Anders P. Eriksson, Carl Olsson, Fredrik Kahl, Olof Enqvist, Tat-Jun Chin:

Why Rotation Averaging is Easy. - Dmitry Yarotsky:

Quantified advantage of discontinuous weight selection in approximations with deep neural networks. - Julian Renner, Tobias Fehenberger, Metodi P. Yankov, Francesco Da Ros, Søren Forchhammer, Georg Böcherer, Norbert Hanik:

Experimental Comparison of Probabilistic Shaping Methods for Unrepeated Fiber Transmission. - Evans Doe Ocansey, Carsten Schneider:

Representing ($q$-)hypergeometric products and mixed versions in difference rings. - Fanyi Xiao, Leonid Sigal, Yong Jae Lee:

Weakly-supervised Visual Grounding of Phrases with Linguistic Structures. - Mirsad Cosovic, Dejan Vukobratovic:

Fast Real-Time DC State Estimation in Electric Power Systems Using Belief Propagation. - Zhixiong Chen:

Linear complexity of Legendre-polynomial quotients. - Christian Zimmermann, Thomas Brox:

Learning to Estimate 3D Hand Pose from Single RGB Images. - Rajai Nasser:

A Characterization of the Shannon Ordering of Communication Channels. - Benjamin Finley, Arturo Basaure:

Benefits of Mobile End User Network Switching and Multihoming. - Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Paulo E. Santos, Ramón López de Mántaras:

Answer Set Programming for Non-Stationary Markov Decision Processes. - Yongshuai Shao, Zhe Chen:

Reconstruction of Missing Big Sensor Data. - Mohamed Aboeleinen, A. H. M. Forhadul Islam:

Social Network Analysis of yahoo web-search engine query logs. - Daniel Lokshtanov, Fahad Panolan

, Saket Saurabh, Roohani Sharma, Meirav Zehavi:
Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms. - Mengyu Chu

, Nils Thuerey:
Data-Driven Synthesis of Smoke Flows with CNN-based Feature Descriptors. - Alexandros Nikou, Christos K. Verginis

, Shahab Heshmati-Alamdari, Dimos V. Dimarogonas:
A Nonlinear Model Predictive Control Scheme for Cooperative Manipulation with Singularity and Collision Avoidance. - Guy Avni, Ventsislav Chonev, Thomas A. Henzinger:

Infinite-Duration Bidding Games. - Shangzhen Luan, Baochang Zhang, Chen Chen, Xianbin Cao, Jungong Han, Jianzhuang Liu:

Gabor Convolutional Networks. - Hao Zhou, Zhaopeng Tu, Shujian Huang, Xiaohua Liu, Hang Li, Jiajun Chen:

Chunk-Based Bi-Scale Decoder for Neural Machine Translation. - Pietro Danzi, Marko Angjelichinoski, Cedomir Stefanovic, Petar Popovski:

Distributed Proportional-Fairness Control in MicroGrids via Blockchain Smart Contracts. - Yu-Sung Tu, Wei-Torng Juang:

The Payoff Region of a Strategic Game and Its Extreme Points. - Nematollah Zarmehi, Sina Shahsavari, Farokh Marvasti:

Comparison of Uniform and Random Sampling for Speech and Music Signals. - Naveen Mellempudi, Abhisek Kundu, Dheevatsa Mudigere, Dipankar Das, Bharat Kaul, Pradeep Dubey:

Ternary Neural Networks with Fine-Grained Quantization. - Claudiu Herteliu, Marcel Ausloos, Bogdan Vasile Ileanu, Giulia Rotundo, Tudorel Andrei:

Quantitative and qualitative analysis of editor behavior through maybe coercive citations. - Mark de Berg

, Hans L. Bodlaender, Sándor Kisfaludi-Bak:
The Homogeneous Broadcast Problem in Narrow and Wide Strips. - John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. - Alexey Ignatiev, António Morgado, João Marques-Silva:

On Tackling the Limits of Resolution in SAT Solving. - Nouara Zoubir, Kenza Guenda:

Some New Permutation Polynomials over Finite Fields. - Marco Todescato, Andrea Carron, Ruggero Carli, Gianluigi Pillonetto, Luca Schenato:

Efficient Spatio-Temporal Gaussian Regression via Kalman Filtering. - John Augustine, Krishna V. Palem, Parishkrati:

Sustaining Moore's Law Through Inexactness. - Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya:

Making Metric Temporal Logic Rational. - Joerg Evermann, Jana-Rebecca Rehse, Peter Fettke:

XES Tensorflow - Process Prediction using the Tensorflow Deep-Learning Framework. - Bhaskar Mitra, Nick Craswell:

Neural Models for Information Retrieval. - Oisín Moran, Robert Gilmore, Rodrigo H. Ordóñez-Hurtado, Robert Shorten:

Hybrid Urban Navigation for Smart Cities. - Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo:

Restart-Based Security Mechanisms for Safety-Critical Embedded Systems. - Adarsh Yoga, Santosh Nagarakatte:

A Fast Causal Profiler for Task Parallel Programs. - Manuel Günther, Steve Cruz, Ethan M. Rudd, Terrance E. Boult:

Toward Open-Set Face Recognition. - Greg Bodwin:

Testing Core Membership in Public Goods Economies. - Xiao-Yang Liu, Xiaodong Wang:

Fourth-order Tensors with Multidimensional Discrete Transforms. - Dushyant Mehta, Srinath Sridhar, Oleksandr Sotnychenko, Helge Rhodin, Mohammad Shafiei, Hans-Peter Seidel, Weipeng Xu, Dan Casas, Christian Theobalt:

VNect: Real-time 3D Human Pose Estimation with a Single RGB Camera. - Yakov Babichenko, Yuval Emek, Michal Feldman

, Boaz Patt-Shamir, Ron Peretz, Rann Smorodinsky:
Stable Secretaries. - Steven B. Bradlow, Konstantinos Kapenekakis, Georgios Kydonakis, Xinwei Li, Jiarui Xu:

Demonstrating research subcommunities in mathematical networks. - Radu Curticapean, Holger Dell, Dániel Marx

:
Homomorphisms Are a Good Basis for Counting Small Subgraphs. - Lin Song, Fady Alajaji, Tamás Linder:

Capacity of Burst Noise-Erasure Channels With and Without Feedback and Input Cost. - Antti-Pekka Hynninen, Dmitry I. Lyakh:

cuTT: A High-Performance Tensor Transpose Library for CUDA Compatible GPUs. - Marek Smieja, Bernhard C. Geiger:

Semi-supervised cross-entropy clustering with information bottleneck constraint. - Cody Buntain, Jennifer Golbeck:

I Want to Believe: Journalists and Crowdsourced Accuracy Assessments in Twitter. - Minsoo Rhu, Mike O'Connor, Niladrish Chatterjee, Jeff Pool, Stephen W. Keckler:

Compressing DMA Engine: Leveraging Activation Sparsity for Training Deep Neural Networks. - Maurizio Drocco, Claudia Misale, Guy Tremblay, Marco Aldinucci:

A Formal Semantics for Data Analytics Pipelines. - Wei Yang, Yingbin Liang, Shlomo Shamai, H. Vincent Poor:

State-Dependent Gaussian Multiple Access Channels: New Outer Bounds and Capacity Results. - Sepehr Assadi:

Combinatorial Auctions Do Need Modest Interaction. - Mauricio Toro, Myriam Desainte-Catherine, Antoine Allombert:

Modeling temporal constraints for a system of interactive scores. - Li Yi, Leonidas J. Guibas, Aaron Hertzmann

, Vladimir G. Kim, Hao Su, Ersin Yumer:
Learning Hierarchical Shape Segmentation and Labeling from Online Repositories. - Omid Mashayekhi, Hang Qu, Chinmayee Shah, Philip Alexander Levis:

Execution Templates: Caching Control Plane Decisions for Strong Scaling of Data Analytics. - Philip Zwanenburg, Siva Nadarajah:

On the Necessity of Superparametric Geometry Representation for Discontinuous Galerkin Methods on Domains with Curved Boundaries. - Rui Yao, Kai Sun

:
Towards Simulation and Risk Assessment of Weather-Related Cascading Outages. - Wei Liu, Xiaogang Chen, Chunhua Shen, Zhi Liu, Jie Yang:

Semi-Global Weighted Least Squares in Image Filtering. - Francisco López-Ramos, Armando Guarnaschelli, José-Fernando Camacho-Vallejo, Laura Hervert-Escobar, Rosa G. González-Ramírez:

Tramp Ship Scheduling Problem with Berth Allocation Considerations and Time-dependent Constraints. - Ryan Cotterell, Jason Eisner:

Probabilistic Typology: Deep Generative Models of Vowel Inventories. - Raphael E. Stern, Shumo Cui, Maria Laura Delle Monache, Rahul Bhadani

, Matt Bunting, Miles Churchill, Nathaniel Hamilton, R'mani Haulcy, Hannah Pohlmann, Fangyu Wu, Benedetto Piccoli, Benjamin Seibold, Jonathan Sprinkle, Daniel B. Work:
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments. - Shun-Wen Hsiao, Yeali S. Sun, Meng Chang Chen:

Virtual Machine Introspection Based Malware Behavior Profiling and Family Grouping. - Chiranjib Saha, Mehrnaz Afshang, Harpreet S. Dhillon:

3GPP-inspired HetNet Model using Poisson Cluster Process: Sum-product Functionals and Downlink Coverage. - Jan Svoboda, Federico Monti, Michael M. Bronstein:

Generative Convolutional Networks for Latent Fingerprint Reconstruction. - Xue Lin, Yuanshi Zheng, Long Wang:

Delta-operator based consensus analysis of multi-agent networks with link failures. - Helmut Bölcskei, Philipp Grohs, Gitta Kutyniok, Philipp Petersen

:
Optimal Approximation with Sparsely Connected Deep Neural Networks. - Daniel M. Kane, Shachar Lovett

, Shay Moran:
Near-optimal linear decision trees for k-SUM and related problems. - Martin Kretschmer, Elmar Langetepe:

Evolutionary learning of fire fighting strategies. - Elmar Langetepe, Simone Lehmann:

Exact VC-dimension for $L_1$-visibility of points in simple polygons. - Patrick C. F. Eggers, Petar Popovski:

Wireless Channel Modeling Perspectives for Ultra-Reliable Communications. - Drosos Kourounis, Leonidas Gergidis, Michael A. Saunders, Andrea Walther, Olaf Schenk:

Compile-Time Symbolic Differentiation Using C++ Expression Templates. - Conan Mukherje

, Aftab Alam:
On evaluating author's performance by publications: an axiomatic study. - Vahid Jamali, Arman Ahmadzadeh, Robert Schober:

On the Design of Matched Filters for Molecule Counting Receivers. - Berkan Demirel, Ramazan Gokberk Cinbis, Nazli Ikizler-Cinbis:

Attributes2Classname: A discriminative model for attribute-based unsupervised zero-shot learning. - Yu Cheng

, Shaddin Dughmi, David Kempe:
Of the People: Voting Is More Effective with Representative Candidates. - Amit Kulkarni, Dirk Stroobandt, André Werner, Florian Fricke, Michael Hübner:

Pixie: A heterogeneous Virtual Coarse-Grained Reconfigurable Array for high performance image processing applications. - Brahim Benmedjdoub, Isma Bouchemakh, Éric Sopena:

Incidence Choosability of Graphs. - Hou-Ning Hu, Yen-Chen Lin, Ming-Yu Liu, Hsien-Tzu Cheng, Yung-Ju Chang, Min Sun:

Deep 360 Pilot: Learning a Deep Agent for Piloting through 360° Sports Video. - Theodoros Karagkioules, Dimitrios Tsilimantos, Cyril Concolato, Stefan Valentin:

A Comparative Case Study of HTTP Adaptive Streaming Algorithms in Mobile Networks. - Maksims Dimitrijevs, Abuzer Yakaryilmaz:

Uncountable realtime probabilistic classes. - Aamir Mahmood, Mikael Gidlund, M. M. Aftab Hossain:

PER Approximation for Cross-Layer Optimization under Reliability and Energy Constraints. - Federico Becattini, Tiberio Uricchio, Lamberto Ballan, Lorenzo Seidenari, Alberto Del Bimbo:

Am I Done? Predicting Action Progress in Videos. - Yang Long, Li Liu, Ling Shao, Fumin Shen, Guiguang Ding, Jungong Han:

From Zero-shot Learning to Conventional Supervised Classification: Unseen Visual Data Synthesis. - Zhigang Cao, Bo Chen

, Xujin Chen, Changjun Wang:
A Network Game of Dynamic Traffic. - Parth Sane, Ravindra Agrawal:

Pixel Normalization from Numeric Data as Input to Neural Networks. - Cheng-Hao Deng, Wan-Lei Zhao:

Fast k-means based on KNN Graph. - Christoph Schwering:

A Reasoning System for a First-Order Logic of Limited Belief. - D. Thirumulanathan, Rajesh Sundaresan, Y. Narahari:

On Optimal Mechanisms in the Two-Item Single-Buyer Unit-Demand Setting. - Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:

Characterizing Definability in Decidable Fixpoint Logics. - Stefan Rass:

Towards a Physical Oracle for the Partition Problem using Analogue Computing. - Somnath Roy:

A Finite State and Rule-based Akshara to Prosodeme (A2P) Converter in Hindi. - Ran Breuer, Ron Kimmel:

A Deep Learning Perspective on the Origin of Facial Expressions. - Anil Alan, Yildiray Yildiz, Umit Poyraz:

Adaptive Pressure Control for Use in Variable-Thrust Rocket Development. - Massimo Iuliani, Marco Fontani, Dasara Shullani, Alessandro Piva

:
A Hybrid Approach to Video Source Identification. - Vicky Kalogeiton, Philippe Weinzaepfel, Vittorio Ferrari, Cordelia Schmid:

Action Tubelet Detector for Spatio-Temporal Action Localization. - Yehan Ma, Dolvara Gunatilaka, Bo Li, Humberto González, Chenyang Lu:

Holistic Cyber-Physical Management for Dependable Wireless Control Systems. - Carlo Condo, Seyyed Ali Hashemi, Warren J. Gross:

Blind Detection with Polar Codes. - Bruno Durand, Andrei Romashchenko:

On the expressive power of quasiperiodic SFT. - Marek Smieja, Lukasz Struski, Jacek Tabor:

Semi-supervised model-based clustering with controlled clusters leakage. - Simone Silvetti

, Alberto Policriti
, Luca Bortolussi:
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. - Elena Grigorescu, Erfan Sadeqi Azer, Samson Zhou:

Streaming for Aibohphobes: Longest Palindrome with Mismatches. - Tobias Böttger, Dominik Gutermuth:

Edge-based Component-Trees for Multi-Channel Image Segmentation. - Yifan Liu, Zengchang Qin, Zhenbo Luo, Hua Wang:

Auto-painter: Cartoon Image Generation from Sketch by Using Conditional Generative Adversarial Networks. - Elizabeth D. Mynatt, Jennifer Clark

, Gregory D. Hager, Daniel P. Lopresti
, Greg Morrisett, Klara Nahrstedt, George J. Pappas
, Shwetak N. Patel, Jennifer Rexford, Helen V. Wright, Benjamin G. Zorn:
A National Research Agenda for Intelligent Infrastructure. - Liliang Ren:

Recurrent Soft Attention Model for Common Object Recognition. - Rahul Mangharam, Megan Reyerson, Steve Viscelli, Hamsa Balakrishanan, Alexandre M. Bayen, Surabh Amin, Leslie Richards, Leo Bagley, George J. Pappas

:
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology. - Aranya Chakrabortty, Alex Huang:

Digital Grid: Transforming the Electric Power Grid into an Innovation Engine for the United States. - Ahmed Zeeshan Pervaiz, Lakshmi Anirudh Ghantasala, Kerem Yunus Çamsari, Supriyo Datta:

Hardware demonstration of stochastic p-bits for invertible logic. - Venkatesan Guruswami, Ray Li:

Efficiently decodable codes for the binary deletion channel. - Michal Feldman

, Amos Fiat, Alan Roytman:
Makespan Minimization via Posted Prices. - Jarilyn M. Hernández Jiménez, Jeffrey A. Nichols, Katerina Goseva-Popstojanova, Stacy J. Prowell, Robert A. Bridges:

Malware Detection on General-Purpose Computers Using Power Consumption Monitoring: A Proof of Concept and Case Study. - Brice M. Bigendako, Eugene Syriani:

Automatically Installing and Deploying Tools for Conducting Systematic Reviews in ReLiS. - Bin Wang, Chengxi Liu, Kai Sun

:
Multi-Stage Holomorphic Embedding Method for Calculating the Power-Voltage Curve. - Michael Dunaway, Robin R. Murphy, Nalini Venkatasubramanian, Leysia Palen, Daniel Lopresti

:
Research Agenda in Intelligent Infrastructure to Enhance Disaster Management, Community Resilience and Public Safety. - Klara Nahrstedt, Christos G. Cassandras, Charlie Catlett:

City-Scale Intelligent Systems and Platforms. - Jacob Devlin:

Sharp Models on Dull Hardware: Fast and Accurate Neural Machine Translation Decoding on the CPU. - Shashi Shekhar, Joe Colletti, Francisco Muñoz-Arriola

, Lakshmish Ramaswamy, Chandra Krintz, Lav R. Varshney
, Debra J. Richardson:
Intelligent Infrastructure for Smart Agriculture: An Integrated Food, Energy and Water System. - Kevin Fu, Ann W. Drobnis, Greg Morrisett, Elizabeth D. Mynatt, Shwetak N. Patel, Radha Poovendran, Benjamin G. Zorn:

Safety and Security for Intelligent Infrastructure. - Ellen W. Zegura, Beki Grinter, Elizabeth M. Belding, Klara Nahrstedt:

A Rural Lens on a Research Agenda for Intelligent Infrastructure. - Hien To, Sumeet Agrawal, Seon Ho Kim, Cyrus Shahabi

:
On Identifying Disaster-Related Tweets: Matching-based or Learning-based? - Xingdi Yuan, Tong Wang, Çaglar Gülçehre

, Alessandro Sordoni, Philip Bachman, Sandeep Subramanian, Saizheng Zhang, Adam Trischler:
Machine Comprehension by Text-to-Text Neural Question Generation. - Anh Duc Dang, Hung Manh La, Thang Nguyen

, Joachim Horn:
Distributed Formation Control for Autonomous Robots in Dynamic Environments. - Loukianos Spyrou, Mario A. Parra, Javier Escudero:

Complex tensor factorisation with PARAFAC2 for the estimation of brain connectivity from the EEG. - Hussam Hamdan:

Senti17 at SemEval-2017 Task 4: Ten Convolutional Neural Network Voters for Tweet Polarity Classification. - Naci Saldi, Tamer Basar, Maxim Raginsky:

Approximate Nash Equilibria in Partially Observed Stochastic Games with Mean-Field Interactions. - Jiazi Zhang, Zhigang Chu, Lalitha Sankar, Oliver Kosut:

False Data Injection Attacks on Phasor Measurements That Bypass Low-rank Decomposition. - James B. Aimone

:
Exponential scaling of neural algorithms - a future beyond Moore's Law? - Amgad Madkour, Walid G. Aref, Faizan Ur Rehman

, Mohamed Abdur Rahman, Saleh M. Basalamah:
A Survey of Shortest-Path Algorithms. - Teresa Heiss, Hubert Wagner:

Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. - Joshua Gluck, Christian Koehler, Jennifer Mankoff, Anind K. Dey, Yuvraj Agarwal:

A Systematic Approach for Exploring Tradeoffs in Predictive HVAC Control Systems for Buildings. - Ahmed Ewaisha, Cihan Tepedelenlioglu:

Optimal Power Control and Scheduling under Hard Deadline Constraints for Continuous Fading Channels. - Ruochen Xu, Yiming Yang:

Cross-lingual Distillation for Text Classification. - Mengxue Li, Shiqiang Geng, Yang Gao, Haijing Liu, Hao Wang:

Crowdsourcing Argumentation Structures in Chinese Hotel Reviews. - Carlos Bermejo, Pan Hui:

Steal Your Life Using 5 Cents: Hacking Android Smartphones with NFC Tags. - Katerina Fragkiadaki, Jonathan Huang, Alex Alemi, Sudheendra Vijayanarasimhan, Susanna Ricco, Rahul Sukthankar:

Motion Prediction Under Multimodality with Conditional Stochastic Networks. - ThaiBinh Nguyen, Kenro Aihara, Atsuhiro Takasu:

A Probabilistic Model for Collaborative Filtering with Implicit and Explicit Feedback Data. - Jun Li, Kai Xu, Siddhartha Chaudhuri, Ersin Yumer, Hao Zhang, Leonidas J. Guibas:

GRASS: Generative Recursive Autoencoders for Shape Structures. - Adam Greig, Ramji Venkataramanan:

Optimizing the Finite Length Performance of Sparse Superposition Codes. - Agrim Gupta, Justin Johnson, Alexandre Alahi, Li Fei-Fei:

Characterizing and Improving Stability in Neural Style Transfer. - Wei-Yu Chiu:

Method of Reduction of Variables for Bilinear Matrix Inequality Problems in System and Control Designs. - Jiyang Gao, Chen Sun, Zhenheng Yang, Ram Nevatia:

TALL: Temporal Activity Localization via Language Query. - Abhinav Palia, Rajat Tandon:

Optimizing noise level for perturbing geo-location data. - Wei-Yu Chiu:

Multiobjective controller design by solving a multiobjective matrix inequality problem. - Pascal Giard

, Alexios Balatsoukas-Stimming, Andreas Burg
:
Blind Detection of Polar Codes. - Shuoyao Wang, Suzhi Bi, Ying Jun Zhang

, Jianwei Huang
:
Electrical Vehicle Charging Station Profit Maximization: Admission, Pricing, and Online Scheduling. - Wei-Yu Chiu, Hongjian Sun, H. Vincent Poor:

A Multiobjective Approach to Multimicrogrid System Design. - Karl Bringmann, Sebastian Krinninger:

A Note on Hardness of Diameter Approximation. - Minglan Li, Yang Gao, Hui Wen, Yang Du, Haijing Liu, Hao Wang:

Joint RNN Model for Argument Component Boundary Detection. - Wei-Yu Chiu, Hongjian Sun, H. Vincent Poor:

Energy Imbalance Management Using a Robust Pricing Scheme. - Mansi Peer, Vivek Ashok Bohara

, Neha Jain:
D2D User Selection For Simultaneous Spectrum Sharing And Energy Harvesting. - Antonio D'Innocente, Fabio Maria Carlucci, Mirco Colosi, Barbara Caputo:

Bridging between Computer and Robot Vision through Data Augmentation: a Case Study on Object Recognition. - Fuqing Zhu, Xiangwei Kong, Liang Zheng, Haiyan Fu, Qi Tian:

Part-based Deep Hashing for Large-scale Person Re-identification. - Avikalp Srivastava, Madhav Datt, Jaikrishna Chaparala, Shubham Mangla, Priyadarshi Patnaik:

Social Media Advertisement Outreach: Learning the Role of Aesthetics. - Noureldien Hussein

, Efstratios Gavves, Arnold W. M. Smeulders:
Unified Embedding and Metric Learning for Zero-Exemplar Event Detection. - Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:

Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. - Samin Mohammadi, Reza Farahbakhsh, Noël Crespi:

Popularity Evolution of Professional Users on Facebook. - Ivaylo Hristakiev, Detlef Plump:

A Unification Algorithm for GP 2 (Long Version). - Nikos Katzouris, Alexander Artikis, Georgios Paliouras:

Distributed Online Learning of Event Definitions. - Nikolay I. Bazenkov, Varvara Dyakonova, Oleg P. Kuznetsov, Dmitri Sakharov, Dmitry Vorontsov, Liudmila Yu. Zhilyakova:

Discrete Modeling of Multi-Transmitter Neural Networks with Neuron Competition. - Nikolai Nøjgaard, Manuela Geiß, Peter F. Stadler, Daniel Merkle

, Nicolas Wieseke, Marc Hellmuth:
Forbidden Time Travel: Characterization of Time-Consistent Tree Reconciliation Maps. - James Thewlis, Hakan Bilen, Andrea Vedaldi:

Unsupervised learning of object landmarks by factorized spatial embeddings. - Viswanath Nagarajan, Xiangkun Shen:

Online Covering with Sum of $\ell_q$-Norm Objectives. - Geoff Boeing:

A Multi-Scale Analysis of 27, 000 Urban Street Networks. - Hao Liao, Ming-Yang Zhou, Zong-Wen Wei, Rui Mao, Alexandre Vidmer, Yi-Cheng Zhang:

Hidden space reconstruction inspires link prediction in complex networks. - Matteo Cinelli

, Giovanna Ferraro, Antonio Iovanella:
Rich-Club Ordering and the Dyadic Effect: Two Interrelated Phenomena. - Gilles Puy, Patrick Pérez:

Structured sampling and fast reconstruction of smooth graph signals. - Tesfamariam M. Abuhay

, Sergey V. Kovalchuk, Klavdiya O. Bochenina, George Kampis, Valeria V. Krzhizhanovskaya, Michael Harold Lees:
Analysis of Computational Science Papers from ICCS 2001-2016 using Topic Modeling and Graph Theory. - Cheng-Hao Cai:

SLDR-DL: A Framework for SLD-Resolution with Deep Learning. - Yan Sun, Derrick Wing Kwan Ng, Robert Schober:

Resource Allocation for Secure Full-Duplex OFDMA Radio Systems. - Lovedeep Gondara:

Detecting Adversarial Samples Using Density Ratio Estimates. - Marek Smieja, Jacek Tabor:

Spherical Wards clustering and generalized Voronoi diagrams. - Min-ne Li, Zhaoning Zhang, Hao Yu, Xinyuan Chen, Dongsheng Li:

S-OHEM: Stratified Online Hard Example Mining for Object Detection. - Mikhail Hayhoe, Fady Alajaji, Bahman Gharesifard:

A Polya Contagion Model for Networks. - Saeed Vahidian, Maryam Najafi, Marzieh Najafi, Fawaz S. Al-Qahtani:

Power Allocation and Cooperative Diversity in Two-Way Non-Regenerative Cognitive Radio Networks. - Neil D. Lawrence:

Data Readiness Levels. - Annina Bracher, Amos Lapidoth, Christoph Pfister:

Distributed Task Encoding. - Michael Axtmann, Sascha Witt, Daniel Ferizovic, Peter Sanders:

In-place Parallel Super Scalar Samplesort (IPSSSSo). - Colin S. Gordon

:
A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version). - Argyrios Deligkas

, John Fearnley, Rahul Savani
:
Computing Constrained Approximate Equilibria in Polymatrix Games. - Jan Stiborek, Tomás Pevný, Martin Rehák:

Multiple Instance Learning for Malware Classification. - Sebastian Brarda, Philip Yeres, Samuel R. Bowman:

Sequential Attention. - Fadime Bekmambetova, Xinyue Zhang, Piero Triverio:

A Dissipation Theory for Three-Dimensional FDTD with Application to Stability Analysis and Subgridding. - Sepehr Assadi, Sanjeev Khanna, Yang Li:

The Stochastic Matching Problem: Beating Half with a Non-Adaptive Algorithm. - Alireza Sheikh, Alexandre Graell i Amat, Gianluigi Liva:

Probabilistically-Shaped Coded Modulation with Hard Decision Decoding for Coherent Optical Systems. - Adriano Augusto, Raffaele Conforti, Marlon Dumas

, Marcello La Rosa, Fabrizio Maria Maggi, Andrea Marrella
, Massimo Mecella, Allar Soo:
Automated Discovery of Process Models from Event Logs: Review and Benchmark. - Hubert Comon, Adrien Koutsos:

Formal Computational Unlinkability Proofs of RFID Protocols. - Rocio Arroyo-Valles, Andrea Simonetto, Geert Leus:

Consistent Sensor, Relay, and Link Selection in Wireless Sensor Networks. - Nadav Cohen, Or Sharir, Yoav Levine, Ronen Tamari, David Yakira, Amnon Shashua:

Analysis and Design of Convolutional Networks via Hierarchical Tensor Decompositions. - Amr Abdelaziz

, Can Emre Koksal:
Fundamental Limits of Covert Communication over MIMO AWGN Channel. - Chao Li, Xiaokong Ma, Bing Jiang, Xiangang Li, Xuewei Zhang, Xiao Liu, Ying Cao, Ajay Kannan, Zhenyao Zhu:

Deep Speaker: an End-to-End Neural Speaker Embedding System. - Francesco Grassi, Andreas Loukas, Nathanaël Perraudin, Benjamin Ricaud:

A Time-Vertex Signal Processing Framework. - John Fearnley:

Efficient Parallel Strategy Improvement for Parity Games. - Serkan Özen, Burcu Can

:
Building Morphological Chains for Agglutinative Languages. - Xiaosong Wang

, Yifan Peng, Le Lu, Zhiyong Lu, Mohammadhadi Bagheri, Ronald M. Summers:
ChestX-ray8: Hospital-scale Chest X-ray Database and Benchmarks on Weakly-Supervised Classification and Localization of Common Thorax Diseases. - Sampath Kannan, Michael J. Kearns, Jamie Morgenstern, Mallesh M. Pai, Aaron Roth, Rakesh V. Vohra, Zhiwei Steven Wu:

Fairness Incentives for Myopic Agents. - Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer:

Value Iteration for Long-run Average Reward in Markov Decision Processes. - Ashwani Kumar, Mukul Sarkar, Manan Suri:

Exploiting OxRAM Resistive Switching for Dynamic Range Improvement of CMOS Image Sensors. - Mingyang Cao, Sergiy A. Vorobyov, Aboulnasr Hassanien:

Transmit Array Interpolation for DOA Estimation via Tensor Decomposition in 2D MIMO Radar. - Alexis Conneau, Douwe Kiela, Holger Schwenk, Loïc Barrault, Antoine Bordes:

Supervised Learning of Universal Sentence Representations from Natural Language Inference Data. - Sylvia C. Boyd, András Sebö:

The Salesman's Improved Tours for Fundamental Classes. - Petr Kolman:

On Algorithms for $L$-bounded Cut Problem. - Jonathan Chang, Stefan Scherer:

Learning Representations of Emotional Speech with Deep Convolutional Generative Adversarial Networks. - Markus Borg, Iben Lennerstad, Rasmus Ros, Elizabeth Bjarnason:

On Using Active Learning and Self-Training when Mining Performance Discussions on Stack Overflow. - Arkadev Chattopadhyay, Nikhil S. Mande

:
Weights at the Bottom Matter When the Top is Heavy. - Ahmed Ewaisha, Cihan Tepedelenlioglu:

Optimal Power Control and Scheduling for Real-Time and Non-Real-Time Data. - Ericsson Marin, Ruocheng Guo, Paulo Shakarian

:
Temporal Analysis of Influence to Predict Users' Adoption in Online Social Networks. - Zhenhua Feng, Josef Kittler, Muhammad Awais

, Patrik Huber, Xiaojun Wu:
Face Detection, Bounding Box Aggregation and Pose Estimation for Robust Facial Landmark Localisation in the Wild. - Brian Ichter, Edward Schmerling, Marco Pavone:

Group Marching Tree: Sampling-Based Approximately Optimal Motion Planning on GPUs. - Tejas S. Borkar, Lina J. Karam:

DeepCorrect: Correcting DNN models against Image Distortions. - Guanghan Ning, Zhi Zhang, Zhihai He:

Knowledge-Guided Deep Fractal Neural Networks for Human Pose Estimation. - Brian Ichter, Benoit Landry, Edward Schmerling, Marco Pavone:

Robust Motion Planning via Perception-Aware Multiobjective Search on GPUs. - Ming Sun, Anirudh Raju, George Tucker, Sankaran Panchapagesan, Gengshen Fu, Arindam Mandal, Spyros Matsoukas, Nikko Strom, Shiv Vitaladevuni:

Max-Pooling Loss Training of Long Short-Term Memory Networks for Small-Footprint Keyword Spotting. - Fardin Abdi, Renato Mancuso, Rohan Tabish, Marco Caccamo:

Restart-Based Fault-Tolerance: System Design and Schedulability Analysis. - Patrick Doetsch, Pavel Golik

, Hermann Ney:
A comprehensive study of batch construction strategies for recurrent neural networks in MXNet. - Tommaso Gagliardoni:

Quantum Security of Cryptographic Primitives. - Zihao Li, WenChuan Wu, Boming Zhang:

A Kullback-Leibler Divergence-based Distributionally Robust Optimization Model for Heat Pump Day-ahead Operational Schedule in Distribution Networks. - Marcel Campen, Denis Zorin:

On Discrete Conformal Seamless Similarity Maps. - Hanxiao Liu, Yuexin Wu, Yiming Yang:

Analogical Inference for Multi-Relational Embeddings. - Yong Wang:

An Algebra of Actors Based on True Concurrency. - Peng Tang, Xinggang Wang

, Zilong Huang, Xiang Bai, Wenyu Liu:
Deep Patch Learning for Weakly Supervised Object Classification and Discovery. - He Zhang, Vishal M. Patel:

Sparse Representation-based Open Set Recognition. - Artemy Kolchinsky, Brendan D. Tracey, David H. Wolpert:

Nonlinear Information Bottleneck. - Zhimin Chen, Yuguang Tong:

Face Super-Resolution Through Wasserstein GANs. - Julieta Martinez, Michael J. Black, Javier Romero:

On human motion prediction using recurrent neural networks. - Yifan Liu, Zengchang Qin, Pengyu Li, Tao Wan:

Stock Volatility Prediction Using Recurrent Neural Networks with Sentiment Analysis. - Salvatore Iaconesi:

Interface and Data Biopolitics in the Age of Hyperconnectivity. - Jeanne Pellerin, Amaury Johnen, Jean-François Remacle:

Combining tetrahedra into hexahedra: a vertex based strategy. - Pramod Pandey, Somnath Roy:

A Generative Model of a Pronunciation Lexicon for Hindi. - Kabir Chandrasekher, Orhan Ocal, Kannan Ramchandran:

Density Evolution on a Class of Smeared Random Graphs: A Theoretical Framework for Fast MRI. - Xingjian Li, Jun Fang

, Hongbin Li, Pu Wang:
Millimeter Wave Channel Estimation via Exploiting Joint Sparse and Low-Rank Structures. - Amara Tariq, Hassan Foroosh:

Image Annotation using Multi-Layer Sparse Coding. - Mahardhika Pratama:

PANFIS++: A Generalized Approach to Evolving Learning. - Mahardhika Pratama, Eric Dimla, Chow Yin Lai, Edwin Lughofer:

Metacognitive Learning Approach for Online Tool Condition Monitoring. - Mustafa A. Kishk, Harpreet S. Dhillon:

Tight Lower Bounds on the Contact Distance Distribution in Poisson Hole Process. - Ikuya Yamada, Hiroyuki Shindo, Hideaki Takeda, Yoshiyasu Takefuji:

Learning Distributed Representations of Texts and Entities from Knowledge Base. - Samuel Fuller Dodge, Lina J. Karam:

A Study and Comparison of Human and Deep Learning Recognition Performance Under Visual Distortions. - Mayank Singh, Abhishek Niranjan, Divyansh Gupta, Nikhil Angad Bakshi, Animesh Mukherjee, Pawan Goyal:

Citation sentence reuse behavior of scientists: A case study on massive bibliographic text dataset of computer science. - Federico Bartoli, Giuseppe Lisanti, Lamberto Ballan, Alberto Del Bimbo:

Context-Aware Trajectory Prediction. - Shenghua Liu, Bryan Hooi, Christos Faloutsos:

HoloScope: Topology-and-Spike Aware Fraud Detection. - Miguel Ramos, Marco Túlio Valente

, Ricardo Terra:
AngularJS Performance: A Survey Study. - Ehsan Toreini, Siamak F. Shahandashti, Feng Hao:

Texture to the Rescue: Practical Paper Fingerprinting based on Texture Patterns. - Shrikant Venkataramani, Paris Smaragdis:

End-to-end Source Separation with Adaptive Front-Ends. - Omar I. Al-Bataineh:

Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures. - Ranveer Singh, Ravindra B. Bapat:

$\mathcal{B}$-partitions, application to determinant and permanent of graphs. - Subhabrata Mukherjee, Kashyap Popat, Gerhard Weikum:

Exploring Latent Semantic Factors to Find Useful Product Reviews. - Subhabrata Mukherjee, Hemank Lamba, Gerhard Weikum:

Item Recommendation with Evolving User Preferences and Experience. - Sanjit Krishnan Kaul, Roy D. Yates:

Status Updates Over Unreliable Multiaccess Channels. - Subhabrata Mukherjee, Gerhard Weikum, Cristian Danescu-Niculescu-Mizil:

People on Drugs: Credibility of User Statements in Health Communities. - Wenguan Wang, Jianbing Shen:

Deep Visual Attention Prediction. - Nikolai Smolyanskiy, Alexey Kamenev, Jeffrey Smith, Stan Birchfield:

Toward Low-Flying Autonomous MAV Trail Navigation using Deep Neural Networks for Environmental Awareness. - Riten Gupta, Niyant Krishnamurthi, Uen-Tao Wang, Tejaswi Tamminedi, Mario Gerla:

Routing in Mobile Ad-Hoc Networks using Social Tie Strengths and Mobility Plans. - Kamyar Azizzadenesheli, Alessandro Lazaric, Animashree Anandkumar:

Experimental results : Reinforcement Learning of POMDPs using Spectral Methods. - Ishan Jindal, Matthew S. Nokleby:

Performance Limits on the Classification of Kronecker-structured Models. - Chien-Ying Chen, AmirEmad Ghassami, Sibin Mohan, Negar Kiyavash, Rakesh B. Bobba, Rodolfo Pellizzoni, Man-Ki Yoon:

A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems. - Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan:

Learning Discriminative Relational Features for Sequence Labeling. - Puttichai Lertkultanon, Quang-Cuong Pham:

A Certified-Complete Bimanual Manipulation Planner. - Shahab Bahrami, M. Hadi Amini:

A Decentralized Framework for Real-Time Energy Trading in Distribution Networks with Load and Generation Uncertainty. - Shahab Bahrami, M. Hadi Amini:

A Decentralized Trading Algorithm for an Electricity Market with Generation Uncertainty. - Xinyu Zhang, Srinjoy Das, Ojash Neopane, Kenneth Kreutz-Delgado:

A Design Methodology for Efficient Implementation of Deconvolutional Neural Networks on an FPGA. - Kuninori Nakagawa:

Horizontal Product Differentiation in Varian's Model of Sales. - Yawen Huang, Ling Shao, Alejandro F. Frangi

:
Simultaneous Super-Resolution and Cross-Modality Synthesis of 3D Medical Images using Weakly-Supervised Joint Convolutional Sparse Coding. - Fatemeh Ghassemi, Wan J. Fokkink:

Reliable Restricted Process Theory. - Daniel S. Katz, Kyle E. Niemeyer, Sandra Gesing, Lorraine J. Hwang, Wolfgang Bangerth, Simon Hettrick, Ray Idaszak, Jean Salac, Neil P. Chue Hong, Santiago Núñez-Corrales, Alice Allen, R. Stuart Geiger, Jonah Miller, Emily Chen, Anshu Dubey, Patricia Lago:

Report on the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). - Antti Kuusisto

, Fabian Reiter
:
Emptiness Problems for Distributed Automata. 210-222 - Bing Li, Christoph Knoth, Walter Schneider, Manuel Schmidt, Ulf Schlichtmann:

Static Timing Model Extraction for Combinational Circuits. - Surender Baswana, Ayush Goel, Shahbaz Khan:

Incremental DFS algorithms: a theoretical and experimental study. - Dong Wu, Xiang Liu, Feng Xue, Hanqing Zheng, Yehang Shou, Wen Jiang:

A New Medical Diagnosis Method Based on Z-Numbers. - Xiang Jiang, Erico N. de Souza, Ahmad Pesaranghader, Baifan Hu, Daniel L. Silver, Stan Matwin:

TrajectoryNet: An Embedded GPS Trajectory Representation for Point-based Classification Using Recurrent Neural Networks. - Lev Yohananov, Eitan Yaakobi:

Codes for Graph Erasures. - Davide Bacciu, Francesco Crecchi, Davide Morelli:

DropIn: Making Reservoir Computing Neural Networks Robust to Missing Inputs by Dropout. - Christopher H. Dorr, Reinhard Moratz:

Towards Applying the OPRA Theory to Shape Similarity. - Subhabrata Mukherjee, Gerhard Weikum:

People on Media: Jointly Identifying Credible News and Trustworthy Citizen Journalists in Online Communities. - Subhabrata Mukherjee, Sourav Dutta, Gerhard Weikum:

Credible Review Detection with Limited Information using Consistency Analysis. - Subhabrata Mukherjee, Stephan Günnemann, Gerhard Weikum:

Personalized Item Recommendation with Continuous Experience Evolution of Users using Brownian Motion. - Jessica B. Hamrick, Andrew J. Ballard, Razvan Pascanu, Oriol Vinyals, Nicolas Heess, Peter W. Battaglia:

Metacontrol for Adaptive Imagination-Based Optimization. - Muhammed Abdulazeez, Pawel Garncarek, Dariusz R. Kowalski, Prudence W. H. Wong:

Lightweight Robust Framework for Workload Scheduling in Clouds. - Benjamin D. Horne, Sibel Adali, Sujoy Sikdar

:
Identifying the social signals that drive online discussions: A case study of Reddit communities. - Naiyun Zhou, Andriy Fedorov, Fiona Fennessy, Ron Kikinis, Yi Gao:

Large scale digital prostate pathology image analysis combining feature extraction and deep neural network. - Md. Zahangir Alom, Paheding Sidike, Tarek M. Taha, Vijayan K. Asari:

Handwritten Bangla Digit Recognition Using Deep Learning. - Seyed A. Sajjadi, Danial Moazen, Ani Nahapetian:

AirDraw: Leveraging Smart Watch Motion Sensors for Mobile Human Computer Interactions. - Amol S. Patwardhan, Gerald M. Knapp:

Multimodal Affect Analysis for Product Feedback Assessment. - Haiyang Yu, Zhihai Wu, Shuqin Wang, Yunpeng Wang, Xiaolei Ma:

Spatiotemporal Recurrent Convolutional Networks for Traffic Prediction in Transportation Networks. - Vincent Fiorentini, Megan Shao, Julie Medero:

Generating Memorable Mnemonic Encodings of Numbers. - Mohammad Fahim, Viveck R. Cadambe:

Linear Network Coding for Two-Unicast-Z Networks: A Commutative Algebraic Perspective and Fundamental Limits. - Domenico Ciuonzo:

On Time-Reversal Imaging by Statistical Testing. - Jae-Won Jang, Swaroop Ghosh:

A Novel Interconnect Camouflaging Technique using Transistor Threshold Voltage. - Matthew Aldridge

:
On the optimality of some group testing algorithms. - Qingqing Wu

, Yong Zeng, Rui Zhang:
Joint Trajectory and Communication Design for Multi-UAV Enabled Wireless Networks. - Jhony-Heriberto Giraldo-Zuluaga, Augusto Salazar, Alexander Gómez-Villa, Angélica Diaz-Pulido:

Automatic Recognition of Mammal Genera on Camera-Trap Images using Multi-Layer Robust Principal Component Analysis and Mixture Neural Networks. - Abhishek Kumar Jain

, Douglas L. Maskell, Suhaib A. Fahmy:
Resource-Aware Just-in-Time OpenCL Compiler for Coarse-Grained FPGA Overlays. - David Wilson, Greg Stitt:

A Scalable, Low-Overhead Finite-State Machine Overlay for Rapid FPGA Application Development. - Siddhartha, Nachiket Kapre:

Out-of-Order Dataflow Scheduling for FPGA Overlays. - Edmund Tong, Amir Zadeh, Cara Jones, Louis-Philippe Morency:

Combating Human Trafficking with Deep Multimodal Models. - Lovedeep Gondara, Ke Wang:

Multiple Imputation Using Deep Denoising Autoencoders. - Jiliang Zhang

, Yang Wang, Jie Zhang, Liqin Ding:
Polarization Shift Keying (PolarSK): System Scheme and Performance Analysis. - Xin Chen, Hua Zhou, Liang Diao:

ChineseFoodNet: A large-scale Image Dataset for Chinese Food Recognition. - (Withdrawn) Pricing of Tiered cloud storage via two-stage, latency-aware bidding.

- Nikolai Dokuchaev:

Pathwise continuous time spectrum degeneracy at a single point and weak predictability. - Pasin Manurangsi, Warut Suksompong:

Computing an Approximately Optimal Agreeable Set of Items. - Neda Shabani:

A study of cyber security in hospitality industry- threats and countermeasures: case study in Reno, Nevada. - Hayate Iso

, Shoko Wakamiya, Eiji Aramaki:
Density Estimation for Geolocation via Convolutional Mixture Density Network. - Afsheen Rafaqat Ali, Usman Shahid, Mohsen Ali

, Jeffrey Ho:
High-Level Concepts for Affective Understanding of Images. - Haitao Wang, Jingru Zhang:

An O(n\log n)-Time Algorithm for the k-Center Problem in Trees. - Mohammadreza Mousaei, Besma Smida:

Optimizing Pilot Overhead for Ultra-Reliable Short-Packet Transmission. - Juntao Gao, Yulong Shen, Jia Liu, Minoru Ito, Norio Shiratori:

Adaptive Traffic Signal Control: Deep Reinforcement Learning Algorithm with Experience Replay and Target Network. - Jiayuan Mao, Tete Xiao, Yuning Jiang, Zhimin Cao:

What Can Help Pedestrian Detection? - Xiu-Shen Wei, Chen-Lin Zhang, Yao Li, Chen-Wei Xie, Jianxin Wu, Chunhua Shen, Zhi-Hua Zhou:

Deep Descriptor Transforming for Image Co-Localization. - Toshiki Nakamura, Anna Zhu, Keiji Yanai, Seiichi Uchida:

Scene Text Eraser. - Arash Gholami Davoodi, Syed Ali Jafar:

Network Coherence Time Matters - Aligned Image Sets and the Degrees of Freedom of Interference Networks with Finite Precision CSIT and Perfect CSIR. - Amir Hashemi, Werner M. Seiler:

Dimension-Dependent Upper Bounds for Grobner Bases. - Bin Han, Oliver Holland, Vincenzo Sciancalepore, Mischa Dohler, Hans D. Schotten:

D2D-Based Grouped Random Access to Mitigate Radio Access Network Congestion in Massive Machine-Type Communications. - Jean Barbier, Nicolas Macris:

The stochastic interpolation method: A simple scheme to prove replica formulas in Bayesian inference. - Fares Jalled:

Face Recognition Machine Vision System Using Eigenfaces. - Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:

Deterministic Genericity for Polynomial Ideals. - Minghao Hu, Yuxing Peng, Xipeng Qiu:

Mnemonic Reader for Machine Comprehension. - Palash Goyal, Emilio Ferrara

:
Graph Embedding Techniques, Applications, and Performance: A Survey. - Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer:

Towards Reduced Instruction Sets for Synchronization. - Stepan Holub, Tomás Masopust, Michaël Thomazo:

On the Height of Towers of Subsequences and Prefixes. - Fabian L. Mueller, Jácint Szabó, Olle Sundström, John Lygeros:

Aggregation and Disaggregation of Energetic Flexibility from Distributed Energy Resources. - Johan Östman, Giuseppe Durisi, Erik G. Ström:

Finite-Blocklength Bounds on the Maximum Coding Rate of Rician Fading Channels with Applications to Pilot-Assisted Transmission. - Syed Mohammad Meesum, Fahad Panolan, Saket Saurabh, Meirav Zehavi:

Rank Vertex Cover as a Natural Problem for Algebraic Compression. - Per Bækgaard

, Michael Kai Petersen, Jakob Eg Larsen:
The Blank Stare: Retrieving Unique Eye Tracking Signatures Independent of Visual Stimuli. - Thijs Laarhoven:

Faster tuple lattice sieving using spherical locality-sensitive filters. - Laurent Bako:

On a class of optimization-based robust estimators. - Satoru Horie, Alex Fukunaga:

Block-Parallel IDA* for GPUs (Extended Manuscript). - József Marton, Gábor Szárnyas, Dániel Varró:

Formalising opencypher Graph Queries in Relational Algebra. - Joshua Moerman

:
Learning Product Automata. - Vitaly Aksenov, Petr Kuznetsov:

Flat Parallelization. - Aivar Sootla, Alexandre Mauroy:

Geometric Properties of Isostables and Basins of Attraction of Monotone Systems. - Stefano Frassinelli, Alessandro Niccolai, Riccardo Enrico Zich:

Video Processing for Barycenter Trajectory Identification in Diving. - Mauricio Toro, Myriam Desainte-Catherine:

Concurrent Constraint Conditional-Branching Timed Interactive Scores. - Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. - Mohammad Mahdi Azari, Fernando Rosas, Kwang-Cheng Chen

, Sofie Pollin:
Ultra Reliable UAV Communication Using Altitude and Cooperation Diversity. - Marco Mezzavilla, Menglei Zhang, Michele Polese, Russell Ford, Sourjya Dutta, Sundeep Rangan, Michele Zorzi:

End-to-End Simulation of 5G mmWave Networks. - Umar Iqbal, Andreas Doering, Hashim Yasin, Björn Krüger, Andreas Weber, Juergen Gall:

A Dual-Source Approach for 3D Human Pose Estimation from a Single Image. - Sathya Peri, Muktikanta Sa, Nandini Singhal:

Proving Correctness of Concurrent Objects by Validating Linearization Points. - Qiangeng Xu, Zengchang Qin, Tao Wan:

Generative Cooperative Net for Image Generation and Data Augmentation. - Yilin Song, Jonathan Viventi, Yao Wang

:
Multi Resolution LSTM For Long Term Prediction In Neural Activity Video. - David Neumann, Michael Joham, Wolfgang Utschick:

Covariance Matrix Estimation in Massive MIMO. - Matthias Függer, Thomas Nowak, Manfred Schwarz:

Lower Bounds for Asymptotic Consensus in Dynamic Networks. - Konstantin Läufer, George K. Thiruvathukal:

Teaching Concurrent Software Design: A Case Study Using Android. - Nilaksh Das, Madhuri Shanbhogue, Shang-Tse Chen, Fred Hohman, Li Chen, Michael E. Kounavis, Duen Horng Chau:

Keeping the Bad Guys Out: Protecting and Vaccinating Deep Learning with JPEG Compression. - Steven Bergren:

Design Considerations for a 5G Network Architecture. - Yangqiu Song, Dan Roth:

Machine Learning with World Knowledge: The Position and Survey. - Pradeep Dasigi, Waleed Ammar, Chris Dyer, Eduard H. Hovy

:
Ontology-Aware Token Embeddings for Prepositional Phrase Attachment. - Xiudong Wang, Yuantao Gu:

Cross-label Suppression: A Discriminative and Fast Dictionary Learning with Group Regularization. - Andrei Lebedev, Jooyoung Lee, Victor Rivera, Manuel Mazzara:

Link Prediction using Top-$k$ Shortest Distances. - Dawei Cheng, Zhibin Niu, Junchi Yan, Jiawan Zhang, Liqing Zhang:

Visual analytics for loan guarantee network risk management. - Rui Ma, Thomas Maugey, Pascal Frossard:

Optimized Data Representation for Interactive Multiview Navigation. - Rasmus Kyng, Peng Zhang:

Hardness Results for Structured Linear Systems. - Simina Brânzei, Noam Nisan:

The Query Complexity of Cake Cutting. - Kumar S. Ray, Vijayan K. Asari, Soma Chakraborty:

Object Detection by Spatio-Temporal Analysis and Tracking of the Detected Objects in a Video with Variable Background. - Jan Hendrik Hosang, Rodrigo Benenson, Bernt Schiele:

Learning non-maximum suppression. - Limin Wang, Yuanjun Xiong, Zhe Wang, Yu Qiao, Dahua Lin, Xiaoou Tang, Luc Van Gool:

Temporal Segment Networks for Action Recognition in Videos. - Noam Brown, Tuomas Sandholm:

Safe and Nested Subgame Solving for Imperfect-Information Games. - Ilai Bistritz, Amir Leshem:

Game Theoretic Dynamic Channel Allocation for Frequency-Selective Interference Channels. - Keisuke Sato, Yoichi Izunaga:

A branch-and-price approach with MILP formulation to modularity density maximization on graphs. - Rüdiger Alshut:

Konzept für Bildanalysen in Hochdurchsatz-Systemen am Beispiel des Zebrabärblings. - Joon Son Chung, Amir Jamaludin, Andrew Zisserman:

You said that? - Zhao Chen, Ziru Chen, Lin X. Cai, Yu Cheng:

Energy-Throughput Tradeoff in Sustainable Cloud-RAN with Energy Harvesting. - Afshin Zafari:

TaskUniVerse: A Task-Based Unified Interface for Versatile Parallel Execution. - Johannes Wachs

, Anikó Hannák, András Vörös, Bálint Daróczy:
Why Do Men Get More Attention? Exploring Factors Behind Success in an Online Design Community. - Chiheon Kim, Afonso S. Bandeira, Michel X. Goemans:

Community Detection in Hypergraphs, Spiked Tensor Models, and Sum-of-Squares. - Charles Jeon, Kaipeng Li, Joseph R. Cavallaro, Christoph Studer:

On the Achievable Rates of Decentralized Equalization in Massive MU-MIMO Systems. - Rachana Nget, Yang Cao, Masatoshi Yoshikawa

:
How to Balance Privacy and Money through Pricing Mechanism in Personal Data Market. - Ramina Ghods, Charles Jeon, Gulnar Mirza, Arian Maleki, Christoph Studer:

Optimally-Tuned Nonparametric Linear Equalization for Massive MU-MIMO Systems. - Zhezhi He, Deliang Fan:

Developing All-Skyrmion Spiking Neural Network. - Ting-Chun Wang, Jun-Yan Zhu, Nima Khademi Kalantari, Alexei A. Efros, Ravi Ramamoorthi:

Light Field Video Capture Using a Learning-Based Hybrid Imaging System. - Richard Zhang, Jun-Yan Zhu, Phillip Isola, Xinyang Geng, Angela S. Lin, Tianhe Yu, Alexei A. Efros:

Real-Time User-Guided Image Colorization with Learned Deep Priors. - Hussam Qassim, David Feinzimer, Abhishek Verma

:
Residual Squeeze VGG16. - David Alejandro Trejo Pizzo:

Resistive communications based on neuristors. - Abolfazl Asudeh, Azade Nazi, Nick Koudas, Gautam Das

:
Assisting Service Providers In Peer-to-peer Marketplaces: Maximizing Gain Over Flexible Attributes. - Biao He, Yechao She, Vincent K. N. Lau:

Artificial Noise Injection for Securing Single-Antenna Systems. - Mohsen Moradi:

Polar codes for secret sharing. - L. Elisa Celis, Aida Sadat Mousavifar:

A Model for Information Networks: Efficiency, Stability and Dynamics. - Shivram Tabibu:

Communications for Wearable Devices. - Jingjing Cui, Yuanwei Liu, Zhiguo Ding, Pingzhi Fan, Arumugam Nallanathan:

Optimal User Scheduling and Power Allocation for Millimeter Wave NOMA Systems. - Syrine Belakaria, Mustafa Ammous, Sameh Sorour, Ahmed Abdel-Rahim:

A Multi-Class Dispatching and Charging Scheme for Autonomous Electric Mobility On-Demand. - Behnam Neyshabur, Ryota Tomioka, Ruslan Salakhutdinov, Nathan Srebro:

Geometry of Optimization and Implicit Regularization in Deep Learning. - Toby Pereira:

An Anthropic Argument against the Future Existence of Superintelligent Artificial Intelligence. 


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID