


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 A. 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 E. 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, 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. - Md. Masudur Rahman
, Naushin Nower:
Requirements Model for Cyber-Physical System. - Julieta Martinez, Rayat Hossain, Javier Romero, James J. Little:
A simple yet effective baseline for 3d human pose estimation. - Itsik Bergel, Yair Noam:
Lower Bound on the Localization Error in Infinite Networks with Random Sensor Locations. - Albert Reuther, Chansup Byun, William Arcand, David Bestor, Bill Bergeron, Matthew Hubbell, Michael Jones, Peter Michaleas, Andrew Prout, Antonio Rosa, Jeremy Kepner:
Scalable System Scheduling for HPC and Big Data. - Qi Zhou, David Heath, William Harris:
Completely Automated Equivalence Proofs. - Tolga Birdal, Slobodan Ilic:
CAD Priors for Accurate and Flexible Instance Reconstruction. - Jonas Gehring, Michael Auli, David Grangier, Denis Yarats, Yann N. Dauphin:
Convolutional Sequence to Sequence Learning. - Pete Trautman:
A Mathematical Theory of Human Machine Teaming. - Mohammadamir Kavousi:
Affinity Scheduling and the Applications on Data Center Scheduling with Data Locality. - Yanting Ma, Cynthia Rush, Dror Baron:
Analysis of Approximate Message Passing with a Class of Non-Separable Denoisers. - Stefan Jansen:
Word and Phrase Translation with word2vec. - Anton Badev:
Discrete Games in Endogenous Networks: Equilibria and Policy. - Shiyang Yan, Jeremy S. Smith, Wenjin Lu, Bailing Zhang:
CHAM: action recognition using convolutional hierarchical attention model. - Ce Li, Chen Chen, Baochang Zhang, Qixiang Ye, Jungong Han, Rongrong Ji:
Deep Spatio-temporal Manifold Network for Action Recognition. - Zuling Chang, Martianus Frederic Ezerman, Adamas Aqsa Fahreza, San Ling, Huaxiong Wang:
Large Order Binary de Bruijn Sequences via Zech's Logarithms. - Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel:
Phonetic Temporal Neural Model for Language Identification. - Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li:
Phone-aware Neural Language Identification. - Minsu Park, Jaram Park, Young Min Baek, Michael Macy:
Cultural Values and Cross-cultural Video Consumption on YouTube. - Pete Trautman:
Manifold Relevance Determination: Learning the Latent Space of Robotics. - Teck Wee Chua, Li Shen:
Contour Detection from Deep Patch-level Boundary Prediction. - Qi Zhou, William Harris:
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. 3-18 - Xin Zheng, Jialong Han, Aixin Sun:
A Survey of Location Prediction on Twitter. - Eshwaran Vijaya Kumar, Debasish Ghose:
Emotional Metaheuristics For in-situ Foraging Using Sensor Constrained Robot Swarms. - Eshwaran Vijaya Kumar, Mansimar Aneja, Dipti Deodhare:
Solving a Path Planning Problem in a Partially Known Environment using a Swarm Algorithm. - Mayank Singh, Ajay Jaiswal, Priya Shree, Arindam Pal, Animesh Mukherjee, Pawan Goyal:
Understanding the Impact of Early Citers on Long-Term Scientific Impact. - Yiwei Zhang, Gennian Ge:
Multi-file Private Information Retrieval from MDS Coded Databases with Colluding Servers. - C. Ramya, B. V. Raghavendra Rao:
Linear Projections of the Vandermonde Polynomial. - Mahesh Babu Vaddi, B. Sundar Rajan:
Low-Complexity Decoding for Symmetric, Neighboring and Consecutive Side-information Index Coding Problems. - Kiran Garimella, Orestis Kostakis, Michael Mathioudakis:
Ad-blocking: A Study on Performance, Privacy and Counter-measures. - Ruobing Xie, Zhiyuan Liu, Maosong Sun:
Does William Shakespeare REALLY Write Hamlet? Knowledge Representation Learning with Confidence. - Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann:
Mīmā\d{m}sā deontic logic: proof theory and applications. - San Jiang, Wanshou Jiang:
Efficient Structure from Motion for Oblique UAV Images Based on Maximal Spanning Tree Expansions. - Juergen Mueller, Gerd Stumme:
Predicting Rising Follower Counts on Twitter Using Profile Information. - Lghani Menhour, Brigitte d'Andréa-Novel, Michel Fliess, Dominique Gruyer, Hugues Mounier:
An efficient model-free setting for longitudinal and lateral vehicle control. Validation through the interconnected pro-SiVIC/RTMaps prototyping platform. - Ahmed Raafat, Adrian Agustin, Josep Vidal:
Receive Spatial Modulation for Massive MIMO Systems. - Guido Giunti
, Estefania Guisado-Fernandez, Brian Caulfield:
Connected Health in Multiple Sclerosis: a mobile applications review.