


default search action
CoRR, January 2017
- Massimiliano Dal Mas:

Digital Advertising Traffic Operation: Machine Learning for Process Discovery. - Kostas Alexis:

Technical Report: Optimal Surveillance of Dynamic Parades using Teams of Aerial Robots. - R. A. Borsoi, Julio Cesar Ceballos Aya, Guilherme Holsbach Costa, José C. M. Bermudez:

Super-Resolution Reconstruction of Electrical Impedance Tomography Images. - Emmanuel N. Osegi:

p-DLA: A Predictive System Model for Onshore Oil and Gas Pipeline Dataset Classification and Monitoring - Part 1. - Dietmar Fey:

Evaluating Ternary Adders using a hybrid Memristor / CMOS approach. - Sree Harsha Ramesh, Raveena R. Kumar:

A POS Tagger for Code Mixed Indian Social Media Text - ICON-2016 NLP Tools Contest Entry from Surukam. - Jeevan Joishi, Ashish Sureka:

Graph or Relational Databases: A Speed Comparison for Process Mining Algorithm. - Theodosis Mourouzis, Marcin Wójcik, Nikos Komninos

:
On The Security Evaluation of Partial Password Implementations. - Ashish Sureka:

Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs. - Ivan Svogor:

An initial performance review of software components for a heterogeneous computing platform. - Ivan Svogor, Jan Carlson:

SCALL: Software Component Allocator for Heterogeneous Embedded Systems. - Jun Suzuki, Masaaki Nagata:

RNN-based Encoder-decoder Approach with Word Frequency Estimation. - Helge Rhodin, Christian Richardt, Dan Casas, Eldar Insafutdinov, Mohammad Shafiei, Hans-Peter Seidel, Bernt Schiele, Christian Theobalt:

EgoCap: Egocentric Marker-less Motion Capture with Two Fisheye Cameras (Extended Abstract). - Silvio Amir, Ramón Fernandez Astudillo, Wang Ling, Paula C. Carvalho

, Mário J. Silva:
Expanding Subjective Lexicons for Social Media Mining with Embedding Subspaces. - Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee:

Even 1×n Edge-Matching and Jigsaw Puzzles are Really Hard. - Sibylle Schwarz, Janis Voigtländer

:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents] - Yassine Maleh, Abdellah Ezzati:

Study and Development of a New Symmetric Key Management Scheme for Wireless Sensor Networks. - Ian J. Goodfellow:

NIPS 2016 Tutorial: Generative Adversarial Networks. - Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang:

Abstracting Event-Driven Systems with Lifestate Rules. - Amit Shaked, Lior Wolf:

Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning. - Jan Snajder:

Social Media Argumentation Mining: The Quest for Deliberateness in Raucousness. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:

Tree segmentation in multi-story stands within small-footprint airborne LiDAR data. - Pierre-André G. Maugis, Sofia C. Olhede, Patrick J. Wolfe:

Fast counting of medium-sized rooted subgraphs. - Vikram Krishnamurthy:

POMDP Structural Results for Controlled Sensing. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:

A scalable approach for tree segmentation within small-footprint airborne LiDAR data. - Jiaming Xu, Bo Xu, Peng Wang, Suncong Zheng, Guanhua Tian, Jun Zhao:

Self-Taught Convolutional Neural Networks for Short Text Clustering. - Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki:

Packet Latency of Deterministic Broadcasting in Adversarial Multiple Access Channels. - Yuan Zhang, Regina Barzilay, Tommi S. Jaakkola:

Aspect-augmented Adversarial Networks for Domain Adaptation. - Hao Liu, Zequn Jie, Jayashree Karlekar, Meibin Qi, Jianguo Jiang, Shuicheng Yan, Jiashi Feng:

Video-based Person Re-identification with Accumulative Motion Context. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:

A robust approach for tree segmentation in deciduous forests using small-footprint airborne LiDAR data. - Kodzo Wegba, Aidong Lu, Yuemeng Li, Wencheng Wang:

Interactive Movie Recommendation Through Latent Semantic Analysis and Storytelling. - Tao Han, Guoqiang Mao, Qiang Li, Lijun Wang, Jing Zhang:

Interference Minimization in 5G Heterogeneous Networks. - Hassan Khodaiemehr, Dariush Kiani:

Construction and Encoding of QC-LDPC Codes Using Group Rings. - Andrey Finkelstein, Ron Biton, Rami Puzis, Asaf Shabtai:

Classification of Smartphone Users Using Internet Traffic. - Carsten Rösnick-Neugebauer:

Closed Sets and Operators thereon: Representations, Computability and Complexity. - Horatiu Cirstea, Santiago Escobar:

Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - Jingjing Wang, Chunxiao Jiang, Haijun Zhang, Yong Ren, Victor C. M. Leung:

Aggressive Congestion Control Mechanism for Space Systems. - Jingjing Wang, Chunxiao Jiang, Zhi Bie, Tony Q. S. Quek, Yong Ren:

Mobile Data Transactions in Device-to-Device Communication Networks: Pricing and Auction. - Jingjing Wang, Chunxiao Jiang, Longxiang Gao, Shui Yu

, Zhu Han, Yong Ren:
Complex Network Theoretical Analysis on Information Dissemination over Vehicular Networks. - Tingwu Wang, Jian Wang, Chunxiao Jiang, Jingjing Wang, Yong Ren:

Access Strategy in Super WiFi Network Powered by Solar Energy Harvesting: A POMDP Method. - Hongwei Liu, Youcef Maouche:

Some Repeated-Root Constacyclic Codes over Galois Rings. - Tony T. Luo, Salil S. Kanhere, Jianwei Huang, Sajal K. Das, Fan Wu:

Sustainable Incentives for Mobile Crowdsensing. - Jiashi Feng, Huan Xu, Shie Mannor:

Outlier Robust Online Learning. - Arman Shojaeifard, Kai-Kit Wong, Marco Di Renzo, Gan Zheng, Khairi Ashour Hamdi, Jie Tang:

Self-Interference in Full-Duplex Multi-User MIMO Channels. - Ernst-Erich Doberkat:

Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. - Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling:

STRIPS Planning in Infinite Domains. - David J. P. O'Sullivan, Guillermo Garduño-Hernández, James P. Gleeson, Mariano Beguerisse-Díaz:

Integrating sentiment and social structure to determine preference alignments: The Irish Marriage Referendum. - José Naranjo-Torres, Juliana Gambini, Alejandro C. Frery:

The Geodesic Distance between GI0 Models and its Application to Region Discrimination. - Denis Tomè, Chris Russell, Lourdes Agapito:

Lifting from the Deep: Convolutional 3D Pose Estimation from a Single Image. - Mustafa A. Kishk, Harpreet S. Dhillon:

Stochastic Geometry-based Comparison of Secrecy Enhancement Techniques in D2D Networks. - Lanlan Liu, Jia Deng:

Dynamic Deep Neural Networks: Optimizing Accuracy-Efficiency Trade-offs by Selective Execution. - Carlos E. Frasser:

Topological Analysis and Synthesis of Structures related to Certain Classes of K-Geodetic Computer Networks. - Arthur Milchior:

(Quasi-)linear time algorithm to compute LexDFS, LexUP and LexDown orderings. - Fazel Sharifi, Atiyeh Panahi, Mohammad Hossein Moaiyeri, Keivan Navi:

High Performance CNFET-based Ternary Full Adders. - Endre T. Somogyi, James A. Glazier:

A modeling and simulation language for biological cells with coupled mechanical and chemical processes. - Walid Shalaby, Wlodek Zadrozny:

Patent Retrieval: A Literature Review. - Carlos Oscar Sánchez Sorzano, José María Carazo:

Challenges ahead Electron Microscopy for Structural Biology from the Image Processing point of view. - Wen Sun, Véronique Simon, Sébastien Monnet, Philippe Robert, Pierre Sens:

Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach. - Rohitash Chandra:

An affective computational model for machine consciousness. - Kaveh Khoshkhah, Dirk Oliver Theis:

Fooling Sets and the Spanning Tree Polytope. - Seunghoon Hong, Donghun Yeo, Suha Kwak, Honglak Lee, Bohyung Han:

Weakly Supervised Semantic Segmentation using Web-Crawled Videos. - Matthew Kokshoorn, He Chen, Yonghui Li, Branka Vucetic:

Beam-On-Graph: Simultaneous Channel Estimation in Multi-user Millimeter Wave MIMO Systems. - Zhinan Xu, Markus Hofer, Thomas Zemen:

A time-variant channel prediction and feedback framework for interference alignment. - Feiping Nie, Rui Zhang, Xuelong Li:

A generalized power iteration method for solving quadratic problem on the Stiefel manifold. - Adnan Ashraf, Ivan Porres:

Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. - Chathura M. Sarathchandra Magurawalage, Kun Yang, Patrik Ritosa, Michael Georgiades, Kezhi Wang:

A Resource Management Protocol for Mobile Cloud Using Auto-Scaling. - Christoph Böddeker, Patrick Hanebrink, Lukas Drude, Jahn Heymann, Reinhold Haeb-Umbach:

On the Computation of Complex-valued Gradients with Application to Statistically Optimum Beamforming. - Clément Pernet, Arne Storjohann:

Time and space efficient generators for quasiseparable matrices. - Omar Boussaïd, Jérôme Darmont

, Fadila Bentayeb, Sabine Loudcher
:
Warehousing complex data from the Web. - Jérôme Darmont

, Fadila Bentayeb, Omar Boussaïd:
Benchmarking data warehouses. - Zhen He, Jérôme Darmont

:
Evaluating the Dynamic Behavior of Database Applications. - Yassine Maleh, Abdellah Ezzati:

Study and Development of a Symmetric protocol to secure communications in WSN. - V. S. R. Veeravasarapu, Constantin A. Rothkopf, Visvanathan Ramesh:

Adversarially Tuned Scene Generation. - Róbert Pálovics, András A. Benczúr:

Raising Graphs From Randomness to Reveal Information Networks. - Alexandre Decan, Mathieu Goeminne, Tom Mens:

On the Interaction of Relational Database Access Technologies in Open Source Java Projects. - Kevin Byron, Jason T. L. Wang:

A Computational Approach to Finding RNA Tertiary Motifs in Genomic Sequences. - David Sánchez, Montserrat Batet:

Toward sensitive document release with privacy guarantees. - Arun V. Mahadev, Dominik Krupke, Jan-Marc Reinhardt, Sándor P. Fekete, Aaron T. Becker:

Collecting a Swarm in a Grid Environment Using Shared, Global Inputs. - Morteza Babaie, Hamid R. Tizhoosh, Shujin Zhu, Mohammad Ebrahim Shiri:

Retrieving Similar X-Ray Images from Big Image Data Using Radon Barcodes with Single Projections. - Chun-Chen Liu, Oscar Lau, Jason Y. Du:

Complete DFM Model for High-Performance Computing SoCs with Guard Ring and Dummy Fill Effect. - Antonio Lieto, Antonio Chella, Marcello Frixione:

Conceptual Spaces for Cognitive Architectures: A Lingua Franca for Different Levels of Representation. - Ghasem Alikhajeh, Abdolreza Mirzaei, Mehran Safayani, Meysam Ghaffari:

Duplicate matching and estimating features for detection of copy-move images forgery. - Sudarshan Guruacharya, Hina Tabassum, Ekram Hossain:

SINR Outage Evaluation in Cellular Networks: Saddle Point Approximation (SPA) Using Normal Inverse Gaussian (NIG) Distribution. - Wenjia Meng, Zonghua Gu, Ming Zhang, Zhaohui Wu:

Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices. - Berrie van der Molen, Lars Buitinck, Toine Pieters:

The leveled approach. Using and evaluating text mining tools AVResearcherXL and Texcavator for historical research on public perceptions of drugs. - Ariel Ephrat, Shmuel Peleg:

Vid2speech: Speech Reconstruction from Silent Video. - George M. Slota, Sivasankaran Rajamanickam, Kamesh Madduri:

Distributed Graph Layout for Scalable Small-world Network Analysis. - Peter Krejzl, Barbora Hourová, Josef Steinberger:

Stance detection in online discussions. - Iddan Golomb, Christos Tzamos:

Truthful Facility Location with Additive Errors. - (Withdrawn) Extended Formulations for Polytopes of Regular Matroids.

- Kun He, Mohammed Dosh, Shenghao Zou:

Packing Unequal Circles into a Square Container by Partitioning Narrow Action Spaces and Circle Items. - Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:

BLADYG: A Graph Processing Framework for Large Dynamic Graphs. - Carlos Barrón-Romero:

Discrete Optimal Global Convergence of an Evolutionary Algorithm for Clusters under the Potential of Lennard Jones. - Xinyu Wang, Hanxi Li, Yi Li, Fumin Shen, Fatih Porikli:

Robust and Real-time Deep Tracking Via Multi-Scale Domain Adaptation. - Shi-Xiong Zhang, Zhuo Chen, Yong Zhao, Jinyu Li, Yifan Gong:

End-to-End Attention based Text-Dependent Speaker Verification. - Gonzalo H. Otazu

:
Robust method for finding sparse solutions to linear inverse problems using an L2 regularization. - Huijia Wu, Jiajun Zhang, Chengqing Zong:

Shortcut Sequence Tagging. - Saeid Hosseini, Hongzhi Yin, Xiaofang Zhou, Shazia Sadiq:

Leveraging Multi-aspect Time-related Influence in Location Recommendation. - Karamjit Singh, Garima Gupta, Lovekesh Vig, Gautam Shroff, Puneet Agarwal:

Deep Convolutional Neural Networks for Pairwise Causality. - Naoya Takahashi, Michael Gygli, Luc Van Gool:

AENet: Learning Deep Audio Features for Video Analysis. - Shuai Li:

Akid: A Library for Neural Network Research and Production from a Dataism Approach. - Gangan Prathap:

Citation indices and dimensional homogeneity. - Dietmar Seipel:

Knowledge Engineering for Hybrid Deductive Databases. 1-12 - Stefan Brass, Heike Stephan:

Bottom-Up Evaluation of Datalog: Preliminary Report. 13-26 - Marija Kulas

:
A Practical View on Renaming. 27-41 - Falco Nogatz, Dietmar Seipel:

Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. 42-56 - Stefan Brass, Heike Stephan:

Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. 57-72 - Sebastian Krings

, Michael Leuschel:
Constraint Logic Programming over Infinite Domains with an Application to Proof. 73-87 - Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro:

Source Code Verification for Embedded Systems using Prolog. 88-103 - Michael Hanus

, Julia Krone:
A Typeful Integration of SQL into Curry. 104-119 - María-del-Mar Gallardo, Leticia Lavado, Laura Panizo

:
A Simulation Tool for tccp Programs. 120-134 - Jason Hemann

, Daniel P. Friedman:
A Framework for Extending microKanren with Constraints. 135-149 - Baltasar Trancón y Widemann

, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. 150-164 - Lukas Immanuel Schiller:

An Agglomeration Law for Sorting Networks and its Application in Functional Programming. 165-179 - Sergio Antoy, Michael Hanus

, Steven Libby:
Proving Non-Deterministic Computations in Agda. 180-195 - Ken-etsu Fujita:

On Upper Bounds on the Church-Rosser Theorem. 16-31 - Karl Gmeiner:

Confluence of Conditional Term Rewrite Systems via Transformations. 32-45 - Yutaro Nagae, Masahiko Sakai

, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. 46-61 - Nils Dallmeyer, Manfred Schmidt-Schauß

:
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. 78-92 - Dajian Li, Paul Weng, Orkun Karabasoglu:

Finding Risk-Averse Shortest Path with Time-dependent Stochastic Costs. - Chung Duc Ho, Hien Quoc Ngo, Michail Matthaiou, Trung Quang Duong:

On the Performance of Zero-Forcing Processing in Multi-Way Massive MIMO Relay Networks. - Paul Weng:

From Preference-Based to Multiobjective Sequential Decision-Making. - Beniamino Accattoli:

The Complexity of Abstract Machines. 1-15 - Ryota Nakayama, Naoki Nishida

, Masahiko Sakai
:
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. 62-77 - Aleks Kissinger

, Sander Uijlen:
Picturing Indefinite Causal Structure. 87-94 - Dan Marsden:

Ambiguity and Incomplete Information in Categorical Models of Language. 95-107 - Matthias Vestner, Roee Litman, Emanuele Rodolà, Alexander M. Bronstein, Daniel Cremers:

Product Manifold Filter: Non-Rigid Shape Correspondence via Kernel Density Estimation in the Product Space. - Mark de Berg:

Removing Depth-Order Cycles Among Triangles: An Efficient Algorithm Generating Triangular Fragments. - Christopher Robert Anderson, Richard K. Martin, T. Owens Walker, Ryan W. Thomas:

Radio Tomography for Roadside Surveillance. - Xiaolin Huang, Yan Xia, Lei Shi, Yixing Huang, Ming Yan, Joachim Hornegger, Andreas K. Maier:

Mixed one-bit compressive sensing with applications to overexposure correction for CT reconstruction. - Karl Schlechta:

A pre-semantics for counterfactual conditionals and similar logics. - Ankita Mangal, Nishant Kumar:

Using Big Data to Enhance the Bosch Production Line Performance: A Kaggle Challenge. - P. A. CrowdMath:

Bounds on parameters of minimally non-linear patterns. - Laslo Hunhold

:
The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers. - Zhiyuan Zha, Xinggan Zhang, Qiong Wang, Yechao Bai, Lan Tang:

Image denoising using group sparsity residual and external nonlocal self-similarity prior. - Pashutan Modaresi, Philipp Gross, Siavash Sefidrodi, Mirja Eckholf, Stefan Conrad:

On (Commercial) Benefits of Automatic Text Summarization Systems in the News Domain: A Case of Media Monitoring and Media Response Analysis. - Morteza Ashraphijuo, Xiaodong Wang, Vaneet Aggarwal:

Deterministic and Probabilistic Conditions for Finite Completability of Low-rank Multi-View Data. - Javier Parra-Arnau:

Optimized, Direct Sale of Privacy in Personal-Data Marketplaces. - Christophe Van Gysel, Evangelos Kanoulas, Maarten de Rijke:

Pyndri: a Python Interface to the Indri Search Engine. - John M. Abowd, Lorenzo Alvisi, Cynthia Dwork, Sampath Kannan, Ashwin Machanavajjhala, Jerome P. Reiter:

Privacy-Preserving Data Analysis for the Federal Statistical Agencies. - Ibrahim Ighneiwaa, Salwa Hamidatoua, Fadia Ben Ismaela:

Using Artificial Neural Networks (ANN) to Control Chaos. - Masoud Arash, Ehsan Yazdian, Mohammadsadegh Fazel:

Employing Antenna Selection to Improve Energy-Efficiency in Massive MIMO Systems. - Ema Kusen, Mark Strembeck:

Security-related Research in Ubiquitous Computing - Results of a Systematic Literature Review. - Zhipeng Jia, Xingyi Huang, Eric I-Chao Chang, Yan Xu:

Constrained Deep Weak Supervision for Histopathology Image Segmentation. - Amir Hossein Yazdavar, Monireh Ebrahimi, Naomie Salim:

Fuzzy Based Implicit Sentiment Analysis on Quantitative Sentences. - Yuki Itoh, Siwei Feng, Marco F. Duarte, Mario Parente:

Semi-Supervised Endmember Identification In Nonlinear Spectral Mixtures Via Semantic Representation. - Monique Laurent, Matteo Seminaroti, Shin-ichi Tanigawa:

A Structural Characterization for Certifying Robinsonian Matrices. - Mark Huber:

Partially Recursive Acceptance Rejection. - Ding Liu, Zhaowen Wang, Nasser M. Nasrabadi, Thomas S. Huang:

Learning a Mixture of Deep Networks for Single Image Super-Resolution. - Marco Gori, Marco Maggini, Alessandro Rossi:

Collapsing of dimensionality. - Ilyes Boulkaibet, Tshilidzi Marwala, Michael I. Friswell, Hamed Haddad Khodaparast, Sondipon Adhikari:

Fuzzy finite element model updating using metaheuristic optimization algorithms. - Guoqiang Mao, Xiaofeng Tao:

Cooperative Content Offloading Through WiFi and Mobile Device-to-Device Networks. - Matthew Rueben, Cindy M. Grimm, Frank J. Bernieri, William D. Smart:

A Taxonomy of Privacy Constructs for Privacy-Sensitive Robotics. - Jian Chen, Nikolaos Bamiedakis, Peter P. Vasil'ev, Richard V. Penty, Ian H. White:

Loss and Bandwidth Studies on Multimode Polymer Waveguide Components for On-Board High-Speed Optical Interconnects. - Hedyeh Beyhaghi, Daniela Sabán, Éva Tardos:

Effect of selfish choices in deferred acceptance with short lists. - Herman Kamper:

Unsupervised neural and Bayesian models for zero-resource speech processing. - Paul E. McKenney:

Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). - Christophe De Wagter, Rick Ruijsink, Ewoud J. J. Smeur, Kevin van Hecke, Freek van Tienen, Erik van der Horst, Bart Remes:

Design, Control and Visual Navigation of the DelftaCopter. - Nithyanand Kota, Abhishek Mishra, Sunil Srinivasa, Xi Chen, Pieter Abbeel:

A K-fold Method for Baseline Estimation in Policy Gradient Algorithms. - Xuezhe Ma, Eduard H. Hovy:

Neural Probabilistic Model for Non-projective MST Parsing. - Daniel Borchmann, Tom Hanika, Sergei Obiedkov:

On the Usability of Probably Approximately Correct Implication Bases. - Ye Tian, Ran Cheng, Xingyi Zhang, Yaochu Jin:

PlatEMO: A MATLAB Platform for Evolutionary Multi-Objective Optimization. - Masashi Wakaiki, Paulo Tabuada, João Pedro Hespanha:

Supervisory Control of Discrete-event Systems under Attacks. - Mirza Golam Kibria, Gabriel Porto Villardi, Wei-Shun Liao, Kien Nguyen, Kentaro Ishizu, Fumihide Kojima:

Outage Analysis of Offloading in Heterogeneous Networks: Composite Fading Channels. - Zhun Fan, Jiewei Lu, Wenji Li:

Automated Blood Vessel Segmentation of Fundus Images Based on Region Features and Hierarchical Growth Algorithm. - Jorge Luis Rivero Pérez, Bernardete Ribeiro, Kadir Hector Ortiz:

A Comparison of Algorithms for Intrusion Detection on Batch and Data Stream Environments. - Pallavi Athe, Yatindra Nath Singh:

Innovative Method for Two Link Failure Protection. - Fancheng Kong, Xinghua Sun, Victor C. M. Leung, Hongbo Zhu:

Delay-Optimal Biased User Association in Heterogeneous Networks. - Quan Hoang Nguyen, Peter Eades, Seok-Hee Hong:

Towards Faithful Graph Visualizations. - Maani Ghaffari Jadidi, Jaime Valls Miró, Gamini Dissanayake:

Warped Gaussian Processes Occupancy Mapping with Uncertain Inputs. - Francesco Romano, Silvio Traversaro, Daniele Pucci, Jorhabib Eljaik, Andrea Del Prete, Francesco Nori:

A Whole-Body Software Abstraction layer for Control Design of free-floating Mechanical Systems. - Wenqin Shao, Jean-Louis Rougier, François Devienne, Mateusz Viste:

Missing measurements on RIPE Atlas. - Dmitry Krotov, John J. Hopfield:

Dense Associative Memory is Robust to Adversarial Inputs. - Ryan Cotterell, Hinrich Schütze:

Joint Semantic Synthesis and Morphological Analysis of the Derived Word. - Gabriele Fici, Filippo Mignosi, Jeffrey O. Shallit:

Abelian-Square-Rich Words. - Wei Lian, Lei Zhang:

A Concave Optimization Algorithm for Matching Partially Overlapping Point Sets. - Dinh Thai Hoang, Ping Wang, Dusit Niyato, Ekram Hossain:

Charging and Discharging of Plug-In Electric Vehicles (PEVs) in Vehicle-to-Grid (V2G) Systems: A Cyber Insurance-Based Model. - Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala:

An Event-B framework for the validation of Event-B refinement plugins. - Songwei Fu, Chia-Yen Shih, Yuming Jiang, Matteo Ceriotti, Xintao Huan, Pedro José Marrón:

RADIUS: A System for Detecting Anomalous Link Quality Degradation in Wireless Sensor Networks. - Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:

Metric Temporal Logic for Ontology-Based Data Access over Log Data. - Peibo Duan, Guoqiang Mao, Shangbo Wang, Changsheng Zhang, Bin Zhang:

STARIMA-based Traffic Prediction with Time-varying Lags. - Marcus Brandenburger, Christian Cachin, Matthias Lorenz, Rüdiger Kapitza:

Rollback and Forking Detection for Trusted Execution Environments using Lightweight Collective Memory. - Gaojie Chen, Justin P. Coon, Marco Di Renzo:

Secrecy Outage Analysis for Downlink Transmissions in the Presence of Randomly Located Eavesdroppers. - Christoph Hube, Frank Fischer, Robert Jäschke, Gerhard Lauer, Mads Rosendahl Thomsen:

World Literature According to Wikipedia: Introduction to a DBpedia-Based Framework. - Michal Balazia, Petr Sojka

:
An Evaluation Framework and Database for MoCap-Based Gait Recognition Methods. - Severin Sadjina, Lars T. Kyllingstad

, Martin Rindarøy, Stian Skjong, Vilmar Æsøy, Dariusz Eirik Fathi, Vahid Hassani, Trond Johnsen, Jørgen Bremnes Nielsen, Eilif Pedersen:
Distributed Co-Simulation of Maritime Systems and Operations. - Tao Hong:

Joint Optimization Projection Matrix and Sparsifying Dictionary via Stochastic Method. - Christos K. Kourtellaris, Charalambos D. Charalambous, Ioannis Tzortzis:

Single Letter Expression of Capacity for a Class of Channels with Memory. - Peter Harremoës:

Divergence and Sufficiency for Convex Optimization. - Wei Lian:

Path-following based Point Matching using Similarity Transformation. - Yanghao Li, Naiyan Wang, Jiaying Liu, Xiaodi Hou:

Demystifying Neural Style Transfer. - Ishay Haviv, Michael Langberg, Moshe Schwartz, Eitan Yaakobi:

Non-linear Cyclic Codes that Attain the Gilbert-Varshamov Bound. - Nuh Aydin, Ajdin Halilovic:

A Generalization of Quasi-twisted Codes: Multi-twisted codes. - Thiago Correa, Breno Gustavo, Lucas Lemos, Amber Settle:

An Overview of Recent Solutions to and Lower Bounds for the Firing Synchronization Problem. - Roni Khardon, Scott Sanner:

Stochastic Planning and Lifted Inference. - Harinaivo Andriatahiny, Vololona Harinoro Rakotomalala:

New descriptions of the weighted Reed-Muller codes and the homogeneous Reed-Muller codes. - Samuel Weiser, Mario Werner:

SGXIO: Generic Trusted I/O Path for Intel SGX. - Monit Shah Singh, Vinaychandran Pondenkandath, Bo Zhou, Paul Lukowicz, Marcus Liwicki:

Transforming Sensor Data to the Image Domain for Deep Learning - an Application to Footstep Detection. - Junting Pan, Cristian Canton-Ferrer, Kevin McGuinness, Noel E. O'Connor, Jordi Torres, Elisa Sayrol, Xavier Giró-i-Nieto:

SalGAN: Visual Saliency Prediction with Generative Adversarial Networks. - Yuyi Mao, Changsheng You, Jun Zhang, Kaibin Huang, Khaled Ben Letaief:

Mobile Edge Computing: Survey and Research Outlook. - Shiva Prasad Kasiviswanathan, Kobbi Nissim, Hongxia Jin:

Private Incremental Regression. - Karamjit Singh, Garima Gupta, Gautam Shroff, Puneet Agarwal:

Minimally-Supervised Attribute Fusion for Data Lakes. - Audrey Durand, Christian Gagné:

Estimating Quality in User-Guided Multi-Objective Bandits Optimization. - Semih Yagli, Yücel Altug, Sergio Verdú:

Minimax Rényi Redundancy. - Kai Zhao, Liang Huang, Mingbo Ma:

Textual Entailment with Structured Attentions and Composition. - Mehran Shoushtari Moghaddam, Naser Movahhedinia, Mohammad Reza Khayyambashi, Faramarz Hendessi:

Performance Evaluation of Spectrum Mobility in Multi-homed Mobile IPv6 Cognitive Radio Cellular Networks. - Anastasios Karakostas, Alexia Briassouli, Konstantinos Avgerinakis, Ioannis Kompatsiaris, Magda Tsolaki:

The Dem@Care Experiments and Datasets: a Technical Report. - Sam Blake:

Perfect Sequences and Arrays over the Unit Quaternions. - Peng Deng, Mohsen Kavehrad:

Adaptive Real-Time Software Defined MIMO Visible Light Communications using Spatial Multiplexing and Spatial Diversity. - Steffen Malkowsky, Joao Vieira, Liang Liu, Paul Harris, Karl Nieman, Nikhil Kundargi, Ian C. Wong, Fredrik Tufvesson, Viktor Öwall, Ove Edfors:

The World's First Real-Time Testbed for Massive MIMO: Design, Implementation, and Validation. - Mustafa A. Kishk, Harpreet S. Dhillon:

Effect of Cell-Selection on the Effective Fading Distribution in a Downlink K-tier HetNet. - Yangzihao Wang, Yuechao Pan, Andrew A. Davidson, Yuduo Wu, Carl Yang, Leyuan Wang, Muhammad Osama, Chenshan Yuan, Weitang Liu, Andy T. Riffel, John D. Owens:

Gunrock: GPU Graph Analytics. - Saman Ashkiani, Andrew A. Davidson, Ulrich Meyer, John D. Owens:

GPU Multisplit. - Roman Kolpakov:

On the number of gapped repeats with arbitrary gap. - Xiangming Meng, Yiqun Wu, Yan Chen, Meng Cheng:

Low Complexity Receiver for Uplink SCMA System via Expectation Propagation. - Marina Haikin, Ram Zamir, Matan Gavish:

Random Subsets of Structured Deterministic Frames have MANOVA Spectra. - Vishnu Vardhan Chetlur Ravi, Harpreet S. Dhillon:

Downlink Coverage Analysis for a Finite 3D Wireless Network of Unmanned Aerial Vehicles. - Reza Yousefian, Sukumar Kamalasadan:

A Review of Neural Network Based Machine Learning Approaches for Rotor Angle Stability Control. - Tie Luo, Salil S. Kanhere, Hwee-Pink Tan, Fan Wu, Hongyi Wu:

Crowdsourcing with Tullock contests: A new perspective. - Mohamed Elhoseiny, Ahmed M. Elgammal:

Overlapping Cover Local Regression Machines. - Muhammad Umar B. Niazi, Arif Bülent Özgüler, Aykut Yildiz:

Consensus as a Nash Equilibrium of a Dynamic Game. - Dinusha Vatsalan, Peter Christen, Erhard Rahm:

Scalable Multi-Database Privacy-Preserving Record Linkage using Counting Bloom Filters. - (Withdrawn) Several classes of optimal ternary cyclic codes.

- Jun Wang, Qiang Tang:

A Probabilistic View of Neighborhood-based Recommendation Methods. - Shiwen He, Chenhao Qi, Yongpeng Wu, Yongming Huang:

Energy-Efficient Transceiver Design for Hybrid Sub-Array Architecture MIMO Systems. - Chengjun Li, Jia Wu:

Subpopulation Diversity Based Selecting Migration Moment in Distributed Evolutionary Algorithms. - Weishan Dong, Ting Yuan, Kai Yang, Changsheng Li, Shilei Zhang:

Autoencoder Regularized Network For Driving Style Representation Learning. - Milos Kudelka, Eliska Ochodkova, Sarka Zehnalova:

Around Average Behavior: 3-lambda Network Model. - Dominik Kowald, Subhash Chandra Pujari, Elisabeth Lex:

Temporal Effects on Hashtag Reuse in Twitter: A Cognitive-Inspired Hashtag Recommendation Approach. - James Clift, Daniel Murfet:

Cofree coalgebras and differential linear logic. - Peibo Duan, Guoqiang Mao, Changsheng Zhang, Bin Zhang:

Applying DCOP to User Association Problem in Heterogeneous Networks with Markov Chain Based Algorithm. - Pengqian Yu, William B. Haskell, Huan Xu:

Approximate Value Iteration for Risk-aware Markov Decision Processes. - Peter Beelen, Sven Puchinger, Johan Sebastian Rosenkilde:

Twisted Reed-Solomon Codes. - Andrew Critch:

Toward negotiable reinforcement learning: shifting priorities in Pareto optimal sequential decision-making. - Chen-Feng Liu, Sumudu Samarakoon, Mehdi Bennis:

Fronthaul-Aware Software-Defined Joint Resource Allocation and User Scheduling for 5G Networks. - Muhammad Junaid Farooq

, Hakim Ghazzai, Abdullah Kadri, Hesham ElSawy, Mohamed-Slim Alouini
:
A Hybrid Energy Sharing Framework for Green Cellular Networks. - Ramakrishnan Kannan, Hyenkyun Woo, Charu C. Aggarwal, Haesun Park:

Outlier Detection for Text Data : An Extended Version. - Michal Vasinek, Jan Platos:

Higher Order Context Transformations. - Neal Master, Zhengyuan Zhou, Nicholas Bambos:

An Infinite Dimensional Model for a Many Server Priority Queue. - Marwin H. S. Segler, Thierry Kogej, Christian Tyrchan, Mark P. Waller:

Generating Focussed Molecule Libraries for Drug Discovery with Recurrent Neural Networks. - Martin R. Schuster, Maciej Liskiewicz:

Abilities and Limitations of Spectral Graph Bisection. - Hongjun Lu, Rudy Setiono, Huan Liu:

NeuroRule: A Connectionist Approach to Data Mining. - Caterina De Bacco, Eleanor A. Power, Daniel B. Larremore, Cristopher Moore:

Community detection, link prediction, and layer interdependence in multilayer networks. - Gül Varol, Javier Romero, Xavier Martin, Naureen Mahmood, Michael J. Black, Ivan Laptev, Cordelia Schmid:

Learning from Synthetic Humans. - Vadim Sokolov, Jeffrey Larson, Todd S. Munson, Joshua Auld, Dominik Karbowski:

Platoon formation maximization through centralized routing and departure time coordination. - Stefano D'Aronco, Laura Toni, Pascal Frossard:

Price-based Controller for Quality-Fair HTTP Adaptive Streaming (Extended Version). - Andrew V. Knyazev:

Signed Laplacian for spectral clustering revisited. - Matthieu Perrinel:

Paths-based criteria and application to linear logic subsystems characterizing polynomial time. - Pranav A:

Exploration of Proximity Heuristics in Length Normalization. - Damian Straszak, Nisheeth K. Vishnoi:

On Convex Programming Relaxations for the Permanent. - Christopher J. Vogl, Randall J. LeVeque:

A High-Resolution Finite Volume Seismic Model to Generate Seafloor Deformation for Tsunami Modeling. - Florent Capelli:

Understanding the complexity of #SAT using knowledge compilation. - Mowen Lu, Harsha Nagarajan, Emre Yamangil, Russell Bent, Scott Backhaus:

Optimal Transmission Line Switching under Geomagnetic Disturbances. - Ting-Yi Wu, Lav R. Varshney, Vincent Y. F. Tan:

Communication over a Channel that Wears Out. - E. G. Abramov:

Unconstrained inverse quadratic programming problem. - Yi-Ling Chen, Tzu-Wei Huang, Kai-Han Chang, Yu-Chen Tsai, Hwann-Tzong Chen, Bing-Yu Chen:

Quantitative Analysis of Automatic Image Cropping Algorithms: A Dataset and Comparative Study. - Anindya De, Elchanan Mossel, Joe Neeman:

Non interactive simulation of correlated distributions is decidable. - Mehdi Noroozi, Paramanand Chandramouli, Paolo Favaro:

Motion Deblurring in the Wild. - Mark Muraven:

Designing a Safe Autonomous Artificial Intelligence Agent based on Human Self-Regulation. - Amina Piemontese, Alexandre Graell i Amat:

MDS-Coded Distributed Caching for Low Delay Wireless Content Delivery. - Sadique Sheik, Somnath Paul, Charles Augustine, Gert Cauwenberghs:

Membrane-Dependent Neuromorphic Learning Rule for Unsupervised Spike Pattern Detection. - Joris Guérin, Olivier Gibaru, Eric Nyiri, Stéphane Thiery:

Learning local trajectories for high precision robotic tasks : application to KUKA LBR iiwa Cartesian positioning. - Haiqiang Wang, Ioannis Katsavounidis, Jiantong Zhou, Jeong-Hoon Park, Shawmin Lei, Xin Zhou, Man-On Pun, Xin Jin, Ronggang Wang, Xu Wang, Yun Zhang, Jiwu Huang, Sam Kwong, C.-C. Jay Kuo:

VideoSet: A Large-Scale Compressed Video Quality Dataset Based on JND Measurement. - Da Kuang, P. Jeffrey Brantingham, Andrea L. Bertozzi:

Crime Topic Modeling. - Azade Fotouhi, Ming Ding, Mahbub Hassan:

Dynamic Base Station Repositioning to Improve Performance of Drone Small Cells. - Albert Y. S. Lam, James Jian Qiao Yu, Yunhe Hou, Victor O. K. Li:

Coordinated Autonomous Vehicle Parking for Vehicle-to-Grid Services: Formulation and Distributed Algorithm. - Lan V. Truong, Vincent Y. F. Tan:

On the Reliability Function of the Common-Message Broadcast Channel with Variable-Length Feedback. - Wei Yi, Tao Zhou, Mingchi Xie, Yue Ai, Rick S. Blum:

Suboptimum Low Complexity Joint Multi-target Detection and Localization for Noncoherent MIMO Radar with Widely Separated Antennas. - Haiming Jin, Lu Su, Klara Nahrstedt:

CENTURION: Incentivizing Multi-Requester Mobile Crowd Sensing. - Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:

High-Assurance Separation Kernels: A Survey on Formal Methods. - K. Alex Mills, Ramaswamy Chandrasekaran, Neeraj Mittal:

Algorithms for Optimal Replica Placement Under Correlated Failure in Hierarchical Failure Domains. - Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata:

Exact Computation of Influence Spread by Binary Decision Diagrams. - Bin Yang, Guoqiang Mao, Ming Ding, Xiaohu Ge, Xiaofeng Tao:

Performance Analysis of Dense SCNs with Generalized Shadowing/Fading and NLOS/LOS Transmissions. - Yong Shean Chong, Yong Haur Tay:

Abnormal Event Detection in Videos using Spatiotemporal Autoencoder. - Arun Kumar Singh, Sigal Berman, Ilana Nisky:

Stochastic Optimal Control for Modeling Reaching Movements in the Presence of Obstacles: Theory and Simulation. - Zi Long Liu, Yong Liang Guan, Wai Ho Mow:

Asymptotically Locally Optimal Weight Vector Design for a Tighter Correlation Lower Bound of Quasi-Complementary Sequence Sets. - Edison Marrese-Taylor, Yutaka Matsuo:

Replication issues in syntax-based aspect extraction for opinion mining. - Xianghao Yu, Jun Zhang, Khaled Ben Letaief:

Alternating Minimization for Hybrid Precoding in Multiuser OFDM mmWave Systems. - Bappaditya Mandal, David Lee, Nizar Ouarti:

Distinguishing Posed and Spontaneous Smiles by Facial Dynamics. - Haoyue Shi, Caihua Li, Junfeng Hu:

Real Multi-Sense or Pseudo Multi-Sense: An Approach to Improve Word Representation. - Bo Xu, Changlong Li, Hang Zhuang, Jiali Wang, Qingfeng Wang, Jinhong Zhou, Xuehai Zhou:

DSA: Scalable Distributed Sequence Alignment System Using SIMD Instructions. - Alessandro De Luca, Gabriele Fici, Luca Q. Zamboni:

The sequence of open and closed prefixes of a Sturmian word. - (Withdrawn) An Optimal Randomized Broadcasting Algorithm in Radio Networks with Collision Detection.

- Ruohan Cao:

A Physical-layer Attack Detection Method Using Continuous Secured Side Information. - Jesse Geneson:

An anti-incursion algorithm for unknown probabilistic adversaries on connected graphs. - Tsutomu Hirao, Masaaki Nishino, Jun Suzuki, Masaaki Nagata:

Enumeration of Extractive Oracle Summaries. - Andreas Veit, Neil Alldrin, Gal Chechik, Ivan Krasin, Abhinav Gupta, Serge J. Belongie:

Learning From Noisy Large-Scale Datasets With Minimal Supervision. - Michael Sejr Schlichtkrull, Anders Søgaard:

Cross-Lingual Dependency Parsing with Late Decoding for Truly Low-Resource Languages. - Hyun Jong Yang, Won-Yong Shin, Bang Chul Jung, Changho Suh, Arogyaswami Paulraj:

Opportunistic Downlink Interference Alignment for Multi-Cell MIMO Networks. - Boaz Shuval, Ido Tal:

A Lower Bound on the Probability of Error of Polar Codes over BMS Channels. - Milcho Prisagjanec, Pece Mitrevski:

Reducing Competitive Cache Misses in Modern Processor Architectures. - Mimoza Anastoska-Jankulovska, Pece Mitrevski:

On the Usage of Databases of Educational Materials in Macedonian Education. - Ilija S. Hristoski, Pece J. Mitrevski:

Evaluation of Business-Oriented Performance Metrics in e-Commerce using Web-based Simulation. - Vesna Kumbaroska, Pece Mitrevski:

Behavioural - based modelling and analysis of Navigation Patterns across Information Networks. - Lennart Brüggemann:

Interaktion mit 3D-Objekten in Augmented Reality Anwendungen auf mobilen Android Geräten. - Qing Ke:

Sharing Means Renting?: An Entire-marketplace Analysis of Airbnb. - Ahmed H. Abase, Mohamed Helmy Khafagy, Fatma A. Omara:

Locality Sim: Cloud Simulator with Data Locality. - Rao Farhat Masood:

Application of Fuzzy Logic in Design of Smart Washing Machine. - Jekanthan Thangavelautham, Kenneth Law, Terence Fu, Nader Abu El Samid, Alexander D. S. Smith, Gabriele M. T. D'Eleuterio:

Autonomous Multirobot Excavation for Lunar Applications. - Cícero Carvalho, Victor G. L. Neumann:

The next-to-minimal weights of binary projective Reed-Muller codes. - Cícero Carvalho, Victor G. L. Neumann:

On the next-to-minimal weight of projective Reed-Muller codes. - Nicolas Mayer, Jocelyn Aubert, Eric Grandry, Christophe Feltus, Elio Goettelmann:

An Integrated Conceptual Model for Information System Security Risk Management and Enterprise Architecture Management based on TOGAF, ArchiMate, IAF and DoDAF. - Jean-Raymond Abrial:

Formal Proof of the Weak Goodstein Theorem. - Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan, Fadi Almasalha:

Pareto Efficient Multi Objective Optimization for Local Tuning of Analogy Based Estimation. - Pradeeban Kathiravelu, Luís Veiga:

SD-CPS: Taming the Challenges of Cyber-Physical Systems with a Software-Defined Approach. - Krishna Khatri:

The Shapley Value of Digraph Games. - Jordi Ros-Giralt, Alan Commike, Sourav Maji, Malathi Veeraraghavan:

A Mathematical Framework for the Detection of Elephant Flows. - Tal Remez, Or Litany, Raja Giryes, Alexander M. Bronstein:

Deep Convolutional Denoising of Low-Light Images. - Eshed Ohn-Bar, Mohan M. Trivedi:

To Boost or Not to Boost? On the Limits of Boosted Trees for Object Detection. - Tal Remez, Or Litany, Raja Giryes, Alexander M. Bronstein:

Deep Class Aware Denoising. - Yimeng Zhao, Samantha Lo, Ellen W. Zegura, Niky Riga, Mostafa H. Ammar:

Virtual Network Migration on the GENI Wide-Area SDN-Enabled Infrastructure. - Joshua A. Grochow, Mrinal Kumar, Michael E. Saks, Shubhangi Saraf:

Towards an algebraic natural proofs barrier via polynomial identity testing. - Zeyuan Allen Zhu, Yuanzhi Li:

Follow the Compressed Leader: Faster Algorithms for Matrix Multiplicative Weight Updates. - Matej Moravcík, Martin Schmid, Neil Burch, Viliam Lisý, Dustin Morrill, Nolan Bard, Trevor Davis, Kevin Waugh, Michael Johanson, Michael H. Bowling:

DeepStack: Expert-Level Artificial Intelligence in No-Limit Poker. - Dominik Wurzer, Yumeng Qin:

Spotting Information biases in Chinese and Western Media. - Hao Sun, Alina Zare:

Map-guided Hyperspectral Image Superpixel Segmentation Using Proportion Maps. - Wei Cai, Cheng Li, ShiWei Luan:

SOI RF Switch for Wireless Sensor Network. - Wei Cai, Jian Xu, Liang Huang:

Low Power SI Class E Power Amplifier and RF Switch For Health Care. - Ryan A. Rossi, Rong Zhou, Nesreen K. Ahmed:

Estimation of Graphlet Statistics. - Gianluca Meneghello, Paolo Luchini, Thomas Bewley:

A probabilistic framework for the control of systems with discrete states and stochastic excitation. - George Papandreou, Tyler Zhu, Nori Kanazawa, Alexander Toshev, Jonathan Tompson, Chris Bregler, Kevin P. Murphy:

Towards Accurate Multi-person Pose Estimation in the Wild. - Stephen Kruzick, José M. F. Moura:

Spectral Statistics of Lattice Graph Structured, Non-uniform Percolations. - Keehang Kwon, Dae-Seong Kang:

A Concurrent Model for Imperative Languages with Improved Atomicity. - Yandan Wang, Wei Wen, Linghao Song, Hai (Helen) Li:

Classification Accuracy Improvement for Neuromorphic Computing Systems with One-level Precision Synapses. - Rajan Vaish, Andrés Monroy-Hernández:

CrowdTone: Crowd-powered tone feedback and improvement system for emails. - Jiejing Wen, Minghui Yang, Fang-Wei Fu, Keqin Feng:

Cyclotomic Construction of Strong External Difference Families in Finite Fields. - Sapir Erlich, Alexander Lavzin, Adrian Segall, Michal Ireen Yomtovian:

A Simulation System for Energy Harvesting Networked Tags (EnHANTs). - Shota Saito, Hideki Yagi, Toshiyasu Matsushima:

Variable-Length Lossy Compression Allowing Positive Overflow and Excess Distortion Probabilities. - Jiao Ma, Changle Li, Weiwei Dong, Zhe Liu, Tom H. Luan, Lina Zhu, Lei Xiong:

Urban Rail Transit System Operation Optimization A Game Theoretical Methodology. - Filippos Kokkinos, Alexandros Potamianos:

Structural Attention Neural Networks for improved sentiment analysis. - Pichao Wang, Wanqing Li, Song Liu, Zhimin Gao, Chang Tang, Philip Ogunbona

:
Large-scale Isolated Gesture Recognition Using Convolutional Neural Networks. - Haiyan Guo, Zhen Yang, Linghua Zhang, Jia Zhu, Yulong Zou:

Power-Constrained Secrecy Rate Maximization for Joint Relay and Jammer Selection Assisted Wireless Networks. - Zelun Luo, Boya Peng, De-An Huang, Alexandre Alahi, Li Fei-Fei:

Unsupervised Learning of Long-Term Motion Dynamics for Videos. - Yanzhao Zhou, Qixiang Ye, Qiang Qiu, Jianbin Jiao:

Oriented Response Networks. - Changlong Wang, Jigen Peng:

Analysis of equivalence relation in joint sparse recovery. - Mohaddeseh Bastan, Shahram Khadivi, Mohammad Mehdi Homayounpour:

Neural Machine Translation on Scarce-Resource Condition: A case-study on Persian-English. - Michael Lotkowski:

Automatic Wikipedia Link Generation Based On Interlanguage Links. - Hardie Cate, Fahim Dalvi, Zeshan Hussain:

Sign Language Recognition Using Temporal Classification. - Hardie Cate, Fahim Dalvi, Zeshan Hussain:

DeepFace: Face Generation using Deep Learning. - Caner Gacav, Burak Benligiray, Cihan Topal:

Greedy Search for Descriptive Spatial Face Features. - David D. Fan, Evangelos A. Theodorou:

Differential Dynamic Programming for time-delayed systems. - Zeshan Hussain, Tariq Patanam, Hardie Cate:

Group Visual Sentiment Analysis. - John Cristian Borges Gamboa:

Deep Learning for Time-Series Analysis. - Charika De Alvis, Lionel Ott, Fabio Tozeto Ramos:

Urban Scene Segmentation with Laser-Constrained CRFs. - Bharathan Balaji, Bradford Campbell, Amit Levy, Xiaozhou Li, Addison Mayberry, Nirupam Roy, Vasuki Narasimha Swamy, Longqi Yang, Victor Bahl, Ranveer Chandra, Ratul Mahajan:

Modeling Actuation Constraints for IoT Applications. - (Withdrawn) Privacy-Preserving Social Media Data Publishing.

- Fan Xu, Mingwen Wang, Maoxi Li:

Sentence-level dialects identification in the greater China region. - Amir Sadeghian, Alexandre Alahi, Silvio Savarese:

Tracking The Untrackable: Learning To Track Multiple Cues with Long-Term Dependencies. - Nannan Wang, Xinbo Gao, Jie Li:

Random Sampling and Locality Constraint for Face Sketch. - Xun Zhou, Changle Li, Zhe Liu, Tom H. Luan, Zhifang Miao, Lina Zhu, Lei Xiong:

See the Near Future: A Short-Term Predictive Methodology to Traffic Load in ITS. - Yiren Zhou, Sibo Song, Ngai-Man Cheung:

On Classification of Distorted Images with Deep Convolutional Neural Networks. - Cong Zhao, Shusen Yang, Xinyu Yang, Julie A. McCann:

Rapid, User-Transparent, and Trustworthy Device Pairing for D2D-Enabled Mobile Crowdsourcing. - Cong Zhao, Xinyu Yang, Wei Yu, Xianghua Yao, Jie Lin, Xin Li:

Cheating-Resilient Incentive Scheme for Mobile Crowdsensing Systems. - Andrea Baraldi, Michael Laurence Humber, Dirk Tiede, Stefan Lang:

Stage 4 validation of the Satellite Image Automatic Mapper lightweight computer program for Earth observation Level 2 product generation, Part 1 Theory. - Quyuan Luo, Changle Li, Qiang Ye, Tom H. Luan, Lina Zhu, Xiaolei Han:

CFT: A Cluster-based File Transfer Scheme for Highway. - Andrea Baraldi, Michael Laurence Humber, Dirk Tiede, Stefan Lang:

Stage 4 validation of the Satellite Image Automatic Mapper lightweight computer program for Earth observation Level 2 product generation, Part 2 Validation. - Niv Buchbinder

, Moran Feldman, Joseph Naor, Ohad Talmon:
O(depth)-Competitive Algorithm for Online Multi-level Aggregation. - Eldho K. Thomas, Vincent Y. F. Tan, Alexander Vardy, Mehul Motani:

Polar Coding for the Binary Erasure Channel with Deletions. - Marzio De Biasi, Juho Lauri:

On the Complexity of Restoring Corrupted Colorings. - Andrea Baraldi, Dirk Tiede, Stefan Lang:

Automated Linear-Time Detection and Quality Assessment of Superpixels in Uncalibrated True- or False-Color RGB Images. - Andrea Baraldi, João V. B. Soares:

Multi-Objective Software Suite of Two-Dimensional Shape Descriptors for Object-Based Image Analysis. - Andrea Baraldi, Francesca Despini, Sergio Teggi:

Multi-spectral Image Panchromatic Sharpening, Outcome and Process Quality Assessment Protocol. - Nan Zhao:

Joint Optimization of Power Splitting and Allocation for SWIPT in Interference Alignment Networks. - Qitian Chen, Dong Kang, Yichu He, Tsung-Hui Chang, Ya-Feng Liu:

Joint Power and Admission Control based on Channel Distribution Information: A Novel Two-Timescale Approach. - Hiroki Okada, Ken Umeno:

Randomness Evaluation with the Discrete Fourier Transform Test Based on Exact Analysis of the Reference Distribution. - Nguyen Cong Luong, Ping Wang, Dusit Niyato, Yonggang Wen, Zhu Han:

Resource Management in Cloud Networking Using Economic Analysis and Pricing Models: A Survey. - Sebastian Preugschat, Thomas Wilke:

Backward deterministic and weak alternating ω-automata. - Igal Sason, Sergio Verdú:

Arimoto-Rényi Conditional Entropy and Bayesian M-ary Hypothesis Testing. - Annina Bracher, Eran Hof, Amos Lapidoth:

Guessing Attacks on Distributed-Storage Systems. - Mark Giesbrecht, Joseph Haraldson, Erich L. Kaltofen:

Computing Approximate Greatest Common Right Divisors of Differential Polynomials. - Hamid Reza Shahdoosti:

MS and PAN image fusion by combining Brovey and wavelet methods. - Nilanjan De:

On eccentricity version of Laplacian energy of a graph. - Alexander Zhdanov:

IRA codes derived from Gruenbaum graph. - Yang You, Chong Qin, Yi Gong:

A Joint Resource Allocation Scheme for Multi-User Full-Duplex OFDMA Systems. - Khalil Elkhalil

, Abla Kammoun, Tareq Y. Al-Naffouri
, Mohamed-Slim Alouini
:
Numerically Stable Evaluation of Moments of Random Gram Matrices with Applications. - Roberto Pagano, Massimo Quadrana, Mehdi Elahi

, Paolo Cremonesi:
Toward Active Learning in Cross-domain Recommender Systems. - Yadollah Yaghoobzadeh, Hinrich Schütze:

Multi-level Representations for Fine-Grained Typing of Knowledge Base Entities. - Peter Bloem, Steven de Rooij:

Large-Scale Network Motif Learning with Compression. - Timotheos Aslanidis, Stavros Birmpilis:

An open shop approach in approximating optimal data transmission duration in WDM networks. - Jianming Lian, Shaobu Wang, Ruisheng Diao, Zhenyu Huang:

Decentralized Robust Control for Damping Inter-area Oscillations in Power Systems. - Xiugang Wu, Leighton Pate Barnes, Ayfer Özgür:

Cover's Open Problem: "The Capacity of the Relay Channel". - Abhishek K. Gupta, Jeffrey G. Andrews, Robert W. Heath Jr.:

Macro diversity in Cellular Networks with Random Blockages. - Thanh Vu, Alistair Willis, Udo Kruschwitz, Dawei Song:

Personalised Query Suggestion for Intranet Search with Temporal User Profiling. - Mehmet Emin Basbug, Barbara E. Engelhardt:

Coupled Compound Poisson Factorization. - Weinan Zhang, Ting Liu, Yifa Wang, Qingfu Zhu:

Neural Personalized Response Generation as Domain Adaptation. - Shudi Yang, Xiangli Kong, Chunming Tang:

A Construction of Linear Codes and Their Complete Weight Enumerators. - Sudhir Kumar, Rajesh M. Hegde:

A Review of Localization and Tracking Algorithms in Wireless Sensor Networks. - Alessandro Biason, Subhrakanti Dey, Michele Zorzi:

A Decentralized Optimization Framework for Energy Harvesting Devices. - Silas L. Fong, Vincent Y. F. Tan, Ayfer Özgür:

On Achievable Rates of AWGN Energy-Harvesting Channels with Block Energy Arrival and Non-Vanishing Error Probabilities. - K. Viswanathan Iyer:

A dynamic intranet-based online-portal support for Computer Science teaching. - Dmitry Ulyanov, Andrea Vedaldi, Victor S. Lempitsky:

Improved Texture Networks: Maximizing Quality and Diversity in Feed-forward Stylization and Texture Synthesis. - William Blum:

Type homogeneity is not a restriction for safe recursion schemes. - Assaf Kartowsky, Ido Tal:

Greedy-Merge Degrading has Optimal Power-Law. - Jun Wang, Qiang Tang:

Differentially Private Neighborhood-based Recommender Systems. - Changsoo Je, Kyuhyoung Choi, Sang Wook Lee:

Green-Blue Stripe Pattern for Range Sensing from a Single Image. - Tony Lindeberg:

Discrete approximations of affine Gaussian receptive fields. - Mattia Rossi, Pascal Frossard:

Light Field Super-Resolution Via Graph-Based Regularization. - Elike Hodo, Xavier J. A. Bellekens

, Andrew W. Hamilton, Christos Tachtatzis
, Robert C. Atkinson
:
Shallow and Deep Networks Intrusion Detection System: A Taxonomy and Survey. - Wenpeng Yin, Hinrich Schütze:

Task-Specific Attentive Pooling of Phrase Alignments Contributes to Sentence Matching. - Toan Nguyen-Duc, Eiji Kamioka:

An SDN Approach for an Energy Efficient Heterogeneous Communication Network in Disaster Scenarios. - Reza Malekian, Ntefeng Ruth Moloisane, Lakshmi Nair, Bodhaswar T. Maharaj, Uche A. K. Chude-Okonkwo:

Design and Implementation of a Wireless OBD II Fleet Management System. - Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. - Valentina Franzoni:

Just an Update on PMING Distance for Web-based Semantic Similarity in Artificial Intelligence and Data Mining. - Caner Sahin, Rigas Kouskouridas, Tae-Kyun Kim:

A Learning-based Variable Size Part Extraction Architecture for 6D Object Pose Recovery in Depth. - Martin Zimmermann:

Games with Costs and Delays. - Anca Dumitrache, Lora Aroyo, Chris Welty:

Crowdsourcing Ground Truth for Medical Relation Extraction. - Petr A. Golovach, Matthew Johnson, Barnaby Martin, Daniël Paulusma, Anthony Stewart:

Surjective H-Colouring: New Hardness Results. - Simon Kramer:

A Modularity Bug in Java 8. - Alfredo Cuzzocrea, Jérôme Darmont

, Hadj Mahboubi:
Fragmenting very large XML data warehouses via K-means clustering algorithm. - Paul Dorbec

, Mehdi Mhalla:
Quantum Combinatorial Games. 237-248 - Qimin Xu, Bo Yang, Cailian Chen, Feilong Lin, Xin-Ping Guan:

Distributed Load Shedding for Microgrid via Wireless Network Based on Cyber Physical Framework. - Jacek Sroka, Jan Hidders:

Finding AND-OR Hierarchies in Workflow Nets. - Márton Naszódi, Leonardo Martínez-Sandoval, Shakhar Smorodinsky:

Bounding a global red-blue proportion using local conditions. - Jian Li, Srinivas Shakkottai, John C. S. Lui, Vijay G. Subramanian:

Accurate Learning or Fast Mixing? Dynamic Adaptability of Caching Algorithms. - Vardan Andriasyan, Yauhen Yakimovich, Artur Yakimovich:

MatlabCompat.jl: helping Julia understand Your Matlab/Octave Code. - Pierre Bourhis, Juan L. Reutter, Fernando Suárez, Domagoj Vrgoc:

JSON: data model, query languages and schema specification. - John Iacono

, Elena Khramtcova, Stefan Langerman:
Searching edges in the overlap of two plane graphs. - Cristina Feier, Antti Kuusisto, Carsten Lutz:

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. - Marco Gramaglia, Marco Fiore, Alberto Tarable, Albert Banchs:

kτ, ε-anonymity: Towards Privacy-Preserving Publishing of Spatiotemporal Trajectory Data. - Changzhe Jiao, Alina Zare:

Multiple Instance Hybrid Estimator for Learning Target Signatures. - Chang-Sik Choi, Jae Oh Woo, Jeffrey G. Andrews:

Modeling a Spatially Correlated Cellular Network with Strong Repulsion. - Du Yong Kim:

Visual Multiple-Object Tracking for Unknown Clutter Rate. - Matthias Schröder, Florian Steinberg:

Bounded time computation on metric spaces and Banach spaces. - Olga Tveretina:

Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms. - Tian Zhao, Xiaobing Huang, Yu Cao:

DeepDSL: A Compilation-based Domain-Specific Language for Deep Learning. - Tapabrata Ghosh:

QuickNet: Maximizing Efficiency and Efficacy in Deep Architectures. - (Withdrawn) On short cycle enumeration in biregular bipartite graphs.

- Pivithuru Wijegunawardana, Vatsal Ojha, Ralucca Gera, Sucheta Soundarajan:

Sampling a Network to Find Nodes of Interest. - Chenhan D. Yu, William B. March, George Biros:

An N log N Parallel Fast Direct Solver for Kernel Matrices. - Ehsan Jahangiri, Erdem Yörük, René Vidal, Laurent Younes, Donald Geman:

Information Pursuit: A Bayesian Framework for Sequential Scene Parsing. - Andriy V. Miranskyy, Zainab Al-zanbouri, David Godwin, Ayse Basar Bener:

Database Engines: Evolution of Greenness. - Lele Wang, Young-Han Kim, Chiao-Yi Chen, Hosung Park, Eren Sasoglu:

Sliding-Window Superposition Coding: Two-User Interference Channels. - Xiaowei Zhou, Menglong Zhu, Georgios Pavlakos, Spyridon Leonardos, Konstantinos G. Derpanis, Kostas Daniilidis:

MonoCap: Monocular Human Motion Capture using a CNN Coupled with a Geometric Prior. - Carlos Domingo Castillo, Soham De, Xintong Han, Bharat Singh, Abhay Kumar Yadav, Tom Goldstein:

Son of Zorn's Lemma: Targeted Style Transfer Using Instance-aware Semantic Segmentation. - Brian Chu, Daylen Yang, Ravi Tadinada:

Visualizing Residual Networks. - Guangmo Tong, Weili Wu, Ling Guo, Deying Li, Cong Liu, Bin Liu, Ding-Zhu Du:

An Efficient Randomized Algorithm for Rumor Blocking in Online Social Networks. - Kory W. Mathewson, Patrick M. Pilarski:

Reinforcement Learning based Embodied Agents Modelling Human Users Through Interaction and Multi-Sensory Perception. - Guangmo Tong, Weili Wu, Ding-Zhu Du:

On Rivest-Vuillemin Conjecture for Fourteen Variables. - Marco Gori, Marco Maggini, Alessandro Rossi:

The principle of cognitive action - Preliminary experimental analysis. - Ali Dehghan, Amir H. Banihashemi:

On the Tanner Graph Cycle Distribution of Random LDPC, Random Protograph-Based LDPC, and Random Quasi-Cyclic LDPC Code Ensembles. - Cheng Chen, Randall A. Berry, Michael L. Honig, Vijay G. Subramanian:

The Impact of Small-Cell Bandwidth Requirements on Strategic Operators. - Gabriel Murray:

Stoic Ethics for Artificial Agents. - Tanmay Shankar, Santosha K. Dwivedy, Prithwijit Guha:

Reinforcement Learning via Recurrent Convolutional Neural Networks. - Paolo Baldan, Andrea Corradini, Fabio Gadducci:

Domains and Event Structures for Fusions. - Martin Djukanovic:

Generalizations of Divisor Methods to Approval and Score Voting. - Chengling Fang, Jiang Liu:

A Linear Algebra Formulation for Boolean Satisfiability Testing. - Juan Echeverría, Shi Zhou:

The 'Star Wars' botnet with >350k Twitter bots. - Yuqing Zhu, Philip S. Yu, Guolei Yi, Wenlong Ma, Mengying Guo, Jianxun Liu:

To Vote Before Decide: A Logless One-Phase Commit Protocol for Highly-Available Datastores. - Arash Rafiey, Jeff Kinne, Tomás Feder:

Dichotomy for Digraph Homomorphism Problems. - Sachini Jayasooriya, Mahyar Shirvanimoghaddam, Lawrence Ong, Sarah J. Johnson:

Analysis and design of Raptor codes using a multi-edge framework. - Qingkai Liang, Eytan H. Modiano:

Coflow Scheduling in Input-Queued Switches: Optimal Delay Scaling and Algorithms. - Xiaonan Su, Changle Li, Xiaoming Yuan:

IEEE 802.15.6-based Prototype System for WBAN: Design and Implementation. - Danfei Xu, Yuke Zhu, Christopher B. Choy, Li Fei-Fei:

Scene Graph Generation by Iterative Message Passing. - Haifeng Zhang, Weinan Zhang, Yifei Rong, Kan Ren, Wenxin Li, Jun Wang:

Managing Risk of Bidding in Display Advertising. - Maziar Raissi, George E. Karniadakis:

Machine Learning of Linear Differential Equations using Gaussian Processes. - Rajshekhar Vishweshwar Bhat, Mehul Motani, Teng Joon Lim:

Energy Harvesting Communication Using Finite-Capacity Batteries with Internal Resistance. - Vilém Vychodil:

Closure structures parameterized by systems of isotone Galois connections. - Juan Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici:

SIPHON: Towards Scalable High-Interaction Physical Honeypots. - Loet Leydesdorff, Mark William Johnson, Inga A. Ivanova:

Toward a Calculus of Redundancy: The feedback arrow of expectations in knowledge-based systems. - Swanand Kadhe, A. Robert Calderbank:

Rate Optimal Binary Linear Locally Repairable Codes with Small Availability. - Karen Shashok:

Can scientists and their institutions become their own open access publishers? - Christoph Lassner, Javier Romero, Martin Kiefel, Federica Bogo, Michael J. Black, Peter V. Gehler:

Unite the People: Closing the Loop Between 3D and 2D Human Representations. - Manuela Hirschmugl, Heinz Gallaun, Matthias Dees, Pawan Datta, Janik Deutscher, Nikos Koutsias, Mathias Schardt:

Review of Methods for Mapping Forest Disturbance and Degradation from Optical Earth Observation Data. - Ilya Bychkov, Mikhail Batsyn:

An efficient exact model for the cell formation problem with a variable number of production cells. - Abhinav Thanda, Shankar M. Venkatesan:

Multi-task Learning Of Deep Neural Networks For Audio Visual Automatic Speech Recognition. - Yang Xu, Jiawei Liu:

Implicitly Incorporating Morphological Information into Word Embedding. - Syed Afaq Ali Shah, Uzair Nadeem, Mohammed Bennamoun, Ferdous Ahmed Sohel, Roberto Togneri:

Efficient Image Set Classification using Linear Regression based Image Reconstruction. - Han Cai, Kan Ren, Weinan Zhang, Kleanthis Malialis, Jun Wang, Yong Yu, Defeng Guo:

Real-Time Bidding by Reinforcement Learning in Display Advertising. - Thomas Schwentick, Nils Vortmeier, Thomas Zeume:

Dynamic Complexity under Definable Changes. - Burhan Gulbahar:

Network Topology Modulation for Energy and Data Transmission in Internet of Magneto-Inductive Things. - Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:

Untwisting two-way transducers in elementary time. - Feng Liu, Guangquan Zhang, Haiyan Lu, Jie Lu:

Heterogeneous Unsupervised Cross-domain Transfer Learning. - Alessandro Saccon, Silvio Traversaro, Francesco Nori, Henk Nijmeijer:

On Centroidal Dynamics and Integrability of Average Angular Velocity. - Yang Li, Tao Lin, Hui Tang, Peng Sun:

A Chunk Caching Location and Searching Scheme in Content Centric Networking. - Shichao Liu, Ying Jiang:

Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach. - Changhua Pei, Zhi Wang, Youjian Zhao, Zihan Wang, Yuan Meng, Dan Pei, Yuanquan Peng, Wenliang Tang, Xiaodong Qu:

Why It Takes So Long to Connect to a WiFi Access Point. - Céline Aubel, Helmut Bölcskei:

Vandermonde Matrices with Nodes in the Unit Disk and the Large Sieve. - Junbo Zhang, Yu Zheng, Dekang Qi, Ruiyuan Li, Xiuwen Yi, Tianrui Li:

Predicting Citywide Crowd Flows Using Deep Spatio-Temporal Residual Networks. - Daniel Meana-Llorián, Cristian González García, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle, Néstor García-Fernández:

IoFClime: The fuzzy logic and the Internet of Things to control indoor temperature regarding the outdoor ambient conditions. - Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak

:
MDPs with Energy-Parity Objectives. - Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang:

A Convenient Category for Higher-Order Probability Theory. - Ofer Feinerman, Amos Korman:

The ANTS problem. - B. N. Bharath, P. Vaishali:

Time Complexity Analysis of a Distributed Stochastic Optimization in a Non-Stationary Environment. - Thierry Coquand, Bassel Mannaa, Fabian Ruch:

Stack Semantics of Type Theory. - Yanting Ma, Yue M. Lu, Dror Baron:

Multiprocessor Approximate Message Passing with Column-Wise Partitioning. - Teesid Leelasawassuk, Dima Damen, Walterio W. Mayol-Cuevas:

Automated capture and delivery of assistive task guidance with an eyewear computer: The GlaciAR system. - Diego Marcheggiani, Anton Frolov, Ivan Titov:

A Simple and Accurate Syntax-Agnostic Neural Model for Dependency-based Semantic Role Labeling. - Rabindra K. Barik, Harishchandra Dubey, Arun B. Samaddar, Rajan D. Gupta, Prakash K. Ray:

FogGIS: Fog Computing for Geospatial Big Data Analytics. - Minh Nguyen, Keith A. Teague:

Energy-Efficient Data Collection in Clustered Wireless Sensor Networks employing Distributed DCT. - Ender Konukoglu, Ben Glocker:

SubCMap: Subject and Condition Specific Effect Maps. - Antonia Wachter-Zeh:

List Decoding of Insertions and Deletions. - Anasua Mitra, Amit Awekar

:
On Low Overlap Among Search Results of Academic Search Engines. - Simone Bianco, Marco Buzzelli, Davide Mazzini, Raimondo Schettini:

Deep Learning for Logo Recognition. - Andrei A. Bulatov:

Constraint Satisfaction Problems over semilattice block Mal'tsev algebras. - Mustafa Kemal Tas, Kamer Kaya, Erik Saule:

Greed is Good: Optimistic Algorithms for Bipartite-Graph Partial Coloring on Multicore Architectures. - Cristian González García, Daniel Meana-Llorián, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle, Néstor García-Fernández:

Midgar: Detection of people through computer vision in the Internet of Things scenarios to improve the security in Smart Cities, Smart Towns, and Smart Homes. - Antoine Amarilli, Yael Amsterdamer, Tova Milo, Pierre Senellart:

Top-k Querying of Unknown Values under Order Constraints (Extended Version). - Vladimir Savic, Elad Michael Schiller, Marina Papatriantafilou:

Distributed Algorithm for Collision Avoidance at Road Intersections in the Presence of Communication Failures. - Thom W. Frühwirth:

Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. - Jürg Kohlas:

Algebras of Information. A New and Extended Axiomatic Foundation. - R. V. Bobiti, Mircea Lazar:

Towards parallelizable sampling-based Nonlinear Model Predictive Control. - Sergio Escalera, Xavier Baró, Hugo Jair Escalante, Isabelle Guyon:

ChaLearn Looking at People: Events and Resources. - Thom W. Frühwirth:

Constraint Handling Rules - What Else? - Rajeev Kumar, Robert S. Margolies, Rittwik Jana, Yong Liu, Shivendra S. Panwar:

WiLiTV: A Low-Cost Wireless Framework for Live TV Services. - Michaël Cadilhac, Charles Paperman:

A Crevice on the Crane Beach: Finite-Degree Predicates. - Hao Dong, Paarth Neekhara, Chao Wu, Yike Guo:

Unsupervised Image-to-Image Translation with Generative Adversarial Networks. - Thom W. Frühwirth:

A Devil's Advocate against Termination of Direct Recursion. - Joya A. Deri, José M. F. Moura:

Spectral Projector-Based Graph Fourier Transforms. - Xiaoyan Qiu, Diego F. M. Oliveira, Alireza Sahami Shirazi, Alessandro Flammini, Filippo Menczer:

Lack of quality discrimination in online information markets. - Drew Linsley, Sven Eberhardt, Tarun Sharma, Pankaj Gupta, Thomas Serre:

Clicktionary: A Web-based Game for Exploring the Atoms of Object Recognition. - Hui Zhang, Eitan Yaakobi, Natalia Silberstein:

Multiset Combinatorial Batch Codes. - Subhro Das

, José M. F. Moura:
Distributed Estimation of Dynamic Fields over Multi-agent Networks. - Saed Alrabaee, Paria Shirani, Mourad Debbabi, Lingyu Wang:

On the Feasibility of Malware Authorship Attribution. - Zhaojian Li, Ilya V. Kolmanovsky

, Ella M. Atkins, Jianbo Lu, Dimitar P. Filev:
H-infinity Filtering for Cloud-Aided Semi-active Suspension with Delayed Information. - Roozbeh Mottaghi, Connor Schenck, Dieter Fox, Ali Farhadi:

See the Glass Half Full: Reasoning about Liquid Containers, their Volume and Content. - Ying Zhang, Mohammad Pezeshki, Philemon Brakel, Saizheng Zhang, César Laurent, Yoshua Bengio, Aaron C. Courville:

Towards End-to-End Speech Recognition with Deep Convolutional Neural Networks. - Massimiliano Dal Mas:

Digital Advertising Traffic Operation: Flow Management Analysis. - Martin Jankowiak, Manuel Gomez-Rodriguez:

Uncovering the Spatiotemporal Patterns of Collective Social Activity. - Ravi Kiran Raman, Lav R. Varshney:

Universal Joint Image Clustering and Registration using Partition Information. - Hardie Cate, Zeshan Hussain:

Bidirectional American Sign Language to English Translation. - Kele Xu, Xi Liu, Hengxing Cai, Zhifeng Gao:

Full-reference image quality assessment-based B-mode ultrasound image similarity measure. - Wojciech Czerwinski, Slawomir Lasota:

Regular Separability of One Counter Automata. - Yigal Bejerano, Chandru Raman, Chun-Nam Yu, Varun Gupta, Craig Gutterman, Tomas Young, Hugo Infante, Yousef Abdelmalek, Gil Zussman:

DyMo: Dynamic Monitoring of Large Scale LTE-Multicast Systems. - Guillaume Klein, Yoon Kim, Yuntian Deng, Jean Senellart, Alexander M. Rush:

OpenNMT: Open-Source Toolkit for Neural Machine Translation. - Bo Dai, Ruiqi Guo, Sanjiv Kumar, Niao He, Le Song:

Stochastic Generative Hashing. - Cheuk Ting Li, Abbas El Gamal:

Strong Functional Representation Lemma and Applications to Coding Theorems. - Bill Corcoran, Zihan Geng, Valery Rozental, Arthur James Lowery:

Cyclic spectra for wavelength-routed optical networks. - Chenglong Li, Guizhao Wang, Yunpeng Ma, Aihua Zheng, Bin Luo, Jin Tang:

A Unified RGB-T Saliency Detection Benchmark: Dataset, Baselines, Analysis and A Novel Approach. - Tamir Bendory, Pavel Sidorenko, Yonina C. Eldar:

On the Uniqueness of FROG Methods. - Shiho Sugimoto, Naoki Noda, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:

Computing Abelian regularities on RLE strings. - Jana Dunfield:

Extensible Datasort Refinements. - Joya A. Deri, José M. F. Moura:

Agile Inexact Methods for Spectral Projector-Based Graph Fourier Transforms. - Manu Basavaraju, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh:

On finding highly connected spanning subgraphs. - Cong Duy Vu Hoang, Gholamreza Haffari, Trevor Cohn:

Decoding as Continuous Optimization in Neural Machine Translation. - Joya A. Deri, José M. F. Moura:

Graph Equivalence Classes for Spectral Projector-Based Graph Fourier Transforms. - Ramakrishna Vedantam, Samy Bengio, Kevin Murphy, Devi Parikh, Gal Chechik:

Context-aware Captions from Context-agnostic Supervision. - Isabelle Augenstein, Leon Derczynski, Kalina Bontcheva:

Generalisation in Named Entity Recognition: A Quantitative Analysis. - Nir Shlezinger, Daniel Zahavi, Yonathan Murin, Ron Dabora:

The Secrecy Capacity of Gaussian MIMO Channels with Finite Memory - Full Version. - Jean-Bernard Lasserre

, Edouard Pauwels:
The empirical Christoffel function in Statistics and Machine Learning. - Kapil Dev Tyagi, Arun Kumar, Rajendar Bahl:

A note on dual demodulator continuous transmission frequency modulation technique. - Mohammed Alsaedi:

Colored Image Encryption and Decryption Using Chaotic Lorenz System and DCT2. - Matteo Zanotto, Riccardo Volpi, Alessandro Maccione, Luca Berdondini, Diego Sona, Vittorio Murino:

Modeling Retinal Ganglion Cell Population Activity with Restricted Boltzmann Machines. - Ori Rottenstreich, Yuval Cassuto:

Optimal Compression for Two-Field Entries in Fixed-Width Memories. - Antonio Toral, Víctor M. Sánchez-Cartagena:

A Multifaceted Evaluation of Neural versus Phrase-Based Machine Translation for 9 Language Directions. - Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin:

On Delay and Regret Determinization of Max-Plus Automata. - Noam Zeilberger:

A sequent calculus for the Tamari order. - Zhetao Li, Hongqing Zeng, Chengqing Li, Jun Fang:

Greedy Sparse Signal Reconstruction Using Matching Pursuit Based on Hope-tree. - Waheeb Ahmed, Anto Babu P.:

Question Analysis for Arabic Question Answering Systems. - Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan:

On the Upward/Downward Closures of Petri Nets. - Nhan Thanh Nguyen, Kyungchun Lee:

Cell Coverage Extension with Orthogonal Random Precoding for Massive MIMO Systems. - Krishnendu Chatterjee, Hongfei Fu:

Termination of Nondeterministic Recursive Probabilistic Programs. - Chloé Braud

, Maximin Coavoux
, Anders Søgaard:
Cross-lingual RST Discourse Parsing. - Roland Meyer, Sebastian Muskalla, Elisabeth Neumann:

Liveness Verification and Synthesis: New Algorithms for Recursive Programs. - Daniel Graziotin

, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson:
Unhappy Developers: Bad for Themselves, Bad for Process, and Bad for Software Product. - Johan Jonasson:

Slow mixing for Latent Dirichlet allocation. - Kim Anh Nguyen, Sabine Schulte im Walde, Ngoc Thang Vu:

Distinguishing Antonyms and Synonyms in a Pattern-based Neural Network. - Qingnan Fan, David P. Wipf, Gang Hua, Baoquan Chen:

Revisiting Deep Image Smoothing and Intrinsic Image Decomposition. - Werner Haselmayr, Syed Muhammad Haider Aejaz, A. Taufiq Asyhari, Andreas Springer, Weisi Guo:

On the Impact of Transposition Errors in Diffusion-Based Channels. - Seyed Pooya Shariatpanahi, Giuseppe Caire, Babak Hossein Khalaj:

Multi-Antenna Coded Caching. - Jesús López-Fernández, José F. Paris, Eduardo Martos-Naya:

Bivariate Rician shadowed fading model. - Zaid A. Hussain, Bader F. AlBdaiwi, Anton Cerný:

Node-Independent Spanning Trees in Gaussian Networks. - Ventsislav Chonev:

Reachability in Augmented Interval Markov Chains. - Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin, Hongxin Liang, Rafia Inam, Elena Fersman, Carlos R. B. Azevedo, Klaus Raizer, Ricardo S. Souza:

A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems. - Massimo Cafaro, Marco Pulimeno, Italo Epicoco:

Parallel mining of time-faded heavy hitters. - Alessio Merola, Carlo Cosentino, Domenico Colacino, Francesco Amato:

Optimal Control of Uncertain Nonlinear Quadratic Systems with Constrained Inputs. - Jennifer Dutiné, Markus Clemens, Sebastian Schöps, Georg Wimmer:

Explicit Time Integration of Transient Eddy Current Problems. - Stefano Cresci, Roberto Di Pietro, Marinella Petrocchi, Angelo Spognardi, Maurizio Tesconi:

The paradigm-shift of social spambots: Evidence, theories, and tools for the arms race. - Shuo Shao, Tie Liu, Chao Tian, Cong Shen:

On the Tradeoff Region of Secure Exact-Repair Regenerating Codes. - Yutaka Nagashima:

Towards Smart Proof Search for Isabelle. - Arturo Argueta, David Chiang:

Decoding with Finite-State Transducers on GPUs. - Matthew Veres, Medhat Moussa, Graham W. Taylor:

Modeling Grasp Motor Imagery through Deep Conditional Generative Models. - Manxi Wang, Yongcheng Li, Xiaohan Wei, Qing Ling:

Robust Group LASSO Over Decentralized Networks. - Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, Jaroslav Opatrny, Sunil M. Shende:

Linear Search with Terrain-Dependent Speeds. - Tapan Sahni, Chinmay Chandak, Naveen Reddy Chedeti, Manish Singh:

Efficient Twitter Sentiment Classification using Subjective Distant Supervision. - David Castells-Rufas, Cédric Bastoul:

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2017. - Baris Kayalibay, Grady Jensen, Patrick van der Smagt:

CNN-based Segmentation of Medical Imaging Data. - Alicia Villanueva:

Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents] - Jonathan T. Barron:

A More General Robust Loss Function. - Chongyang Tao, Lili Mou, Dongyan Zhao, Rui Yan:

RUBER: An Unsupervised Method for Automatic Evaluation of Open-Domain Dialog Systems. - Besat Kassaie:

SPARQL over GraphX. - Besat Kassaie:

Job Detection in Twitter. - Akshitha Sriraman, Sihang Liu, Sinan Gunbay, Shan Su, Thomas F. Wenisch:

Deconstructing the Tail at Scale Effect Across Network Protocols. - Xiang Xiang, Trac D. Tran:

Linear Disentangled Representation Learning for Facial Actions. - Wasim Huleihel, Or Ordentlich:

How to Quantize n Outputs of a Binary Symmetric Channel to n-1 Bits? - Chiori Hori, Takaaki Hori, Teng-Yok Lee, Kazuhiro Sumi, John R. Hershey, Tim K. Marks:

Attention-Based Multimodal Fusion for Video Description. - Besat Kassaie:

De-identification In practice. - Eric Lewin Altschuler, Timothy J. Williams:

A practical efficient and effective method for the Hamiltonian cycle problem that runs on a standard computer. - Wenjun Mei, Shadi Mohagheghi, Sandro Zampieri, Francesco Bullo:

On the Dynamics of Deterministic Epidemic Propagation over Networks. - Corneliu T. C. Arsene:

Uncertainty Quantification of Water Distribution System Measurement Data based on a Least Squares Loop Flows State Estimator. - Mengtian Li, Daniel Huber:

Guaranteed Parameter Estimation for Discrete Energy Minimization. - Igor Barros Barbosa, Marco Cristani, Barbara Caputo, Aleksander Rognhaugen, Theoharis Theoharis:

Looking Beyond Appearances: Synthetic Training Data for Deep CNNs in Re-identification. - Héctor Martínez Alonso, Zeljko Agic, Barbara Plank, Anders Søgaard:

Parsing Universal Dependencies without training. - Junjun Yin, Aiman Soliman, Dandong Yin, Shaowen Wang:

Depicting urban boundaries from a mobility network of spatial interactions: A case study of Great Britain with geo-located Twitter data. - Chun-Chen Liu, Oscar Law, Fei Li:

An Accurate Interconnect Test Structure for Parasitic Validation in On-Chip Machine Learning Accelerators. - Louis Shao, Stephan Gouws, Denny Britz, Anna Goldie, Brian Strope, Ray Kurzweil:

Generating Long and Diverse Responses with Neural Conversation Models. - Bo Li, Guodong Shi:

Feedback Capacity over Networks. - Haoqi Li, Brian R. Baucom

, Panayiotis G. Georgiou:
Unsupervised Latent Behavior Manifold Learning from Acoustic Features: audio2behavior. - Mohammad Nazif Faqiry, Ahmad Khaled Zarabie, Fatehullah Nassery, Hongyu Wu, Sanjoy Das:

A Day Ahead Market Energy Auction for Distribution System Operation. - Cheuk Ting Li, Abbas El Gamal:

Extended Gray-Wyner System with Complementary Causal Side Information. - Chenhui Chu, Raj Dabre, Sadao Kurohashi:

An Empirical Comparison of Simple Domain Adaptation Methods for Neural Machine Translation. - Wei Guo, Weile Zhang, Pengcheng Mu, Feifei Gao:

High-Mobility OFDM Downlink Transmission with Large-Scale Antenna Array. - Angela Fan, Finale Doshi-Velez, Luke Miratrix:

Promoting Domain-Specific Terms in Topic Models with Informative Priors. - Awanthika Senarath, Nalin Asanka Gamagedara Arachchilage, Brij B. Gupta:

Security Strength Indicator in Fallback Authentication: Nudging Users for Better Answers in Secret Questions. - Oussama Remil, Qian Xie, Xingyu Xie, Kai Xu, Jun Wang:

Surface Reconstruction with Data-driven Exemplar Priors. - Manuel Amunategui:

Single-Pass, Adaptive Natural Language Filtering: Measuring Value in User Generated Comments on Large-Scale, Social Media News Forums. - Rui She, Shanyun Liu, Yunquan Dong, Pingyi Fan:

Focusing on a Probability Element: Parameter Selection of Message Importance Measure in Big Data. - Shanyun Liu, Rui She, Jiaxun Lu, Pingyi Fan:

Shannon Shakes Hands with Chernoff: Big Data Viewpoint On Channel Information Measures. - Sumeet Trehan, Kevin Carlberg, Louis J. Durlofsky:

Error estimation for surrogate models of dynamical systems using machine learning. - Wenbo Zhang, Xiaorong Hou:

Light Source Point Cluster Selection Based Atmosphere Light Estimation. - Jue Wang, Anoop Cherian, Fatih Porikli:

Ordered Pooling of Optical Flow Sequences for Action Recognition. - Binnan Zhuang, Dongning Guo, Ermin Wei, Michael L. Honig:

Scalable Spectrum Allocation and User Association in Networks with Many Small Cells. - Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi:

Log-based Anomaly Detection of CPS Using a Statistical Method. - Amit Agarwal, Saif Khan Mohammed:

Achievable Rate Region of the Zero-Forcing Precoder in a 2 X 2 MU-MISO Broadcast VLC Channel with Per-LED Peak Power Constraint and Dimming Control. - Balagopal Komarath, Jayalal Sarma, K. S. Sunil:

On the Complexity of L-reachability. - Klaus Jansen, Marten Maack:

An EPTAS for Scheduling on Unrelated Machines of Few Different Types. - Zhiliang Huang, Shiyi Zhang, Feiyan Zhang, Chunjiang Duanmu, Ming Chen:

On the Successive Cancellation Decoding of Polar Codes with Arbitrary Linear Binary Kernels. - Demian Wassermann, Matthew Toews, Marc Niethammer, William M. Wells III:

Probabilistic Diffeomorphic Registration: Representing Uncertainty. - Jun Chen, Chaokun Wang:

Investigating the role of musical genre in human perception of music stretching resistance. - Miroslav Shaltev, Jan-Hendrik Zab, Philipp Kemkes, Stefan Siersdorfer, Sergej Zerr:

Cobwebs from the Past and Present: Extracting Large Social Networks using Internet Archive Data. - Tao Wei, Changhu Wang, Chang Wen Chen:

Modularized Morphing of Neural Networks. - Qi Zhang, Howard H. Yang, Tony Q. S. Quek, Jemin Lee:

Heterogeneous Cellular Networks with LoS and NLoS Transmissions-The Role of Massive MIMO and Small Cells. - Ryo Yaguchi, Masahito Hayashi:

Second Order Analysis for Joint Source-Channel Coding with Markovian Source. - George C. Alexandropoulos:

Position Aided Beam Alignment for Millimeter Wave Backhaul Systems with Large Phased Arrays. - Ashraf A. Shahin:

Automatic Cloud Resource Scaling Algorithm based on Long Short-Term Memory Recurrent Neural Network. - Ashraf A. Shahin:

Using Multiple Seasonal Holt-Winters Exponential Smoothing to Predict Cloud Resource Provisioning. - Robert Falkenberg, Christoph Ide, Christian Wietfeld:

Client-Based Control Channel Analysis for Connectivity Estimation in LTE Networks. - Ryo Yaguchi, Masahito Hayashi:

Finite-Length Bounds for Joint Source-Channel Coding with Markovian Source and Additive Channel Noise to Achieve Large and Moderate Deviation Bounds. - Neha Sengupta, Amitabha Bagchi, Srikanta Bedathur, Maya Ramanath:

Sampling and Reconstruction Using Bloom Filters. - Vaishakhi Mayya, Boyla Mainsah, Galen Reeves:

Information-Theoretic Analysis of Refractory Effects in the P300 Speller. - Edelmira Pasarella, Maria-Esther Vidal

, Cristina Zoltan:
Comparing MapReduce and Pipeline Implementations for Counting Triangles. 20-33 - Salvador Tamarit

, Julio Mariño, Guillermo Vigueras
, Manuel Carro
:
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. 34-51 - Ricardo Peña:

An Introduction to Liquid Haskell. 68-80 - Yi Zhou:

Assertional Logic: Towards an Extensible Knowledge Model (extended abstract). - Andreas van Cranenburgh, Rens Bod:

A Data-Oriented Model of Literary Language. - Joachim Dehais, Marios Anthimopoulos, Sergey Shevchik, Stavroula G. Mougiakakou:

Two-view 3D Reconstruction for Food Volume Estimation. - Tom Kocmi, Ondrej Bojar:

LanideNN: Multilingual Language Identification on Character Window. - Yunpeng Wang, Walid Saad, Arif I. Sarwat

, Choong Seon Hong:
Reactive Power Compensation Game under Prospect-Theoretic Framing Effects. - Uzi Pereg, Yossef Steinberg:

A Study on Arbitrarily Varying Channels with Causal Side Information at the Encoder. - Lixian Zhang, Xunyuan Yin, Junnan Shen, Haitao Yu:

Cloud-Aided State Estimation of A Full-Car Semi-Active Suspension System. - Jaeyoung Kim, Mostafa El-Khamy, Jungwon Lee:

Residual LSTM: Design of a Deep Recurrent Architecture for Distant Speech Recognition. - Massimo Franceschet, Enrico Bozzo:

The Massey's method for sport rating: a network science perspective. - Yuan-Hang Zhang, Xie Li, Jing-Yun Xiao:

A Digital Fuzzy Edge Detector for Color Images. - Billy Pik Lik Lau, Marakkalage Sumudu Hasala, Sanjana Kadaba Viswanath, Balasubramaniam Thirunavukarasu, Chau Yuen, Belinda Yuen, Richi Nayak:

Extracting Point of Interest and Classifying Environment for Low Sampling Crowd Sensing Smartphone Sensor Data. - Kanapathippillai Cumanan, George C. Alexandropoulos, Zhiguo Ding, George K. Karagiannidis:

Secure communications with cooperative jamming: Optimal power allocation and secrecy outage analysis. - Mark de Berg, Tim Leijsen, André van Renssen, Marcel Roeloffzen, Aleksandar Markovic, Gerhard J. Woeginger:

Dynamic and Kinetic Conflict-Free Coloring of Intervals with Respect to Points. - Rajai Nasser, Joseph M. Renes:

Polar Codes for Arbitrary Classical-Quantum Channels and Arbitrary cq-MACs. - Nicholas J. Fraser, Yaman Umuroglu, Giulio Gambardella, Michaela Blott, Philip Heng Wai Leong, Magnus Jahre, Kees A. Vissers:

Scaling Binarized Neural Networks on Reconfigurable Logic. - Elsa Dupraz:

Distributed K-means over Compressed Binary Data. - Andreas Brandstädt, Raffaele Mosca:

On Efficient Domination for Some Classes of H-Free Chordal Graphs. - Christopher Robert Anderson, Theodore S. Rappaport:

In-Building Wideband Partition Loss Measurements at 2.5 GHz and 60 GHz. - Naveed Ul Hassan, Wayes Tushar, Chau Yuen, See Gim Kerk, Ser Wah Oh:

Guaranteeing QoS using Unlicensed TV White Spaces for Smart Grid Applications. - Catherine Gloaguen, Elie Cali:

Cost estimation of a fixed network deployment over an urban territory. - Mojtaba Sahraee-Ardakan, Mohsen Joneidi:

Joint Dictionary Learning for Example-based Image Super-resolution. - Seyed Mehran Dibaji, Hideaki Ishii:

Resilient Consensus of Second-Order Agent Networks: Asynchronous Update Rules with Delays. - Noura Farra, Kathleen R. McKeown:

SMARTies: Sentiment Models for Arabic Target Entities. - Ruidong Liu, Gregor Verbic, Jin Ma:

Fast Stability Scanning for Future Grid Scenario Analysis. - Ruotian Luo, Gregory Shakhnarovich:

Comprehension-guided referring expressions. - Yuzhen Lu, Fathi M. Salem:

Simplified Gating in Long Short-term Memory (LSTM) Recurrent Neural Networks. - Joel C. Heck, Fathi M. Salem:

Simplified Minimal Gated Unit Variations for Recurrent Neural Networks. - Deanna Needell, Tina Woolf:

An Asynchronous Parallel Approach to Sparse Recovery. - Santiago Badia, Marc Olm:

Space-time balancing domain decomposition. - M. Hadi Amini, Orkun Karabasoglu:

Optimal Operation of Interdependent Power Systems and Electrified Transportation Networks. - Emrah Budur:

Scalable, Trie-based Approximate Entity Extraction for Real-Time Financial Transaction Screening. - Thomas Steinke, Jonathan R. Ullman:

Subgaussian Tail Bounds via Stability Arguments. - Mayank Parasar, Abhishek Bhattacharjee, Tushar Krishna:

VESPA: VIPT Enhancements for Superpage Accesses. - (Withdrawn) A Savage-Like Axiomatization for Nonstandard Expected Utility.

- Bruno Dantas, Calmenelias Fleitas, Alexandre P. Francisco, José Simão, Cátia Vaz

:
Beyond NGS data sharing and towards open science. - Fariborz Salehi, Kishore Jaganathan, Babak Hassibi:

Multiple Illumination Phaseless Super-Resolution (MIPS) with Applications To Phaseless DOA Estimation and Diffraction Imaging. - Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas:

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. - Stefanie Roos, Martin Byrenheid, Clemens Deusser, Thorsten Strufe:

Balanced Dynamic Content Addressing in Trees. - Jonas Szutkoski, Mark van Hoeij, Luiz Emilio Allem, Juliane Capaverde:

Functional Decomposition using Principal Subfields. - Utku Aydonat, Shane O'Connell, Davor Capalija, Andrew C. Ling, Gordon R. Chiu:

An OpenCL(TM) Deep Learning Accelerator on Arria 10. - Adel Javanmard:

Perishability of Data: Dynamic Pricing under Varying-Coefficient Models. - Keze Wang, Dongyu Zhang, Ya Li, Ruimao Zhang, Liang Lin:

Cost-Effective Active Learning for Deep Image Classification. - Liang Lin, Keze Wang, Deyu Meng, Wangmeng Zuo, Lei Zhang:

Active Self-Paced Learning for Cost-Effective and Progressive Face Identification. - (Withdrawn) A Novel Algorithm for Optimal Electricity Pricing in a Smart Microgrid Network.

- Anoop Thomas, B. Sundar Rajan:

Generalized Index Coding Problem and Discrete Polymatroids. - Jagadeesh Harshan, Amin Sakzad, Emanuele Viterbo:

Integer-Forcing Linear Receivers: A Design Criterion for Full-Diversity STBCs. - Jagadeesh Harshan, Sang-Yoon Chang, Yih-Chun Hu:

Insider-Attacks on Physical-Layer Group Secret-Key Generation in Wireless Networks. - Zhengbing Hu, Yevgeniy V. Bodyanskiy, Oleksii K. Tyshchenko, Viktoriia O. Samitova:

Fuzzy Clustering Data Given in the Ordinal Scale. - Anli Lim, Bharath Ramesh, Yue Yang, Cheng Xiang, Zhi Gao, Feng Lin:

Real-Time Optical flow-based Video Stabilization for Unmanned Aerial Vehicles. - Markus Giftthaler, Timothy Sandy, Kathrin Dörfler, Ian Brooks, Mark Buckingham, Gonzalo Rey, Matthias Kohler, Fabio Gramazio, Jonas Buchli:

Mobile Robotic Fabrication at 1: 1 scale: the In situ Fabricator. - Seunghyun Yoon, Hyeongu Yun, Yuna Kim, Gyu-tae Park, Kyomin Jung:

Efficient Transfer Learning Schemes for Personalized Language Modeling using Recurrent Neural Network. - Erdem Biyik, Jean Barbier, Mohamad Dia:

Generalized Approximate Message-Passing Decoder for Universal Sparse Superposition Codes. - Andrea Asperti:

Automatic verification and interactive theorem proving. - Fabio Giovanneschi, Kumar Vijay Mishra, María Antonia González-Huici, Yonina C. Eldar, Joachim H. G. Ender:

Online Dictionary Learning Aided Target Recognition In Cognitive GPR. - Lei Zhang, Huaxi (Yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, René Zapata:

Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics. - Meryem Benammar, Abdellatif Zaidi:

Rate-Distortion Region of a Gray-Wyner Model with Side Information. - Giacomo Como:

On resilient control of dynamical flow networks. - Keehang Kwon, Dae-Seong Kang:

Towards a Decidable LogicWeb via Length-Bounded Derivations. - Joshua J. Daymude, Robert Gmyr, Andréa W. Richa, Christian Scheideler, Thim Strothmann:

Leader Election with High Probability for Self-Organizing Programmable Matter. - Wenyi Zhang, Lingyan Huang:

On OR Many-Access Channels. - Meryem Benammar, Abdellatif Zaidi:

Secure Lossy Source Coding for Some Classes of Helper and Gray-Wyner Models. - Soheil Khavari Moghaddam, Seyed Mohammad Razavizadeh:

Joint Tilt Angle Adaptation and Beamforming in Multicell Multiuser Cellular Networks. - Riccardo Satta, Stefano Cavallari, Eraldo Pomponi, Daniele Grasselli, Davide Picheo, Carlo Annis:

A dissimilarity-based approach to predictive maintenance with application to HVAC systems. - Alena Zemanová, Jan Zeman, Michal Sejnoha:

Comparison of viscoelastic finite element models for laminated glass beams. - Oluwaseun Ajao, Jun Hong, Weiru Liu:

A survey of location inference techniques on Twitter. - Jan Zegklitz, Petr Posík:

Symbolic Regression Algorithms with Built-in Linear Regression. - Jielei Chu, Hongjun Wang, Hua Meng, Peng Jin, Tianrui Li:

Restricted Boltzmann Machines with Gaussian Visible Units Guided by Pairwise Constraints. - Valeriya Naumova, Karin Schnass:

Dictionary Learning from Incomplete Data. - Jimmy Jessen Nielsen, Hervé Ganem, Ljupco Jorguseski, Kemal Alic, Miha Smolnikar, Ziming Zhu, Nuno K. Pratas, Michal Golinski, Haibin Zhang, Urban Kuhar, Zhong Fan, Ales Svigelj:

Secure Real-Time Monitoring and Management of Smart Distribution Grid using Shared Cellular Networks. - Luc Dartois, Emmanuel Filiot, Nathan Lhote:

Decidable Logics for Transductions and Data Words. - Xu Zhang:

Fault Tolerant Control of Automotive Air Conditioning Systems using a GIMC Structure. - Priyank Mathur, Arkajyoti Misra, Emrah Budur:

LIDE: Language Identification from Text Documents. - Jérémy Barbay, Javiel Rojas:

Multivariate Analysis for Computing Maxima in High Dimensions. - K. Li, J. Zhang, Shuang Cong:

Fast Reconstruction of High-qubit Quantum States via Low Rate Measurements. - Christof Schlaak, Maher Fakih, Ralf Stemmer:

Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs. - Zimi Li, Nir Oren

, Simon Parsons:
On the links between argumentation-based reasoning and nonmonotonic reasoning. - Damien Busatto-Gaston

, Benjamin Monmege, Pierre-Alain Reynier:
Optimal Reachability in Divergent Weighted Timed Games. - Azam S. Zavar Moosavi, Razvan Stefanescu, Adrian Sandu:

Multivariate predictions of local reduced-order-model errors and dimensions. - Mohsen Ghaffari:

Space-Optimal Semi-Streaming for (2+ε)-Approximate Matching. 


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID