


default search action
CoRR, September 2016
- Gordon A. Christie, Adam Shoemaker, Kevin Kochersberger, Pratap Tokekar, Lance McLean, Alexander Leonessa:

Radiation Search Operations using Scene Understanding with Autonomous UAV and UGV. - Marcello Balduccini, Daniele Magazzeni, Marco Maratea:

PDDL+ Planning via Constraint Answer Set Programming. - Agne Grinciunaite, Amogh Gudi, H. Emrah Tasli, Marten den Uyl:

Human Pose Estimation in Space and Time using 3D CNN. - Greg Wilson, Jennifer Bryan, Karen Cranston, Justin Kitzes, Lex Nederbragt, Tracy K. Teal:

Good Enough Practices in Scientific Computing. - Cong Zhang, Jiangchuan Liu, Haiyang Wang:

Towards Hybrid Cloud-assisted Crowdsourced Live Streaming: Measurement and Analysis. - Joel A. Tropp, Alp Yurtsever, Madeleine Udell, Volkan Cevher:

Randomized single-view algorithms for low-rank matrix approximation. - Yue Chen, Ana Busic, Sean P. Meyn:

Estimation and Control of Quality of Service in Demand Dispatch. - Laura Rebollo-Neira, Pradip Sasmal:

Low memory implementation of Orthogonal Matching Pursuit like greedy algorithms: Analysis and Applications. - (Withdrawn) Team Optimal Decentralized Control of System with Partially Exchangeable Agents-Part 1: Linear Quadratic Mean-Field Teams.

- Wanchun Liu, Kaibin Huang, Xiangyun Zhou, Salman Durrani:

Full-Duplex Backscatter Interference Networks Based on Time-Hopping Spreading Spectrum. - Arun Tejasvi Chaganty, Percy Liang:

How Much is 131 Million Dollars? Putting Numbers in Perspective with Compositional Descriptions. - Siavash Gorji, James J. Clark:

Attentional Push: Augmenting Salience with Shared Attention Modeling. - Jianyu Huang, Robert A. van de Geijn:

BLISlab: A Sandbox for Optimizing GEMM. - Tanmoy Chakraborty, Ramasuri Narayanam:

All Fingers are not Equal: Intensity of References in Scientific Articles. - Rajasekar Venkatesan, Meng Joo Er:

A novel progressive learning technique for multi-class classification. - Rajasekar Venkatesan, Meng Joo Er, Mihika Dave, Mahardhika Pratama, Shiqian Wu:

A novel online multi-label classifier for high-speed streaming data applications. - Xin Huang, Laks V. S. Lakshmanan:

Attribute Truss Community Search. - Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan:

Approximate Bisimulation and Discretization of Hybrid CSP. - Tran Hiep Dinh, Minh-Trien Pham, Manh Duong Phung, Duc Manh Nguyen, Van Manh Hoang, Quang Vinh Tran:

Image segmentation based on histogram of depth and an application in driver distraction detection. - Zhiyong Shan, Bin Liao:

Design and Implementation of A Network Security Management System. - Zhiyong Shan:

Suspicious-Taint-Based Access Control for Protecting OS from Network Attacks. - Justin Grana, David H. Wolpert, Joshua Neil, Dongping Xie, Tanmoy Bhattacharya, Russell Bent:

A Likelihood Ratio Detector for Identifying Within-Perimeter Computer Network Attacks. - Nathan O. Hodas, Ryan Butner, Courtney D. Corley:

How a user's personality influences content engagement in social media. - Hiroki Osawa, Akira Suzuki, Takehiro Ito, Xiao Zhou:

The Complexity of (List) Edge-Coloring Reconfiguration Problem. - Hector Zenil, Fernando Soler-Toscano, Narsis Aftab Kiani, Santiago Hernández-Orozco, Antonio Rueda-Toicen, Jesper Tegnér

:
A Decomposition Method for Global Evaluation of Shannon Entropy and Local Estimations of Algorithmic Complexity. - Nicholas Guttenberg, Martin Biehl

, Ryota Kanai:
Neural Coarse-Graining: Extracting slowly-varying latent degrees of freedom with neural networks. - Katsumi Kumai, Yuhki Shiraishi, Jianwei Zhang, Hiroyuki Kitagawa, Atsuyuki Morishima:

Group Rotation Type Crowdsourcing. - Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis:

An algebra of synchronous atomic steps. - Christoph Meier, Wolfgang A. Wall, Alexander Popp:

Geometrically Exact Finite Element Formulations for Curved Slender Beams: Kirchhoff-Love Theory vs. Simo-Reissner Theory. - Radhika Sukapuram, Gautam Barua:

PPCU: Proportional Per-packet Consistent Updates for Software Defined Networks - A Technical Report. - Michael Opitz, Georg Waltner, Georg Poier, Horst Possegger, Horst Bischof:

Grid Loss: Detecting Occluded Faces. - Roberto Rigamonti, Baptiste Delporte, Anthony Convers, Alberto Dassatti:

Transparent Live Code Offloading on FPGA. - Gayatri Panicker, Kanduru V. Krishna, Purandar Bhaduri:

Axiomatization of if-then-else over possibly non-halting programs and tests. - Sofia Belikovetsky, Mark Yampolskiy, Jinghui Toh, Yuval Elovici:

dr0wned - Cyber-Physical Attack with Additive Manufacturing. - Yahia Alghorani, Georges Kaddoum, Sami Muhaidat, Samuel Pierre, Naofal Al-Dhahir:

On the Performance of Multihop-Intervehicular Communications Systems over n*Rayleigh Fading Channels. - Valeria Fionda, Giuseppe Pirrò:

From Community Detection to Community Deception. - Mohammad Norouzi, Samy Bengio, Zhifeng Chen, Navdeep Jaitly, Mike Schuster, Yonghui Wu, Dale Schuurmans:

Reward Augmented Maximum Likelihood for Neural Structured Prediction. - Riccardo Longo, Massimiliano Sala, Riccardo Aragona:

Several Proofs of Security for a Tokenization Algorithm. - Zhe Wang, Limin Wang, Yali Wang, Bowen Zhang, Yu Qiao:

Weakly Supervised PatchNets: Describing and Aggregating Local Patches for Scene Recognition. - Frédéric Prost, Jisang Yoon:

Parallel Clustering of Graphs for Anonymization and Recommender Systems. - Limin Wang, Zhe Wang, Yu Qiao, Luc Van Gool:

Transferring Object-Scene Convolutional Neural Networks for Event Recognition in Still Images. - Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham:

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). - Murray L. Ireland, Ruth Hoffmann

, Alice Miller, Gethin Norman, Sandor M. Veres:
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. - Lauri Ahonen, Benjamin Ultan Cowley

:
A short review and primer on electroencephalography in human computer interaction applications. - Andrew Thangaraj:

Dual Capacity Upper Bounds for Noisy Runlength Constrained Channels. - Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke:

Designing a semantic model for a wide-spectrum language with concurrency. - Angelos Valsamis, Konstantinos Tserpes, Dimitrios Zissis, Dimosthenis Anagnostopoulos, Theodora A. Varvarigou:

Employing traditional machine learning algorithms for big data streams analysis: the case of object trajectory prediction. - Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, Charles Paperman:

Separability of Reachability Sets of Vector Addition Systems. - Giovanni Cuffaro, Federico Becattini, Claudio Baecchi, Lorenzo Seidenari, Alberto Del Bimbo:

Segmentation Free Object Discovery in Video. - Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot:

Ternary Neural Networks for Resource-Efficient AI Applications. - Xiaowen Tian, Ming Li, Qian Liu:

Random-Training-Assisted Pilot Spoofing Detection and Secure Transmission. - Clément L. Canonne, Elena Grigorescu, Siyao Guo, Akash Kumar, Karl Wimmer:

Testing k-Monotonicity. - Adam Bates, Kevin R. B. Butler, Alin Dobra, Bradley Reaves, Patrick T. Cable II, Thomas Moyer, Nabil Schear:

Retrofitting Applications with Provenance-Based Security Monitoring. - Arsalan Mousavian, Jana Kosecka:

Semantic Image Based Geolocation Given a Map. - Dwaipayan Mukherjee, Daniel Zelazo:

Consensus over Weighted Directed Graphs: A Robustness Perspective. - Xi-Zhu Wu, Zhi-Hua Zhou:

A Unified View of Multi-Label Performance Measures. - Zdenek Prusa, Péter Balázs, Peter L. Søndergaard:

A Non-iterative Method for (Re)Construction of Phase from STFT Magnitude. - Yao-Xiang Ding, Zhi-Hua Zhou:

Crowdsourcing with Unsure Option. - Arun I. B, T. G. Venkatesh, Bhasker Dappuri:

QoS Provisioning with Adaptive Backoff Algorithm for IEEE 802.11ac Under Multipacket Reception. - Ruxandra Bobiti, Mircea Lazar:

Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems. - Milad Hashemi:

On-Chip Mechanisms to Reduce Effective Memory Access Latency. - Francisco Javier López-Martínez, José F. Paris, Juan Manuel Romero-Jerez:

The κ-μ Shadowed Fading Model with Integer Fading Parameters. - Thomas C. van Dijk, Martin Fink, Norbert Fischer, Fabian Lipp, Peter Markfelder, Alexander Ravsky, Subhash Suri, Alexander Wolff:

Block Crossings in Storyline Visualizations. - Beniamino Accattoli, Giulio Guerrieri:

Open Call-by-Value (Extended Version). - Roman V. Yampolskiy:

Verifier Theory and Unverifiability. - Concetto Spampinato, Simone Palazzo, Isaak Kavasidis, Daniela Giordano, Mubarak Shah, Nasim Souly:

Deep Learning Human Mind for Automated Visual Classification. - Mona Fathollahi, Rangachar Kasturi:

Autonomous driving challenge: To Infer the property of a dynamic object based on its motion pattern using recurrent neural network. - Rafael Rui, Tohid Ardeshiri, Henri Nurminen, Alexandre S. Bazanella, Fredrik Gustafsson:

State Estimation for Piecewise Affine State-Space Models. - Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say:

Language Classes Associated with Automata Over Matrix Groups. - Richard McPherson, Reza Shokri, Vitaly Shmatikov:

Defeating Image Obfuscation with Deep Learning. - Derya Malak, Mazin Al-Shalash, Jeffrey G. Andrews:

Spatially Correlated Content Caching for Device-to-Device Communications. - Jason Cloud, Muriel Médard:

Multi-Path Low Delay Network Codes. - Ethan Fast, Eric Horvitz:

Identifying Dogmatism in Social Media: Signals and Models. - Paul M. Aoki:

New Rain Rate Statistics for Emerging Regions: Implications for Wireless Backhaul Planning. - Jing Yuan, Shaojie Tang:

No Time to Observe: Adaptive Influence Maximization with Partial Feedback. - David Jurgens, Srijan Kumar, Raine Hoover, Daniel A. McFarland, Dan Jurafsky:

Citation Classification for Behavioral Analysis of a Scientific Field. - Sephora Madjiheurem, Valentina Sintsova, Pearl Pu:

Qualitative Framing of Financial Incentives - A Case of Emotion Annotation. - Fatemehsadat Saleh, Mohammad Sadegh Ali Akbarian, Mathieu Salzmann, Lars Petersson, Stephen Gould, José M. Álvarez:

Built-in Foreground/Background Prior for Weakly-Supervised Semantic Segmentation. - Yanlun Wu, Jun Fang:

Large-Scale Antenna-Assisted Grant-free Non-Orthogonal Multiple Access via Compressed Sensing. - Heman Shakeri, Pietro Poggi-Corradini, Nathan Albin, Caterina M. Scoglio:

Modulus of families of loops with applications in network analysis. - Markus Wagner, Marius Lindauer, Mustafa Misir, Samadhi Nallaperuma, Frank Hutter:

A case study of algorithm selection for the traveling thief problem. - Trey Grainger, Khalifeh AlJadda, Mohammed Korayem, Andries Smith:

The Semantic Knowledge Graph: A compact, auto-generated model for real-time traversal and ranking of any relationship within a domain. - Pushpam Aji John, Rudolf Agren, Yu-Jung Chen, Christian Rohner, Edith C. H. Ngai:

868 MHz Wireless Sensor Network - A Study. - Tatsuya Iwase, Takahiro Shiga:

Linear Game Theory : Reduction of complexity by decomposing large games into partial games. - Weisi Guo, Sheng Zhou, Yunfei Chen, Siyi Wang, Xiaoli Chu

, Zhisheng Niu:
Simultaneous Information and Energy Flow for IoT Relay Systems with Crowd Harvesting. - Morakot Choetkiertikul, Hoa Khanh Dam, Truyen Tran, Trang Pham, Aditya Ghose, Tim Menzies:

A deep learning model for estimating story points. - Shu Liu, Bo Li, Yangyu Fan, Zhe Guo, Ashok Samal:

Label distribution based facial attractiveness computation by deep residual learning. - Swen Jacobs

, Roderick Bloem
, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez
, Jean-François Raskin
, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. 149-177 - Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:

Generalized Group Profiling for Content Customization. - Adrian Kosowski, Laurent Viennot:

Beyond Highway Dimension: Small Distance Labels Using Tree Skeletons. - Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx:

On Horizontal and Vertical Separation in Hierarchical Text Classification. - Kaustav Bose, Ranendu Adhikary, Sruti Gan Chaudhuri, Buddhadeb Sau:

Euclidean 1-center of a set of static and mobile points. - Nan Wang, Blesson Varghese, Peter D. Donnelly:

A Machine Learning Analysis of Twitter Sentiment to the Sandy Hook Shootings. - Richard Jayadi Oentaryo, Arinto Murdopo, Philips Kokoh Prasetyo, Ee-Peng Lim:

On Profiling Bots in Social Media. - Leo van Iersel, Steven Kelk, Georgios Stamoulis, Leen Stougie, Olivier Boes:

On unrooted and root-uncertain variants of several well-known phylogenetic network problems. - Neri Merhav:

Universal decoding using a noisy codebook. - Aleksandr Chuklin, Maarten de Rijke:

Incorporating Clicks, Attention and Satisfaction into a Search Engine Result Page Evaluation Model. - Bridget T. McInnes, Ted Pedersen:

Improving Correlation with Human Judgments by Embedding Second Order Vectors with Semantic Similarity. - Lingxun Meng, Yan Li, Mengyi Liu, Peng Shu:

Skipping Word: A Character-Sequential Representation based Framework for Question Answering. - Nikolaas Steenbergen, Sebastian Schelter, Felix Bießmann:

Doubly stochastic large scale kernel learning with the empirical kernel map. - H. Birkan Yilmaz, Gee-Yong Suk, Chan-Byoung Chae:

Chemical Propagation Pattern for Molecular Communications. - Lan V. Truong, Vincent Y. F. Tan:

On AWGN Channels and Gaussian MACs with Variable-Length Feedback. - Claudio Menghi, Paola Spoletini, Carlo Ghezzi:

Modeling, refining and analyzing Incomplete Büchi Automata. - Yusuf Motara, Barry Irwin:

SHA-1 and the Strict Avalanche Criterion. - Yinsheng Liu, Geoffrey Ye Li, Wei Han:

Device-to-device Cooperation in Massive MIMO Systems with Cascaded Precoding. - Shinichi Nakajima, Sebastian Krause, Dirk Weissenborn, Sven Schmeier, Nico Görnitz, Feiyu Xu:

SynsetRank: Degree-adjusted Random Walk for Relation Identification. - Admela Jukan, Xavier Masip-Bruin, Nina Amla:

Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review. - Elad Richardson, Rom Herskovitz, Boris Ginsburg, Michael Zibulevsky:

SEBOOST - Boosting Stochastic Learning Using Subspace Optimization Techniques. - Ivana Bachmann, Patricio Reyes, Alonso Silva, Javier Bustos-Jiménez:

Miuz: measuring the impact of disconnecting a node. - Li Wang, Aaron D. Ames, Magnus Egerstedt:

Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. - Ralf Lübben, Markus Fidler:

A Benchmark for the Performance of Time-varying Closed-loop Flow Control with Application to TCP. - Reza Farrahi Moghaddam, Yves Lemieux, Mohamed Cheriet:

Transparent Clouds: An Enhancement to Abstraction. - Petros Drineas, Ilse Ipsen, Eugenia-Maria Kontopoulou, Malik Magdon-Ismail:

Structural Convergence Results for Low-Rank Approximations from Block Krylov Spaces. - Alessandro Checco, Gianluca Demartini:

Pairwise, Magnitude, or Stars: What's the Best Way for Crowds to Rate? - Makoto Naruse, Martin Berthel, Aurélien Drezet, Serge Huant, Hirokazu Hori, Song-Ju Kim:

Single photon in hierarchical architecture for physical reinforcement learning: Photon intelligence. - Niels Dalum Hansen, Christina Lioma

, Kåre Mølbak:
Ensemble Learned Vaccination Uptake Prediction using Web Search Queries. - Rie Johnson, Tong Zhang:

Convolutional Neural Networks for Text Categorization: Shallow Word-level vs. Deep Character-level. - Jaakko Peltonen

, Ziyuan Lin:
Peacock Bundles: Bundle Coloring for Graphs with Globality-Locality Trade-off. - Michael Mitzenmacher, Charalampos E. Tsourakakis:

Predicting Signed Edges with O(n log n) Queries. - Antonio Cesarano, Filomena Ferrucci, Mario Torre:

A heuristic extending the Squarified treemapping algorithm. - Ioannis G. Tollis, Konstantinos G. Kakoulis:

Algorithms for Visualizing Phylogenetic Networks. - San Tu Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker:

A MIP Backend for the IDP System. - Mario Levorato, Yuri Frota:

Brazilian Congress structural balance analysis. - Md. Abdul Latif Sarker:

An Error Covariance Splitting Technique for Multi-User MIMO Interference Environment. - Bhuwan Dhingra, Lihong Li, Xiujun Li, Jianfeng Gao, Yun-Nung Chen, Faisal Ahmed, Li Deng:

End-to-End Reinforcement Learning of Dialogue Agents for Information Access. - Ahmad Mahmoody, Charalampos E. Tsourakakis, Eli Upfal:

Scalable Betweenness Centrality Maximization via Sampling. - Ruochen Jiang, Jiannan Wang:

Reprowd: Crowdsourced Data Processing Made Reproducible. - Danilo S. Carvalho, Minh-Tien Nguyen, Tran Xuan Chien, Minh-Le Nguyen:

Lexical-Morphological Modeling for Legal Text Analysis. - Samuel Rota Bulò, Battista Biggio, Ignazio Pillai, Marcello Pelillo, Fabio Roli:

Randomized Prediction Games for Adversarial Machine Learning. - Yatao Bian, Alexey Gronskiy, Joachim M. Buhmann:

Greedy MAXCUT Algorithms and their Information Content. - Bhupendra Kumar, Shankar Prakriya:

Performance of Adaptive Link Selection with Buffer-Aided Relays in Underlay Cognitive Networks. - Jihong Fan, Ru-Ze Liang

:
Stochastic Learning of Multi-Instance Dictionary for Earth Mover's Distance based Histogram Comparison. - Amparo Gil, Javier Segura, Nico M. Temme:

Efficient computation of Laguerre polynomials. - Marcin Bienkowski, Jaroslaw Byrka, Marcin Mucha:

Dynamic beats fixed: on phase-based algorithms for file migration. - Jihad Fahs, Ibrahim C. Abou-Faycal:

Information Measures, Inequalities and Performance Bounds for Parameter Estimation in Impulsive Noise Environments. - Tianyu Yang, Nan Liu, Wei Kang, Shlomo Shamai:

An Upper Bound on the Sum Capacity of the Downlink Multicell Processing with Finite Backhaul Capacity. - Wei-Chen Chiu, Fabio Galasso, Mario Fritz:

Towards Segmenting Consumer Stereo Videos: Benchmark, Baselines and Ensembles. - Meng Joo Er, Rajasekar Venkatesan, Ning Wang:

An Online Universal Classifier for Binary, Multi-class and Multi-label Classification. - Mohammad Hajimirsadeghi, Narayan B. Mandayam, Alex Reznik:

Joint Caching and Pricing Strategies for Popular Content in Information Centric Networks. - Jinseok Choi, Jeonghun Park, Brian L. Evans:

Spectral Efficiency Bounds for Interference-Limited SVD-MIMO Cellular Communication Systems. - Harm H. M. Weerts, Paul M. J. Van den Hof, Arne G. Dankers:

Identifiability of dynamic networks with noisy and noise-free nodes. - Mohammad Sabokrou, Mohsen Fayyaz, Mahmood Fathy, Reinhard Klette:

Fully Convolutional Neural Network for Fast Anomaly Detection in Crowded Scenes. - Frank Duque, Ruy Fabila Monroy:

Updating the Number of Crossings of Complete Geometric Graphs. - Zhiyong Shan:

Compatible and Usable Mandatory Access Control for Good-enough OS Security. - Silas Evandro Nachif Fernandes, Danillo Roberto Pereira, Caio C. O. Ramos, André N. de Souza, João Paulo Papa:

A Probabilistic Optimum-Path Forest Classifier for Binary Classification Problems. - M. Tarek Ibn Ziad, Amr Al-Anwar, Moustafa Alzantot, Mani B. Srivastava:

CryptoImg: Privacy Preserving Processing Over Encrypted Images. - Xiaoqiang Ren, Junfeng Wu, Subhrakanti Dey, Ling Shi:

Attack Allocation on Remote State Estimation in Multi-Systems: Structural Results and Asymptotic Solution. - Vesal Hakami, Mehdi Dehghan:

Distributed Power Control for Delay Optimization in Energy Harvesting Cooperative Relay Networks. - Andrzej Cichocki, Namgil Lee, Ivan V. Oseledets, Anh Huy Phan, Qibin Zhao, Danilo P. Mandic:

Low-Rank Tensor Networks for Dimensionality Reduction and Large-Scale Optimization Problems: Perspectives and Challenges PART 1. - Eric Price, Zhao Song:

A Robust Sparse Fourier Transform in the Continuous Setting. - Eric Holloway, Robert J. Marks II:

High Dimensional Human Guided Machine Learning. - Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:

Automated Mutual Explicit Induction Proof in Separation Logic. - Hao Wu, Frank Noé:

Spectral learning of dynamic systems from nonequilibrium data. - Mohammad Hadi, Farokh Marvasti, Mohammad Reza Pakravan:

Dispersion Compensation using High-Positive Dispersive Optical Fibers. - Brandon Dang, Miles Hutson, Matthew Lease:

MmmTurkey: A Crowdsourcing Framework for Deploying Tasks and Recording Worker Behavior on Amazon Mechanical Turk. - Ali Borji:

Vanishing point detection with convolutional neural networks. - Casper Petersen, Jakob Grue Simonsen, Kalervo Järvelin, Christina Lioma

:
Adaptive Distributional Extensions to DFR Ranking. - Michael Whelan, Nhien-An Le-Khac, M. Tahar Kechadi

:
Data Reduction in Very Large Spatio-Temporal Data Sets. - Nhien-An Le-Khac, Sammer Markos, M. Tahar Kechadi

:
A data mining-based solution for detecting suspicious money laundering cases in an investment bank. - Maarten van Banerveld, Nhien-An Le-Khac, M. Tahar Kechadi

:
Performance Evaluation of a Natural Language Processing approach applied in White Collar crime investigation. - Lingchuan Meng:

Automatic Generation of Vectorized Montgomery Algorithm. - Yuchen Zhang, Percy Liang, Martin J. Wainwright:

Convexified Convolutional Neural Networks. - Jianxu Chen, Lin Yang, Yizhe Zhang, Mark S. Alber, Danny Z. Chen:

Combining Fully Convolutional and Recurrent Neural Networks for 3D Biomedical Image Segmentation. - Lingchuan Meng:

Automatic Library Generation for Modular Polynomial Multiplication. - Yalin Sun

, Pengxiang Cheng, Shengwei Wang, Hao Lyu, Matthew Lease, Iain James Marshall, Byron C. Wallace:
Crowdsourcing Information Extraction for Biomedical Systematic Reviews. - Ohad Shamir:

Distribution-Specific Hardness of Learning Neural Networks. - José I. Aznar, Eduard Escalona, Isart Canyameres, Óscar Moya, A. Viñes:

CNSMO: A Network Services Manager/Orchestrator Tool for Cloud Federated Environments. - Janne V. Kujala, Tuomas J. Lukka, Harri Holopainen:

Classifying and sorting cluttered piles of unknown objects with robots: a learning approach. - (Withdrawn) Two-Time-Slot Bidirectional Relaying in Molecular Communication.

- Trinh Van Chien, Emil Björnson, Erik G. Larsson:

Multi-Cell Massive MIMO Performance with Double Scattering Channels. - Gilles Trédan, Hans-Peter Schwefel:

Fast Abstracts and Student Forum Proceedings - EDCC 2016 - 12th European Dependable Computing Conference. - Marcella Cornia, Lorenzo Baraldi, Giuseppe Serra, Rita Cucchiara:

A Deep Multi-Level Network for Saliency Prediction. - Borja Arnau de Régil Basáñez, Christopher S. Meiklejohn:

Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages. - Florian Daniel, Pavel Kucherbaev:

Toward Crowdsourced User Studies for Software Evaluation. - Laurent Gourvès, Jérôme Monnot, Lydia Tlilane:

Subset Sum Problems With Digraph Constraints. - Mikhail Belyaev, Evgeny Burnaev, Ermek Kapushev, Maxim Panov, Pavel V. Prikhodko, Dmitry P. Vetrov, Dmitry Yarotsky:

GTApprox: surrogate modeling for industrial design. - Yariv Aizenbud, Yoel Shkolnisky:

A max-cut approach to heterogeneity in cryo-electron microscopy. - Yang Chen

, Zhong-Yi Wang, Lan Huang:
Performance analysis of a non-beacon enabled IEEE 802.15.4 network with retransmission and ACK mode. - Kevis-Kokitsi Maninis, Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc Van Gool:

Deep Retinal Image Understanding. - Arya Bangun, Arash Behboodi, Rudolf Mathar:

Sparse recovery in Wigner-D basis expansion. - Mohamed Almorsy, John C. Grundy, Ingo Müller:

An Analysis of the Cloud Computing Security Problem. - Petr Gregor, Riste Skrekovski, Vida Vukasinovic:

Modelling simultaneous broadcasting by level-disjoint partitions. - Kieran G. Larkin

:
Reflections on Shannon Information: In search of a natural information-entropy for images. - Jorge Luis Rivero Pérez, Yaimara Peñate Santana, Pedro Harenton Martínez López:

Proposal of Data Processing Platform for Direct Marketing Data. - Bin Chen, Shu-Tao Xia, Jie Hao, Fang-Wei Fu:

Constructions of Optimal Cyclic (r, δ) Locally Repairable Codes. - Orion Afisiadis, Andrew Charles Mallory Austin, Alexios Balatsoukas-Stimming, Andreas Peter Burg:

Sliding Window Spectrum Sensing for Full-Duplex Cognitive Radios with Low Access-Latency. - Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson:

A Generic Logic for Proving Linearizability (Extended Version). - Lucas Maystre, Victor Kristof, Antonio J. González Ferrer, Matthias Grossglauser:

The Player Kernel: Learning Team Strengths Based on Implicit Player Contributions. - Longjiang Qu:

A New Approach to Constructing Quadratic Pseudo-Planar Functions over $\gf_{2^n}$. - Alexander Mäcker, Manuel Malatyali, Friedhelm Meyer auf der Heide, Sören Riechers:

Cost-efficient Scheduling on Machines from the Cloud. - Camilo Melani, Juan V. Echagüe, Joaquín Torré Zaffaroni, Daniel Yankelevich:

Un caso de big data punta a punta: análisis de datos de transporte y su uso en el negocio. - Camilo Melani, Joaquín Torré Zaffaroni, Alejandro Hernandez, Juan V. Echagüe:

Análisis de resultados electorales: comparación de métodos y estimación de votos por franja etaria. - Fahad Al-Obaidli, Stephen Cox, Preslav Nakov:

Bi-Text Alignment of Movie Subtitles for Spoken English-Arabic Statistical Machine Translation. - Harshit Gupta, Shubha Brata Nath, Sandip Chakraborty, Soumya K. Ghosh:

SDFog: A Software Defined Computing Architecture for QoS Aware Service Orchestration over Edge Devices. - Léopold Crestel, Philippe Esling:

Live Orchestral Piano, a system for real-time orchestral music generation. - Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto:

Generic and Effective Specification of Structural Test Objectives. - Sina S. Baghsorkhi, Sergey P. Suetin:

Embedding AC Power Flow in the Complex Plane Part II: A Reliable Framework for Voltage Collapse Analysis. - Michele Elia, Davide Schipani:

Involutions, Trace Maps, and Pseudorandom Numbers. - Christoph-Simon Senjak, Martin Hofmann:

An implementation of Deflate in Coq. - Pingfan Tang, Jeff M. Phillips:

The Robustness of Estimator Composition. - Afonso Menegola, Michel Fornaciali, Ramon Pires, Sandra Eliza Fontes de Avila, Eduardo Valle:

Towards Automated Melanoma Screening: Exploring Transfer Learning Schemes. - Ryan G. James, James P. Crutchfield:

Multivariate Dependence Beyond Shannon Information. - Oren Melamud, Ido Dagan, Jacob Goldberger:

PMI Matrix Approximations with Applications to Neural Language Modeling. - Nuno Fachada, Vitor V. Lopes, Rui Costa Martins, Agostinho C. Rosa:

cf4ocl: a C framework for OpenCL. - Francisco J. Soulignac, Pablo Terlisky:

Integrality of minimal unit circular-arc models. - Christian T. Jacobs, Satya P. Jammy, Neil D. Sandham:

OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures. - H. Sengul, T. O. Benli:

Implementation of Electrical Feedback Technologies in 5 Households in Ankara Turkey. - Nils Kopal:

Volume Raycasting mit OpenCL. - Jonas Schneider:

Analytic Performance Model of a Main-Memory Index Structure. - Tugcan Aktas, Giorgio Quer, Tara Javidi, Ramesh R. Rao:

Mobile Relays for Smart Cities: Mathematical Proofs. - Weichao Qiu, Alan L. Yuille:

UnrealCV: Connecting Computer Vision to Unreal Engine. - Saad Nadeem, Arie E. Kaufman:

Depth Reconstruction and Computer-Aided Polyp Detection in Optical Colonoscopy Video Frames. - Guanghan Ning, Zhi Zhang, Xiaobo Ren, Haohong Wang, Zhihai He:

Joint Audio-Video Fingerprint Media Retrieval Using Rate-Coverage Optimization. - Ghassem Tofighi, Kaamran Raahemifar, Maria Frank, Haisong Gu:

Vision-based Engagement Detection in Virtual Reality. - András Bódis-Szomorú, Hayko Riemenschneider, Luc Van Gool:

Efficient Volumetric Fusion of Airborne and Street-Side Data for Urban Reconstruction. - Nhat V. Q. Truong, Sebastian Stein, Long Tran-Thanh, Nicholas R. Jennings:

Incentive Engineering Framework for Crowdsourcing Systems. - Khushnood Abbas, Mingsheng Shang, Shi-Min Cai, Xiaoyu Shi:

Identifying emerging influential Nodes in evolving networks: Exploiting strength of weak nodes. - Mohammad Javad Shafiee, Alexander Wong:

Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding. - Xue Chen, Daniel M. Kane, Eric Price, Zhao Song:

Fourier-sparse interpolation without a frequency gap. - Xianxu Hou, Ke Sun, Linlin Shen, Guoping Qiu:

Object Specific Deep Learning Feature and Its Application to Face Detection. - Dimitrios Tzionas, Juergen Gall:

Reconstructing Articulated Rigged Models from RGB-D Videos. - Binay K. Bhattacharya, Mordecai J. Golin, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh:

Improved Algorithms for Computing k-Sink on Dynamic Path Networks. - Mohamed A. Alrshah, Mohamed Othman:

Test-Bed based Comparison of Single and Parallel TCP and the Impact Of Parallelism on Throughput and Fairness in Heterogenous Networks. - Hang Yang, Zhongbo Zhang, Yujing Guan:

An Adaptive Parameter Estimation for Guided Filter based Image Deconvolution. - Sang Won Lee, Yiwei Yang, Shiyan Yan, Yujin Zhang, Isabelle Wong, Zhengxi Tan, Miles McGruder, Christopher Homan, Walter S. Lasecki:

Creating Interactive Behaviors in Early Sketch by Recording and Remixing Crowd Demonstrations. - Shuichi Ohno, Teruyuki Shiraki, M. Rizwan Tariq, Masaaki Nagahara:

Rate-Distortion Analysis of Quantizers with Error Feedback. - Ugo Rosolia, Francesco Borrelli:

Learning Model Predictive Control for Iterative Tasks. - Yale Song, Miriam Redi, Jordi Vallmitjana, Alejandro Jaimes:

To Click or Not To Click: Automatic Selection of Beautiful Thumbnails from Videos. - Dekel Tsur:

Succinct data-structure for nearest colored node in a tree. - Sujoy Chatterjee, Anirban Mukhopadhyay, Malay Bhattacharyya:

Consensus of Dependent Opinions. - Md. Siddiqur Rahman Tanveer, M. M. A. Hashem, Md. Kowsar Hossain:

Android Assistant EyeMate for Blind and Blind Tracker. - Jarin Firose Moon, Shamminuj Aktar, M. M. A. Hashem:

Securely Outsourcing Large Scale Eigen Value Problem to Public Cloud. - N. Vinay Kumar, Pratheek, V. Vijaya Kantha, K. N. Govindaraju, D. S. Guru:

Features Fusion for Classification of Logos. - Aravind Sesagiri Raamkumar, Schubert Foo, Natalie Pang:

A Framework for Scientific Paper Retrieval and Recommender Systems. - Albert Y. S. Lam, Longbo Huang, Alonso Silva, Walid Saad:

A multi-layer market for vehicle-to-grid energy trading in the smart grid. - Quentin Bodinier, Faouzi Bader, Jacques Palicot:

Coexistence in 5G: Analysis of Cross-Interference between OFDM/OQAM and Legacy Users. - Quentin Bodinier, Faouzi Bader, Jacques Palicot:

Coexistence of Filter Banks and CP-OFDM: What are the Real Gains? - Bing Liu, Ian R. Lane:

Attention-Based Recurrent Neural Network Models for Joint Intent Detection and Slot Filling. - Emmanuel Ndidi Osegi, Vincent Ike Anireh:

Deviant Learning Algorithm: Learning Sparse Mismatch Representations through Time and Space. - Battista Biggio, Giorgio Fumera, Gian Luca Marcialis, Fabio Roli:

Statistical Meta-Analysis of Presentation Attacks for Secure Multibiometric Systems. - Bing Liu, Ian R. Lane:

Joint Online Spoken Language Understanding and Language Modeling with Recurrent Neural Networks. - Jacob Chan, Kardi Teknomo:

Hub Identification of the Metro Manila Road Network Using PageRank. - Adria Ruiz, Ognjen Rudovic, Xavier Binefa, Maja Pantic:

Multi-instance Dynamic Ordinal Random Fields for Weakly-Supervised Pain Intensity Estimation. - Georgios D. Evangelidis, Radu Horaud:

Joint Registration of Multiple Point Sets. - Wilfredo Badoy Jr., Kardi Teknomo:

Q-Learning with Basic Emotions. - Chelcie Narboneta, Kardi Teknomo:

OpenTripPlanner, OpenStreetMap, General Transit Feed Specification: Tools for Disaster Relief and Recovery. - Allan Lao, Kardi Teknomo:

Multi Exit Configuration of Mesoscopic Pedestrian Simulation. - Alan Gray, Kevin Stratford:

A Lightweight Approach to Performance Portability with targetDP. - Sujoy Chatterjee, Enakshi Kundu, Anirban Mukhopadhyay:

A Markov Chain based Ensemble Method for Crowdsourced Clustering. - Yuqi Chen, Christopher M. Poskitt

, Jun Sun:
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. - Christoph Benzmüller, Dana S. Scott:

Axiomatizing Category Theory in Free Logic. - Mehdi S. M. Sajjadi, Rolf Köhler, Bernhard Schölkopf, Michael Hirsch:

Depth Estimation Through a Generative Model of Light Field Synthesis. - Nicolay Hammer, Ferdinand Jamitzky, Helmut Satzger, Momme Allalen, Alexander Block, Anupam Karmakar, Matthias Brehm, Reinhold Bader, Luigi Iapichino

, Antonio Ragagnin, Vasilios Karakasis, Dieter Kranzlmüller, Arndt Bode, Herbert Huber, Martin Kühn, Rui Machado, Daniel Grünewald, Philipp V. F. Edelmann, Friedrich K. Röpke
, Markus Wittmann, Thomas Zeiser, Gerhard Wellein, Gerald Mathias, Magnus Schwörer, Konstantin Lorenzen, Christoph Federrath
, Ralf Klessen, Karl-Ulrich Bamberg, Hartmut Ruhl, Florian Schornbaum, Martin Bauer, Anand Nikhil, Jiaxing Qi, Harald Klimach, Hinnerk Stüben, Abhishek Deshmukh, Tobias Falkenstein, Klaus Dolag, Margarita Petkova:
Extreme Scale-out SuperMUC Phase 2 - lessons learned. - Aditya Gopalan, Odalric-Ambrym Maillard, Mohammadi Zaki:

Low-rank Bandits with Latent Mixtures. - Hassan AbouEisha

, Shahid Hussain
, Vadim V. Lozin, Jérôme Monnot, Bernard Ries, Victor Zamaraev
:
Upper Domination: towards a dichotomy through boundary properties. - Carlo Comin, Romeo Rizzi:

Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games. - Cosmin Bercea, Andreas K. Maier, Thomas Köhler:

Confidence-aware Levenberg-Marquardt optimization for joint motion estimation and super-resolution. - Qadri J. Hamarsheh, Omar Rawhi Daoud, M. M. Ali, Ahlam A. Damati:

Efficiency enhancement based on allocating bizarre peaks. - Joaquín M. Azagra-Caro, Anabel Fernández-Mesa, Nicolás Robinson-García:

Public scientists contributing to local literary fiction. An exploratory analysis. - Alexandre de Castro:

Quantum one-way permutation over the finite field of two elements. - Jan Broulim, Alexander Ayriyan, Vjaceslav Georgiev:

OpenCL/CUDA algorithms for parallel decoding of any irregular LDPC code using GPU. - Shaul Oron, Tali Dekel, Tianfan Xue, William T. Freeman, Shai Avidan:

Best-Buddies Similarity - Robust Template Matching using Mutual Nearest Neighbors. - Prakash Reddy Putta, John J. Dzak III, Siddhartha R. Jonnalagadda:

Automatically extracting, ranking and visually summarizing the treatments for a disease. - Stefan Rass:

On the Existence of Weak One-Way Functions. - Shu Dong, R. Kannan Mutharasan, Siddhartha Jonnalagadda:

Using Natural Language Processing to Screen Patients with Active Heart Failure: An Exploration for Hospital-wide Surveillance. - Aleksandr Cariow, Galina Cariowa:

A Hardware-Efficient Approach to Computing the Rotation Matrix from a Quaternion. - Ravi Prakash Garg, Shu Dong, Sanjiv J. Shah, Siddhartha R. Jonnalagadda:

A Bootstrap Machine Learning Approach to Identify Rare Disease Patients from Electronic Health Records. - Ravi Prakash Garg, Kalpana Raja, Siddhartha R. Jonnalagadda:

CRTS: A type system for representing clinical recommendations. - Abhishek Kalyan Adupa, Ravi Prakash Garg, Jessica Corona-Cox, Sanjiv J. Shah, Siddhartha R. Jonnalagadda:

An Information Extraction Approach to Prescreen Heart Failure Patients for Clinical Trials. - Kalpana Raja, Andrew J. Sauer, Ravi Prakash Garg, Melanie R. Klerer, Siddhartha R. Jonnalagadda:

A Hybrid Citation Retrieval Algorithm for Evidence-based Clinical Knowledge Summarization: Combining Concept Extraction, Vector Similarity and Query Expansion for High Precision. - Mao Zheng, Qian Xu, Hao Fan:

Modeling The Adaption Rule in Context-aware Systems. - Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch:

Private Link Exchange over Social Graphs. - Ripudaman Singh, Brijesh Kumar Rai, Sanjay Kumar Bose:

A Cross-layer Contention Based Synchronous MAC Protocol for Transmission Delay Reduction in Multi-Hop WSNs. - Sahar Bsaybes, Alain Quilliot, Annegret Katrin Wagler:

Fleet management for autonomous vehicles. - Kristina Lerman, Shang-Hua Teng, Xiaoran Yan:

Network Composition from Multi-layer Data. - Luca Ghiani, David A. Yambay, Valerio Mura, Gian Luca Marcialis, Fabio Roli, Stephanie A. C. Schuckers:

Review of the Fingerprint Liveness Detection (LivDet) competition series: 2009 to 2015. - Xin Wu, Xijie Zeng, Bryan St. Amour, Asish Mukhopadhyay:

Robust Computation of a Minimum Area Convex Polygon Stabber of a Set of Isothetic Line Segments. - Shao-Bing Gao, Ming Zhang, Chao-Yi Li, Yong-Jie Li:

Improving Color Constancy by Discounting the Variation of Camera Spectral Sensitivity. - Saurabh Chauhan, Pankesh Patel:

An IoT application development using IoTSuite. - Emad M. Grais, Gerard Roma, Andrew J. R. Simpson, Mark D. Plumbley:

Discriminative Enhancement for Single Channel Audio Source Separation using Deep Neural Networks. - Reshef Meir:

Random Tie-breaking with Stochastic Dominance. - Meiyue Shao

, Hasan Metin Aktulga, Chao Yang, Esmond G. Ng, Pieter Maris, James P. Vary:
Accelerating Nuclear Configuration Interaction Calculations through a Preconditioned Block Iterative Eigensolver. - Songze Li, Mohammad Ali Maddah-Ali, Amir Salman Avestimehr:

A Unified Coding Framework for Distributed Computing with Straggling Servers. - Silvia L. Pintea, Jan C. van Gemert:

Making a Case for Learning Motion Representations with Phase. - Junyoung Chung, Sungjin Ahn, Yoshua Bengio:

Hierarchical Multiscale Recurrent Neural Networks. - Saman Saadat, Kardi Teknomo:

Automation of Pedestrian Tracking in a Crowded Situation. - Adrian Bulat, Georgios Tzimiropoulos:

Human pose estimation via Convolutional Part Heatmap Regression. - Adalat Jabrayilov, Sven Mallach, Petra Mutzel, Ulf Rüegg, Reinhard von Hanxleden:

Compact Layered Drawings of General Directed Graphs. - Wei Fu, Tim Menzies, Xipeng Shen:

Tuning for Software Analytics: is it Really Necessary? - Ergys Ristani, Francesco Solera, Roger S. Zou, Rita Cucchiara, Carlo Tomasi:

Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking. - Abdullah Almaatouq, Francisco Prieto Castrillo, Alex Pentland:

Mobile Communication Signatures of Unemployment. - Anuj Dawar, Eryk Kopczynski:

Bounded degree and planar spectra. - Armin Eftekhari, Michael B. Wakin, Rachel A. Ward:

MC^2: A Two-Phase Algorithm for Leveraged Matrix Completion. - Oscar Castañeda, Tom Goldstein, Christoph Studer:

Data Detection in Large Multi-Antenna Wireless Systems via Approximate Semidefinite Relaxation. - Shanjun Mao, Da Zhou, Yiping Zhang, Zhihong Zhang:

A Boosting Method to Face Image Super-resolution. - Kardi Teknomo, Yasushi Takeyama, Hajime Inamura:

Review on Microscopic Pedestrian Simulation Model. - T. Aaron Gulliver, Masaaki Harada:

Performance of ternary double circulant, double twistulant, and self-dual codes. - Kardi Teknomo, Yasushi Takeyama, Hajime Inamura:

Tracking System to Automate Data Collection of Microscopic Pedestrian Traffic Flow. - Haobo Wang, Nathan Wong, Tsung-Yi Chen, Richard D. Wesel:

Using Dynamic Allocation of Write Voltage to Extend Flash Memory Lifetime. - Harrie Oosterhuis, Sujith Ravi, Michael Bendersky:

Semantic Video Trailers. - Ezer Osei Yeboah-Boateng

, Francis Edmund Boaten:
Bring-Your-Own-Device (BYOD): An Evaluation of Associated Risks to Corporate Information Security. - Ezer Osei Yeboah-Boateng

, Akosua Boakyewaa Appiah-Nketiah:
Multi-Tenancy Issues with Service Delivery in Developing Economies: Privacy, Trust and Availability Concerns. - Edward Ayebeng Botchway, Ezer Osei Yeboah-Boateng, Titus Ebenezer Kwofie:

Challenges to Integration of Information Technology in Physical Infrastructure Development Processes at the Local Government Level. - Youlong Cao, Meixia Tao, Fan Xu, Kangqi Liu:

Fundamental Storage-Latency Tradeoff in Cache-Aided MIMO Interference Networks. - Y. H. Sharath Kumar, N. Vinay Kumar, D. S. Guru:

Delaunay Triangulation on Skeleton of Flowers for Classification. - Y. H. Sharath Kumar, Manohar N, H. K. Chethan:

Animal Classification System: A Block Based Approach. - Shiva Shahrokhi, Arun Mahadev, Aaron T. Becker:

Algorithms For Shaping a Particle Swarm With a Shared Control Input Using Boundary Interaction. - Hang Yang, Ming Zhu, Zhongbo Zhang, Heyan Huang:

Guided Filter based Edge-preserving Image Non-blind Deconvolution. - Jinmeng Song, Chun Yuan:

Learning Boltzmann Machine with EM-like Method. - Zhiqiang Wei, Jinhong Yuan, Derrick Wing Kwan Ng, Maged Elkashlan, Zhiguo Ding:

A Survey of Downlink Non-orthogonal Multiple Access for 5G Wireless Communication Networks. - Ke Sun, Xianxu Hou, Qian Zhang, Guoping Qiu:

Automatic Visual Theme Discovery from Joint Image and Text Corpora. - Venkatesh, Chanchal Singh Sengar, Kuppanna Rajuk Venugopal, S. S. Iyengar

, L. M. Patnaik:
RRDVCR: Real-Time Reliable Data Delivery Based on Virtual Coordinating Routing for Wireless Sensor Networks. - Sumit Kumar Jha:

Revisiting Calculation of Moments of Number of Comparisons used by the Randomized Quick Sort Algorithm. - Matthijs Douze, Hervé Jégou, Florent Perronnin:

Polysemous codes. - Mule Pavan Kumar Reddy, Srikant Manas Kala, Bheemarjuna Reddy Tamma:

Enhancing Channel Assignment Performance in Wireless Mesh Networks Through Interference Mitigation Functions. - Abhay Gupta, Richik Jaiswal, Sagar Adhikari, Vineeth Balasubramanian:

DAISEE: Dataset for Affective States in E-Learning Environments. - Ali Ben Ammar:

Query Optimization Techniques In Graph Databases. - Sung-Hsien Hsieh, Wei-Jie Liang, Chun-Shien Lu, Soo-Chang Pei:

Distributed Compressive Sensing: Performance Analysis with Diverse Signal Ensembles. - V. B. Surya Prasath

:
Polyp Detection and Segmentation from Video Capsule Endoscopy: A Review. - Beatrice Tomasi, Alexis Decurninge, Maxime Guillaud:

SNOPS: Short Non-Orthogonal Pilot Sequences for Downlink Channel State Estimation in FDD Massive MIMO. - Ioannis Kordonis:

A Model for Partial Kantian Cooperation. - Giovanni Sirio Carmantini, Peter beim Graben, Mathieu Desroches, Serafim Rodrigues:

A modular architecture for transparent computation in Recurrent Neural Networks. - Toni Heidenreich, Michael W. Spratling:

A three-dimensional approach to Visual Speech Recognition using Discrete Cosine Transforms. - Hua Feng, Ruixi Lin:

Sentiment Classification of Food Reviews. - Hoc Thai Nguyen

, Hai Xuan Le:
Path planning and Obstacle avoidance approaches for Mobile robot. - Klaus M. Frahm, Katia Jaffrès-Runser

, Dima Shepelyansky:
Wikipedia mining of hidden links between political leaders. - Haoran Yu, Man Hon Cheung, Lin Gao, Jianwei Huang:

Public Wi-Fi Monetization via Advertising. - Giorgio Roffo, Simone Melzi:

Object Tracking via Dynamic Feature Selection Processes. - Haoran Yu, George Iosifidis, Jianwei Huang, Leandros Tassiulas:

Auction-Based Coopetition between LTE Unlicensed and Wi-Fi. - Michal Lukasik, Kalina Bontcheva, Trevor Cohn, Arkaitz Zubiaga, Maria Liakata, Rob Procter:

Using Gaussian Processes for Rumour Stance Classification in Social Media. - Blesson Varghese, Nan Wang, Sakil Barbhuiya, Peter Kilpatrick, Dimitrios S. Nikolopoulos:

Challenges and Opportunities in Edge Computing. - Yao Lu, Zhirong Yang, Jukka Corander:

Doubly Stochastic Neighbor Embedding on Spheres. - Eric Kee:

Uniform Transformation of Non-Separable Probability Distributions. - Jinyoung Choi, Beom-Jin Lee, Byoung-Tak Zhang:

Human Body Orientation Estimation using Convolutional Neural Network. - Roly Perera, Simon J. Gay:

Behavioural Prototypes. - Reza Farrahi Moghaddam, Yves Lemieux, Mohamed Cheriet:

FairGA: Fair Genetic Algorithm - Beyond Resource-oriented Sustainability for ICT Products and Services. - Lei Hua, Yang Song, Namhee Kim, Christian Laing, Jason T. L. Wang, Tamar Schlick:

CHSalign: A Web Server That Builds upon Junction-Explorer and RNAJAG for Pairwise Alignment of RNA Secondary Structures with Coaxial Helical Stacking. - Domenico Ciuonzo, Danilo Orlando, Luca Pallotta:

On the Maximal Invariant Statistic for Adaptive Radar Detection in Partially-Homogeneous Disturbance with Persymmetric Covariance. - Martha White:

Unifying task specification in reinforcement learning. - Harsh Gupta:

(Lack Of) Representation of Non Western World in process of creation of Web standards. - Da Chen, Wenbin Li, Peter Hall:

Dense Motion Estimation for Smoke. - Manolis Peponakis:

In the Name of the Name: RDF literals, ER Attributes and the Potential to Rethink the Structures and Visualizations of Catalogs. - Tianhua Xu, Gunnar Jacobsen, Sergei Popov, Tiegen Liu, Yimo Zhang, Polina Bayvel:

Analytical Estimation in Differential Optical Transmission Systems Influenced by Equalization Enhanced Phase Noise. - Telmo L. T. Menezes:

Non-Evolutionary Superintelligences Do Nothing, Eventually. - Pedro Cabalar, Carlos Pérez, Gilberto Pérez:

Equilibrium Graphs. - Marco Filetti, Jari Torniainen:

A short review and primer on multimodal psychophysiological applications in work-related human computer interaction. - Nhien-An Le-Khac, Sammer Markos, Michael O'Neill, Anthony Brabazon, M. Tahar Kechadi

:
An efficient customer search tool within an Anti-Money Laundering application implemented on an international bank's dataset. - Meihua Wang, Jiaming Mai, Yun Liang, Tom Z. J. Fu, Zhenjie Zhang, Ruichu Cai:

Component-Based Distributed Framework for Coherent and Real-Time Video Dehazing. - Zhirong Wu, Dahua Lin, Xiaoou Tang:

Deep Markov Random Field for Image Modeling. - Purushotam G. Radadia, Shirish Karande:

Feasibility of Post-Editing Speech Transcriptions with a Mismatched Crowd. - Davide Zambrano, Sander M. Bohté:

Fast and Efficient Asynchronous Neural Computation with Adapting Spiking Neural Networks. - Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros M. Gleixner, Andreas Grever, Marcus Weber, Jakob Witzig:

Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes. - Gennady Pekhimenko:

Practical Data Compression for Modern Memory Hierarchies. - Coralia Cartis, Andrew Thompson:

Quantitative recovery conditions for tree-based compressed sensing. - Etienne Ferrier:

Sampling BSSRDFs with non-perpendicular incidence. - Rahul Goel, Sandeep Soni, Naman Goyal, John Paparrizos, Hanna M. Wallach, Fernando Diaz, Jacob Eisenstein:

The Social Dynamics of Language Change in Online Networks. - Guanbin Li, Yizhou Yu:

Visual Saliency Detection Based on Multiscale Deep CNN Features. - Abhinav Parihar, Nikhil Shukla, Matthew Jerry, Suman Datta, Arijit Raychowdhury:

Vertex coloring of graphs via phase dynamics of coupled oscillatory networks. - Christian Huemmer, Ramón Fernandez Astudillo, Walter Kellermann:

An improved uncertainty decoding scheme with weighted samples for DNN-HMM hybrid systems. - Xueyang Fu, Jiabin Huang, Xinghao Ding, Yinghao Liao, John W. Paisley:

Clearing the Skies: A deep network architecture for single-image rain removal. - Kasper Green Larsen, Jelani Nelson:

Optimality of the Johnson-Lindenstrauss Lemma. - Yue Wang, Alexandra Meliou, Gerome Miklau:

A Consumer-Centric Market for Database Computation in the Cloud. - Zheng Dong, Yan-Yu Zhang, Jian-Kang Zhang, Xiangchuan Gao:

Quadrature Amplitude Modulation Division for Multiuser MISO Broadcast Channels. - Nariman Farsad, Yonathan Murin, Weisi Guo, Chan-Byoung Chae, Andrew W. Eckford, Andrea J. Goldsmith:

On the Impact of Time-Synchronization in Molecular Timing Channels. - Meghana Bande, Venugopal V. Veeravalli, Antti Tölli, Markku J. Juntti:

DoF Analysis in a Two-Layered Heterogeneous Wireless Interference Network. - Christian L. Staudt, Michael Hamann, Ilya Safro, Alexander Gutfraind, Henning Meyerhenke:

Generating Scaled Replicas of Real-World Complex Networks. - Iasonas Kokkinos:

UberNet: Training a 'Universal' Convolutional Neural Network for Low-, Mid-, and High-Level Vision using Diverse Datasets and Limited Memory. - Alankar Kotwal, Ajit Rajwade:

Optimizing Codes for Source Separation in Compressed Video Recovery and Color Image Demosaicing. - Kardi Teknomo, Yasushi Takeyama, Hajime Inamura:

Tracking Algorithm for Microscopic Flow Data Collection. - Robin Allesiardo, Raphaël Féraud, Odalric-Ambrym Maillard:

Random Shuffling and Resets for the Non-stationary Stochastic Bandit Problem. - Rehab K. Qarout, Alessandro Checco, Gianluca Demartini:

The Effect of Class Imbalance and Order on Crowdsourced Relevance Judgments. - Zhixin Liu, Lin Wang, Jinhuan Wang, Daoyi Dong, Xiaoming Hu:

Distributed sampled-data control of nonholonomic multi-robot systems with proximity networks. - Gili Freedman, Sukdith Punjasthitkul, Max Seidman, Mary Flanagan:

Feedback and Timing in a Crowdsourcing Game. - Chuang Wang, Yue M. Lu:

Online Learning for Sparse PCA in High Dimensions: Exact Dynamics and Phase Transitions. - Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:

Energy Transparency for Deeply Embedded Programs. - Stefano Tomasin, Ingmar Land, Frédéric Gabry:

Pilot Contamination Attack Detection by Key-Confirmation in Secure MIMO Systems. - Farbod Farshidian, Diego Pardo, Jonas Buchli:

Sequential Linear Quadratic Optimal Control for Nonlinear Switched Systems. - Weihao Gao, Sewoong Oh, Pramod Viswanath:

Breaking the Bandwidth Barrier: Geometrical Adaptive Entropy Estimation. - Jinming Duan, Christopher R. Tench, Irene Gottlob, Frank Proudlock, Li Bai:

Automated Segmentation of Retinal Layers from Optical Coherent Tomography Images Using Geodesic Distance. - Navid Kardan, Kenneth O. Stanley:

Fitted Learning: Models with Awareness of their Limits. - Linlin Zhao, Xuefen Chi, Shaoshi Yang:

Optimal ALOHA-like Random Access with Heterogeneous QoS Guarantees for Multi-Packet Reception Aided Visible Light Communications. - Thomas Miconi:

Backpropagation of Hebbian plasticity for lifelong learning. - Le Guan, Jun Xu, Shuai Wang, Xinyu Xing, Lin Lin, Heqing Huang, Peng Liu, Wenke Lee:

Exploiting Insurance Telematics for Fun and Profit. - Shanbo Chu, Yong Jiang, Kewei Tu:

Latent Dependency Forest Models. - Kardi Teknomo, Yasushi Takeyama, Hajime Inamura:

Determination of Pedestrian Flow Performance Based on Video Tracking and Microscopic Simulations. - Kai Cai, Renyuan Zhang, Walter Murray Wonham:

Characterizations and Effective Computation of Supremal Relatively Observable Sublanguages. - Jia Liu, Yang Xu, Yulong Shen, Xiaohong Jiang, Tarik Taleb:

On Performance Modeling for MANETs under General Limited Buffer Constraint. - Haishan Ye, Qiaoming Ye, Zhihua Zhang:

Tighter bound of Sketched Generalized Matrix Approximation. - Anand Sriraman, Mandar Kulkarni, Rahul Kumar, Kanika Kalra, Purushotam G. Radadia, Shirish Karande:

Ashwin: Plug-and-Play System for Machine-Human Image Annotation. - Kanji Tanaka:

Deformable Map Matching for Uncertain Loop-Less Maps. - Jiyang Gao, Ram Nevatia:

Learning Action Concept Trees and Semantic Alignment Networks from Image-Description Data. - Yoghitha Ramamoorthi, Abhinav Kumar:

Optimal Resource Allocation for CoMP based Cellular Systems with Base Station Switching. - Yang Xu, Jia Liu, Yulong Shen, Xiaohong Jiang, Tarik Taleb:

Physical Layer Security-Aware Routing and Performance Tradeoffs in WANETs. - Shwan Ashrafi, Chen Feng, Sumit Roy:

Performance Analysis of CSMA with Multi-Packet Reception: The Inhomogeneous Case. - Axel Flinth:

Soft Recovery Through ℓ1, 2 Minimization with Applications in Recovery of Simultaneously Sparse and Low-Rank Matrice. - Klaus-Tycho Foerster, Stefan Schmid, Stefano Vissicchio:

Survey of Consistent Network Updates. - Piers R. Williams, Diego Perez Liebana, Simon M. Lucas:

Ms. Pac-Man Versus Ghost Team CIG 2016 Competition. - Nikita A. Shevchenko, Stanislav A. Derevyanko, Jaroslaw E. Prilepsky, Alex Alvarado, Polina Bayvel, Sergei K. Turitsyn:

A Lower Bound on the Capacity of the Noncentral Chi Channel with Applications to Soliton Amplitude Modulation. - Dohan Kim:

Distributed agent-based automated theorem proving in order-sorted first-order logic. - Liron Schiff, Kashyap Thimmaraju, Stefan Schmid:

Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers. - Jari Torniainen, Andreas Henelius:

A short review and primer on online processing of multiple signal sources in human computer interaction applications. - Mordechai Guri, Yisroel Mirsky, Yuval Elovici:

9-1-1 DDoS: Threat, Analysis and Mitigation. - Byung-Woo Hong, Ja-Keoung Koo, Hendrik Dirks, Martin Burger:

Adaptive Parameter Balancing for Composite Optimization Problems in Imaging. - Alassane Seck, William A. P. Smith, Arnaud Dessein, Bernard Tiddeman, Hannah Dee, Abhishek Dutta:

Ear-to-ear Capture of Facial Intrinsics. - Mohammad H. Jafari, Ebrahim Nasr-Esfahani, Nader Karimi, S. M. Reza Soroushmehr, Shadrokh Samavi, Kayvan Najarian:

Extraction of Skin Lesions from Non-Dermoscopic Images Using Deep Learning. - Julius Sechang Mboli:

Feasibility Study on Disaster Management with Hybrid Network of LTE and Satellite Links. - Parameswaran Kamalaruban:

Improved Optimistic Mirror Descent for Sparsity and Curvature. - Samarth Gupta, Sharayu Moharir:

Request Patterns and Caching for VoD Services with Recommendation Systems. - Ko-Feng Chen, Yen-Cheng Liu, Yu T. Su:

Reduced-Rank Channel Estimation for Large-Scale MIMO Systems. - Sukriti Bhattacharya, Héctor D. Menéndez, Earl T. Barr, David Clark:

ITect: Scalable Information Theoretic Similarity for Malware Detection. - John Boaz Lee, Kardi Teknomo:

Comparison of several short-term traffic speed forecasting models. - Alexander Serb, Ali Khiat, Themistoklis Prodromakis:

Practical Demonstration of a Memristive Fuse. - Rabe Arshad, Sameh Sorour, Hesham ElSawy, Tareq Y. Al-Naffouri

, Mohamed-Slim Alouini
:
Velocity-Aware Handover Management in Two-Tier Cellular Networks. - David P. Ellerman:

What can logic contribute to information theory? - Ido Polak:

The Incentive Ratio in Exchange Economies. - Yinsheng Liu, Xia Chen, Zhangdui Zhong, Bo Ai, Deshan Miao, Zhuyan Zhao, Jingyuan Sun, Yong Teng, Hao Guan:

Waveform Candidates for 5G Networks: Analysis and Comparison. - Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi:

Incremental Consistency Guarantees for Replicated Objects. - Yang Huang, Bruno Clerckx:

Large-Scale Multi-Antenna Multi-Sine Wireless Power Transfer. - Yifan Hu, Martin Nöllenburg:

Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016). - Ankit Kaushik, Shree Krishna Sharma, Symeon Chatzinotas, Björn E. Ottersten, Friedrich K. Jondral:

On the Performance Analysis of Underlay Cognitive Radio Systems: A Deployment Perspective. - Katina Kralevska, Danilo Gligoroski, Rune Erlend Jensen, Harald Øverby:

HashTag Erasure Codes: From Theory to Practice. - Diogo Gonçalves, Miguel Costa, Francisco M. Couto:

A Flexible Recommendation System for Cable TV. - Sabrina Hoppe, Andreas Bulling:

End-to-End Eye Movement Detection Using Convolutional Neural Networks. - Diogo Gonçalves, Miguel Costa, Francisco M. Couto:

A Large-Scale Characterization of User Behaviour in Cable TV. - Michele Tucci, Stefano Riverso, Giancarlo Ferrari-Trecate:

Voltage stabilization in DC microgrids: an approach based on line-independent plug-and-play controllers. - Danilo Gligoroski, Katina Kralevska:

Families of Optimal Binary Non-MDS Erasure Codes. - Daniel Ricao Canelhas, Erik Schaffernicht, Todor Stoyanov, Achim J. Lilienthal, Andrew J. Davison:

An Eigenshapes Approach to Compressed Signed Distance Fields and Their Utility in Robot Mapping. - Joseph Antony, Kevin McGuinness, Noel E. O'Connor, Kieran Moran:

Quantifying Radiographic Knee Osteoarthritis Severity using Deep Convolutional Neural Networks. - Christian Bracher, Sebastian Heinz, Roland Vollgraf:

Fashion DNA: Merging Content and Sales Data for Recommendation and Article Mapping. - Denis Tomè, Luca Bondi, Emanuele Plebani, Luca Baroffio, Danilo Pau, Stefano Tubaro:

Reduced Memory Region Based Deep Convolutional Neural Network Detection. - Jared Culbertson, Dan P. Guralnik, Peter F. Stiller:

Functorial Hierarchical Clustering with Overlaps. - Namyoon Lee:

Interference-Free OFDM: Rethinking OFDM for Interference Networks with Inter-Symbol Interference. - Matteo Bianchi, Jeannette Bohg, Yu Sun:

Latest Datasets and Technologies Presented in the Workshop on Grasping and Manipulation Datasets. - Cristina Muñoz, Liang Wang, Eduardo Solana, Jon Crowcroft:

I(FIB)F: Iterated Bloom Filters for Routing in Named Data Networks. - (Withdrawn) Congestion-Aware Randomized Routing in Autonomous Mobility-on-Demand Systems.

- Junjie Hu, Jean Oh, Anatole Gershman:

Learning Lexical Entries for Robotic Commands using Crowdsourcing. - Shuchao Qin, Fengqiu Wang, Yujie Liu, Qing Wan, Xinran Wang, Yongbing Xu, Yi Shi, Xiaomu Wang, Rong Zhang:

A light-stimulated neuromorphic device based on graphene hybrid phototransistor. - Anurag Arnab, Philip H. S. Torr:

Bottom-up Instance Segmentation using Deep Higher-Order CRFs. - Patrick Rodler:

Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging. - Fei Shen, Kenza Hamidouche, Ejder Bastug, Mérouane Debbah:

A Stackelberg Game for Incentive Proactive Caching Mechanisms in Wireless Networks. - S. Matthew English, Fabrizio Orlandi, Sören Auer:

Disintermediation of Inter-Blockchain Transactions. - Ali Sedighimanesh, Mohammad Sedighimanesh, Javad Baqeri:

Cutting down energy usage in wireless sensor networks using Duty Cycle technique and multi-hop routing. - Carl Vondrick, Hamed Pirsiavash, Antonio Torralba:

Generating Videos with Scene Dynamics. - Wei Fu, Vivek Nair, Tim Menzies:

Why is Differential Evolution Better than Grid Search for Tuning Defect Predictors? - Hamidreza Alvari, Alireza Hajibagheri, Gita Sukthankar, Kiran Lakkaraju:

Identifying Community Structures in Dynamic Networks. - Guanghui Wang, John S. Zelek, Q. M. Jonathan Wu, Ruzena Bajcsy:

Robust Structure from Motion in the Presence of Outliers and Missing Data. - Mong-Jen Kao, Hai-Lun Tu, D. T. Lee:

O(f) Bi-Approximation for Capacitated Covering with Hard Capacities. - Sean Gilpin, Chia-Tung Kuo, Tina Eliassi-Rad, Ian Davidson:

Some Advances in Role Discovery in Graphs. - Wing-Kai Hon, Ton Kloks, Fu-Hong Liu, Hsiang-Hsuan Liu:

Convex Independence in Permutation Graphs. - Matthew Kokshoorn, He Chen, Yonghui Li, Branka Vucetic:

RACE: A Rate Adaptive Channel Estimation Approach for Millimeter Wave MIMO Systems. - Charles Jordan, Lukasz Kaiser:

Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers. - Xueyang Wang, Jerry Backer:

SIGDROP: Signature-based ROP Detection using Hardware Performance Counters. - Neal Barcelo, Peter Kling, Michael Nugent, Kirk Pruhs:

Optimal Speed Scaling with a Solar Cell. - Polla Fattah, Uwe Aickelin, Christian Wagner:

Measuring Player's Behaviour Change over Time in Public Goods Game. - Satya Jayadev P., Nirav P. Bhatt, Ramkrishna Pasumarthy, Aravind Rajeswaran:

Identifying Topology of Power Distribution Networks Based on Smart Meter Data. - Mohammad Sedighimanesh, Javad Baqeri, Ali Sedighimanesh:

Increasing Wireless Sensor Networks Lifetime with New Method. - Anukriti Bansal, Sumantra Dutta Roy, Gaurav Harit:

Extraction of Layout Entities and Sub-layout Query-based Retrieval of Document Images. - Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp. - Amin Fehri, Santiago Velasco-Forero, Fernand Meyer:

Automatic Selection of Stochastic Watershed Hierarchies. - Clément Lecat, Corinne Lucet, Chu-Min Li:

Sum Coloring : New upper bounds for the chromatic strength. - Vlad Sandulescu, Martin Ester:

Detecting Singleton Review Spammers Using Semantic Similarity. - Vlad Sandulescu, Mihai Chiru:

Predicting the future relevance of research institutions - The winning solution of the KDD Cup 2016. - Joseph Antony, Kevin McGuinness, Neil Welch, Joe Coyle, Andy Franklyn-Miller, Noel E. O'Connor, Kieran Moran:

An Interactive Segmentation Tool for Quantifying Fat in Lumbar Muscles using Axial Lumbar-Spine MRI. - Sebastian Ruder, Parsa Ghaffari, John G. Breslin:

A Hierarchical Model of Reviews for Aspect-based Sentiment Analysis. - Sebastian Ruder, Parsa Ghaffari, John G. Breslin:

INSIGHT-1 at SemEval-2016 Task 4: Convolutional Neural Networks for Sentiment Classification and Quantification. - Sebastian Ruder, Parsa Ghaffari, John G. Breslin:

INSIGHT-1 at SemEval-2016 Task 5: Deep Learning for Multilingual Aspect-based Sentiment Analysis. - Riccardo Spolaor, Laila Abudahi, Veelasha Moonsamy, Mauro Conti, Radha Poovendran:

No Free Charge Theorem: a Covert Channel via USB Charging Cable on Mobile Devices. - Sylvain Salvati, Igor Walukiewicz:

Typing weak MSOL properties. - Mauro Conti, Elia Dal Santo, Riccardo Spolaor:

DELTA: Data Extraction and Logging Tool for Android. - Andrew Gilbert, Richard Bowden:

Image and Video Mining through Online Learning. - Gabriel B. Paranhos da Costa, Welinton A. Contato, Tiago S. Nazaré, João do E. S. Batista Neto, Moacir Ponti:

An empirical study on the effects of different types of noise in image classification tasks. - (Withdrawn) Arachneum: Blockchain meets Distributed Web.

- Wanrong Tang, Suzhi Bi, Ying Jun Zhang:

Online Charging Scheduling Algorithms of Electric Vehicles in Smart Grid: An Overview. - Haris Aziz:

Pareto Optimal Allocation under Uncertain Preferences. - Nicolas Jaccard, Thomas W. Rogers, Edward J. Morton, Lewis D. Griffin:

Automated detection of smuggled high-risk security threats using Deep Learning. - Alexei Bastidas, Edward Dixon, Chris Loo, John Ryan:

Harassment detection: a benchmark on the #HackHarassment dataset. - Xi Peng, Qiong Hu, Junzhou Huang, Dimitris N. Metaxas:

Track Facial Points in Unconstrained Videos. - Chiara Pielli, Alessandro Biason, Andrea Zanella, Michele Zorzi:

Joint Optimization of Energy Efficiency and Data Compression in TDMA-Based Medium Access Control for the IoT - Extended Version. - Jovian Lin, Richard Jayadi Oentaryo, Ee-Peng Lim, Casey Vu, Adrian Vu, Agus Trisnajaya Kwee:

Where is the Goldmine? Finding Promising Business Locations through Facebook Data Analytics. - Tianyu Qiu, Daniel P. Palomar:

Undersampled Phase Retrieval via Majorization-Minimization. - Milica Gasic, Nikola Mrksic, Lina Maria Rojas-Barahona, Pei-Hao Su, Stefan Ultes, David Vandyke, Tsung-Hsien Wen, Steve J. Young:

Dialogue manager domain adaptation using Gaussian process reinforcement learning. - Adam Bouland, Lijie Chen, Dhiraj Holden, Justin Thaler, Prashant Nalini Vasudevan:

On SZK and PP. - Jeongseok Lee, C. Karen Liu, Frank C. Park, Siddhartha S. Srinivasa:

A Linear-Time Variational Integrator for Multibody Systems. - Thomas N. Kipf, Max Welling:

Semi-Supervised Classification with Graph Convolutional Networks. - Andrew W. Eckford, Peter J. Thomas:

Entropy of the Sum of Two Independent, Non-Identically-Distributed Exponential Random Variables. - Dieter Vanderelst, Alan F. T. Winfield:

An architecture for ethical robots. - Muzammil Behzad, Mudassir Masood, Tarig Ballal, Maha Shadaydeh, Tareq Y. Al-Naffouri

:
Image Denoising Via Collaborative Support-Agnostic Recovery. - Florian Tramèr, Fan Zhang, Ari Juels, Michael K. Reiter, Thomas Ristenpart:

Stealing Machine Learning Models via Prediction APIs. - Luiza Nacshon, Rami Puzis, Amparo Sanmateho:

Pinpoint Influential Posts and Authors. - Omar Hussain, Amir Ghiasi, Xiaopeng Shaw Li, Zhen Sean Qian:

Freeway Lane Management Approach In Mixed Traffic Environment with Connected Autonomous Vehicles. - Andree Linke, Nhien-An Le-Khac:

Control Flow Change in Assembly as a Classifier in Malware Analysis. - Ruichi Yu, Xi Chen, Vlad I. Morariu, Larry S. Davis:

The Role of Context Selection in Object Detection. - Rob Witteman, Arjen Meijer, M. Tahar Kechadi

, Nhien-An Le-Khac:
Toward a new tool to extract the Evidence from a Memory Card of Mobile phones. - Robert van Voorst, M. Tahar Kechadi

, Nhien-An Le-Khac:
Forensics Acquisition of IMVU: A Case Study. - Kevin Deweese, John R. Gilbert, Gary L. Miller, Richard Peng, Hao Ran Xu, Shen Chen Xu:

An Empirical Study of Cycle Toggling Based Laplacian Solvers. - Salam Khalifa, Nizar Habash, Dana Abdulrahim, Sara Hassan:

A Large Scale Corpus of Gulf Arabic. - Ali Fatih Demir, Qammer H. Abbasi, Zekeriyya Esad Ankarali, Erchin Serpedin, Hüseyin Arslan:

Numerical Characterization of In Vivo Wireless Communication Channels. - Bert Busstra, Nhien-An Le-Khac, M. Tahar Kechadi

:
Android and Wireless data-extraction using Wi-Fi. - Vasuki Narasimha Swamy, Sahaana Suri, Paul Rigge, Matthew Weiner, Gireeja Ranade, Anant Sahai, Borivoje Nikolic:

Cooperative Communication for Control over Wireless. - Nima Khademi Kalantari, Ting-Chun Wang, Ravi Ramamoorthi:

Learning-Based View Synthesis for Light Field Cameras. - Fan Cai, Nhien-An Le-Khac, M. Tahar Kechadi

:
An Integrated Classification Model for Financial Data Mining. - Haoyu Song, Jun Gong, Hongfei Chen:

Network Map Reduce. - Qifa Yan, Xiaohu Tang, Qingchun Chen, Minquan Cheng:

Placement Delivery Array Design through Strong Edge Coloring of Bipartite Graphs. - Rahul Parhi, Michael Schliep, Nicholas Hopper:

MP3: A More Efficient Private Presence Protocol. - Nicolas Usunier, Gabriel Synnaeve, Zeming Lin, Soumith Chintala:

Episodic Exploration for Deep Deterministic Policies: An Application to StarCraft Micromanagement Tasks. - Takuto Hirukawa, Marco Visentini Scarzanella, Hiroshi Kawasaki, Ryo Furukawa, Shinsaku Hiura:

Simultaneous independent image display technique on multiple 3D objects. - Héctor Pérez López-Portillo

:
Knowledge management and measurement in Public Sector Organizations. - Shintaro Narisada, Diptarama, Kazuyuki Narisawa, Shunsuke Inenaga, Ayumi Shinohara:

Computing longest single-arm-gapped palindromes in a string. - Martín Abadi, Bruno Blanchet

, Cédric Fournet:
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. - Jirí Fiala, Pavel Klavík, Jan Kratochvíl, Roman Nedela:

Algorithmic Aspects of Regular Graph Covers. - Andrea Corradini

, Hans Zantema:
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents] - Daniele Sgandurra, Luis Muñoz-González, Rabih Mohsen, Emil C. Lupu:

Automated Dynamic Analysis of Ransomware: Benefits, Limitations and use for Detection. - Keting Zhang, Liqing Zhang:

Rectifier Neural Network with a Dual-Pathway Architecture for Image Denoising. - Hai-Chuan Song, Nicolas Ray, Dmitry Sokolov, Sylvain Lefebvre:

Anti-aliasing for fused filament deposition. - Abduljalil Mohamed, Khaled Bashir Shaban, Amr Mohamed:

Directed Graph-based Wireless EEG Sensor Channel Selection Approach for Cognitive Task Classification. - Ken Ivanov:

Autonomous collision attack on OCSP services. - Malay Bhattacharyya:

Dropout Prediction in Crowdsourcing Markets. - Montserrat Hermo, Ana Ozaki:

New Steps on the Exact Learning of CNF. - Yemin Shi, Yonghong Tian, Yaowei Wang, Tiejun Huang:

Sequential Deep Trajectory Descriptor for Action Recognition with Three-stream CNN. - Michael Elad, Peyman Milanfar:

Style-Transfer via Texture-Synthesis. - Weiyao Lin, Yang Zhou, Hongteng Xu, Junchi Yan, Mingliang Xu, Jianxin Wu, Zicheng Liu:

A Tube-and-Droplet-based Approach for Representing and Analyzing Motion Trajectories. - Thomas Wilke:

ω-Automata. - Milad Moradi, Nasser Ghadiri:

Quantifying the informativeness for biomedical text summarization: An itemset mining method. - Filippo Maria Bianchi, Lorenzo Livi, Cesare Alippi, Robert Jenssen:

Multiplex visibility graphs to investigate recurrent neural networks dynamics. - Connor Schenck, Dieter Fox:

Guided Policy Search with Delayed Senor Measurements. - Maciej Wielgosz

, Marcin Pietron:
Noisy video classification with Spatial Pooler of Hierarchical Temporal Memory. - Zhaoyang Shao, Davood Rafiei, Themis Palpanas:

Error-tolerant Exemplar Queries on RDF Graphs. - Andrea Censi:

Handling Uncertainty in Monotone Co-Design Problems. - Shreyansh A. Prajapati, Manish K. Gupta:

On Some Universally Good Fractional Repetition Codes. - Weiwei Wan, Kensuke Harada, Kazuyuki Nagata:

Assembly Sequence Planning for Motion Planning. - Amr Abdelaziz, Ron Burton, Can Emre Koksal:

Message Authentication and Secret Key Agreement in VANETs via Angle of Arrival. - Manoj Changat, Prasanth G. Narasimha-Shenoi, Mary Shallet T. J, R. Ram Kumar:

Directed graphs and its Boundary Vertices. - Junbo Jake Zhao, Michaël Mathieu, Yann LeCun:

Energy-based Generative Adversarial Network. - Maani Ghaffari Jadidi, Mitesh Patel, Jaime Valls Miró:

Gaussian Processes Online Observation Classification for RSSI-based Low-cost Indoor Positioning Systems. - Teruaki Kitasuka, Masahiro Iida:

A Heuristic Method of Generating Diameter 3 Graphs for Order/Degree Problem. - Julian Nagele

, Vincent van Oostrom
, Christian Sternagel:
A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the λβ-calculus in Nominal Isabelle. - Davide Modolo, Vittorio Ferrari:

Learning Semantic Part-Based Models from Google Images. - Maxime Ferreira Da Costa, Wei Dai:

On Super-Resolution in Multirate Sampling Systems. - Volker Tresp, Maximilian Nickel:

Relational Models. - Mathieu Guillame-Bert:

Honey: A dataflow programming language for the processing, featurization and analysis of multivariate, asynchronous and non-uniformly sampled scalar symbolic time sequences. - Diego Gabriel Krivochen:

Divide and...conquer? On the limits of algorithmic approaches to syntactic semantic structure. - Daniele Zonetti, Romeo Ortega, Johannes Schiffer:

A tool for stability and power sharing analysis of a generalized class of droop controllers for high-voltage direct-current transmission systems. - Chongwen Huang, Lei Liu, Chau Yuen, Sumei Sun:

A LSE and Sparse Message Passing-Based Channel Estimation for mmWave MIMO Systems. - Milad Moradi:

A centralized reinforcement learning method for multi-agent job scheduling in Grid. - Mingming Cai, Kang Gao, Ding Nie, Bertrand M. Hochwald, J. Nicholas Laneman, Huang Huang, Kunpeng Liu:

Effect of Wideband Beam Squint on Codebook Design in Phased-Array Wireless Systems. - Kaihong Lu, Gangshan Jing, Long Wang:

Distributed algorithms for solving convex inequalities. - Amira Alloum, Sian-Jheng Lin, Tareq Y. Al-Naffouri

:
On locality of Generalized Reed-Muller codes over the broadcast erasure channel. - Nikita Jain, Swati Gupta, Dhaval Patel:

E3 : Keyphrase based News Event Exploration Engine. - Sungwoo Park, Jeonghun Park, Ali Yazdan Panah, Robert W. Heath Jr.:

Optimal User Loading in Massive MIMO Systems with Regularized Zero Forcing Precoding. - Federico Aschieri:

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC. - Takahiro Kawabe, Kyoshiro Sasaki, Keiko Ihaya, Yuki Yamada:

When categorization-based stranger avoidance explains the uncanny valley: A comment on MacDorman & Chattopadhyay (2016). - Ronan Collobert, Christian Puhrsch, Gabriel Synnaeve:

Wav2Letter: an End-to-End ConvNet-based Speech Recognition System. - Ella Rabinovich, Sergiu Nisioi, Noam Ordan, Shuly Wintner:

On the Similarities Between Native, Non-native and Translated Texts. - Ella Rabinovich, Shuly Wintner:

Unsupervised Identification of Translationese. - Yunpeng Zhao, Charles Weko:

Network Inference from Grouped Data. - Andreas I. Koutrouvelis, Richard C. Hendriks, Richard Heusdens, Jesper Jensen:

Relaxed Binaural LCMV Beamforming. - Ali Fatih Demir, Hüseyin Arslan, Ismail Uysal:

Bio-Inspired Filter Banks for SSVEP-based Brain-Computer Interfaces. - Noam Brown, Tuomas Sandholm:

Reduced Space and Faster Convergence in Imperfect-Information Games via Regret-Based Pruning. - Nan Ye, Adhiraj Somani, David Hsu, Wee Sun Lee:

DESPOT: Online POMDP Planning with Regularization. - Jaewoo Lee, Daniel Kifer:

Postprocessing for Iterative Differentially Private Algorithms. - Yan Sun, Derrick Wing Kwan Ng, Robert Schober:

Joint Power and Subcarrier Allocation for Multicarrier Full-Duplex Systems. - Xiang Chen, Wei Chen, Joohyun Lee, Ness B. Shroff:

Delay-Optimal Buffer-Aware Scheduling with Adaptive Transmission. - Elaine Sedenberg, Anna Lauren Hoffmann:

Recovering the History of Informed Consent for Data Science and Internet Industry Research Ethics. - R. Sumithra, Mahamad Suhil, D. S. Guru:

Segmentation and Classification of Skin Lesions for Disease Diagnosis. - Nir Ailon:

Paraunitary Matrices, Entropy, Algebraic Condition Number and Fourier Computation. - Yuan Gao, Jiayi Ma, Alan L. Yuille:

Semi-Supervised Sparse Representation Based Classification for Face Recognition with Insufficient Labeled Samples. - Ilkka Kosunen, Benjamin Cowley

:
A short review and primer on respiration in human computer interaction applications. - Yun-Nung Chen, Dilek Hakkani-Tür, Gökhan Tür, Asli Celikyilmaz, Jianfeng Gao, Li Deng:

Knowledge as a Teacher: Knowledge-Guided Structural Attention Networks. - Pradipta Ghosh, He Ren, Reza Banirazi, Bhaskar Krishnamachari, Edmond A. Jonckheere:

Empirical Evaluation of the Heat-Diffusion Collection Protocol for Wireless Sensor Networks. - Paris Smaragdis, Shrikant Venkataramani:

A Neural Network Alternative to Non-Negative Audio Models. - Zhiyuan Zha, Xin Liu, Ziheng Zhou, Xiaohua Huang, Jingang Shi, Zhenhong Shang, Lan Tang, Yechao Bai, Qiong Wang, Xinggan Zhang:

Image denoising via group sparsity residual constraint. - László Mérai:

Predicting the elliptic curve congruential generator. - Charith Perera, Susan Wakenshaw, Tim Baarslag, Hamed Haddadi, Arosha K. Bandara, Richard Mortier, Andy Crabtree, Irene C. L. Ng, Derek McAuley, Jon Crowcroft:

Valorising the IoT Databox: Creating Value for Everyone. - Nishant A. Mehta, Alistair P. Rendell, Anish Varghese, Christfried Webers:

CompAdaGrad: A Compressed, Complementary, Computationally-Efficient Adaptive Gradient Method. - Julius Hannink, Thomas Kautz, Cristian F. Pasluosta, Jens Barth, Samuel Schülein

, Karl-Günter Gaßmann, Jochen Klucken, Björn M. Eskofier:
Stride Length Estimation with Deep Learning. - Daoyuan Wu, Debin Gao, Yingjiu Li, Robert H. Deng:

SecComp: Towards Practically Defending Against Component Hijacking in Android Applications. - Julius Hannink, Thomas Kautz, Cristian F. Pasluosta, Jochen Klucken, Björn M. Eskofier:

Sensor-based Gait Parameter Extraction with Deep Convolutional Neural Networks. - Jan van Eijck, Malvin Gattinger

, Yanjing Wang:
Knowing Values and Public Inspection. - Thomas Sternagel, Christian Sternagel:

Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs. - Thomas Sternagel, Christian Sternagel:

A Characterization of Quasi-Decreasingness. - Xuhui Li:

A Meaning-oriented Approach to Semantic Data Modeling. - Johannes Hofmann, Dietmar Fey:

An ECM-based energy-efficiency optimization approach for bandwidth-limited streaming kernels on recent Intel Xeon processors. - Thomas H. Ward:

A Threshold-based Scheme for Reinforcement Learning in Neural Networks. - Zhou Zhou, Jun Fang:

Channel Estimation for Millimeter Wave MIMO-OFDM Systems via Low-Rank Tensor Decomposition. - Anna K. Jordanous, Bill Keller:

Modelling Creativity: Identifying Key Components through a Corpus-Based Approach. - Michael Lange, Navjot Kukreja, Mathias Louboutin, Fabio Luporini, Felippe Vieira, Vincenzo Pandolfo, Paulius Velesko, Paulius Kazakas, Gerard Gorman:

Devito: Towards a generic Finite Difference DSL using Symbolic Python. - Dejan Vukobratovic, Dusan Jakovetic, Vitaly Skachek, Dragana Bajovic, Dino Sejdinovic, Gunes Karabulut-Kurt, Camilla Hollanti, Ingo Fischer:

CONDENSE: A Reconfigurable Knowledge Acquisition Architecture for Future 5G IoT. - Ahmed El Kholy, Nizar Habash:

Morphological Constraints for Phrase Pivot Statistical Machine Translation. - Manolis Peponakis:

Libraries' Metadata as Data in the Era of the Semantic Web: Modeling a Repository of Master Theses and PhD Dissertations for the Web of Data. - Manlio Bacco, Tomaso de Cola, Giovanni Giambene, Alberto Gotta:

M2M Traffic via Random Access Satellite links: Interactions between Transport and MAC Layers. - Priyadarshini Panda, Aayush Ankit, Parami Wijesinghe, Kaushik Roy:

FALCON: Feature Driven Selective Classification for Energy-Efficient Image Recognition. - Archontis Politis, Ville Pulkki:

Acoustic intensity, energy-density and diffuseness estimation in a directionally-constrained region. - Jianxin Shen, Dashan Shang, Yisheng Chai, Yue Wang, Junzhuang Cong, Shipeng Shen, Liqin Yan, Wenhong Wang, Young Sun:

Nonvolatile Multi-level Memory and Boolean Logic Gates Based on a Single Memtranstor. - Muhammet Bastan, Syed Saqib Bukhari, Thomas M. Breuel:

Active Canny: Edge Detection and Recovery with Open Active Contour Models. - Lucien Bacharach, Mohammed Nabil El Korso, Alexandre Renaux, Jean-Yves Tourneret:

A Bayesian Lower Bound for Parameter Estimation of Poisson Data Including Multiple Changes (extended). - Sayantan Dasgupta:

Multi-Label Learning with Provable Guarantee. - Christian Sternagel:

The Generalized Subterm Criterion in TTT2. - Zherong Pan, Dinesh Manocha:

Feedback Motion Planning for Liquid Transfer using Supervised Learning. - Fábio Gagliardi Cozman:

First-Order Bayesian Network Specifications Capture the Complexity Class PP. - Gerhard Brewka, Stefan Ellmauthaler

, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. - Jan Chorowski, Michal Zapotoczny, Pawel Rychlikowski:

Read, Tag, and Parse All at Once, or Fully-neural Dependency Parsing. - Vivek K. Singh, Rishav R. Agarwal:

Cooperative Phoneotypes: Exploring Phone-based Behavioral Markers of Cooperation. - Sundeep Prabhakar Chepuri, Sijia Liu, Geert Leus, Alfred O. Hero III:

Learning Sparse Graphs Under Smoothness Prior. - Deanna C. Pineau:

Math-Aware Search Engines: Physics Applications and Overview. - Markus Krötzsch, Tomás Masopust, Michaël Thomazo:

Complexity of Universality and Related Problems for Partially Ordered NFAs. - Hossein Ziaei Nafchi, Atena Shahkolaei, Rachid Hedjam, Mohamed Cheriet:

MUG: A Parameterless No-Reference JPEG Quality Evaluator Robust to Block Size and Misalignment. - Ye Tian, Long Wang:

Opinion consensus in social networks with stubborn agents: an issue-based perspective. - Arman Sharifi Kolarijani, Manuel Mazo Jr., Tamás Keviczky:

Technical Report: Timing Abstraction of Perturbed LTI systems with L2-based Event-Triggering Mechanism. - Konstantinos Liontis, Evaggelia Pitoura:

Boosting Nodes for Improving the Spread of Influence. - Shantenu Jha, Matteo Turilli:

A Building Blocks Approach towards Domain Specific Workflow Systems? - Ritambhara Singh, Jack Lanchantin, Gabriel Robins, Yanjun Qi:

Transfer String Kernel for Cross-Context DNA-Protein Binding Prediction. - Ljiljana Simic, Andra M. Voicu, Petri Mähönen, Marina Petrova, Jean Pierre De Vries:

LTE in Unlicensed Bands is neither Friend nor Foe to Wi-Fi. - Aäron van den Oord, Sander Dieleman, Heiga Zen, Karen Simonyan, Oriol Vinyals, Alex Graves, Nal Kalchbrenner, Andrew W. Senior

, Koray Kavukcuoglu:
WaveNet: A Generative Model for Raw Audio. - Sheng Zou, Alina Zare:

Hyperspectral Unmixing with Endmember Variability using Partial Membership Latent Dirichlet Allocation. - Angélique Drémeau, Cédric Herzet:

DOA estimation in structured phase-noisy environments: technical report. - Wayne Xiong, Jasha Droppo, Xuedong Huang, Frank Seide, Mike Seltzer, Andreas Stolcke, Dong Yu, Geoffrey Zweig:

The Microsoft 2016 Conversational Speech Recognition System. - Abhimanyu Dubey, Jayadeva, Sumeet Agarwal:

Examining Representational Similarity in ConvNets and the Primate Visual Cortex. - James Thewlis, Shuai Zheng, Philip H. S. Torr, Andrea Vedaldi:

Fully-Trainable Deep Matching. - Zhenheng Yang, Ram Nevatia:

A Multi-Scale Cascade Fully Convolutional Network Face Detector. - Dominik Peters:

Single-Peakedness and Total Unimodularity: Efficiently Solve Voting Problems Without Even Trying. - Babak Salimi, Dan Suciu:

ZaliQL: A SQL-Based Framework for Drawing Causal Inference from Big Data. - Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor:

Logical Induction. - Julien Weissenberg, Hayko Riemenschneider, Ralf Dragon, Luc Van Gool:

Dilemma First Search for Effortless Optimization of NP-Hard Problems. - Yu Tsunoda, Yuichiro Fujiwara, Hana Ando, Peter Vandendriessche:

Bounds on separating redundancy. - Jun-Yan Zhu, Philipp Krähenbühl, Eli Shechtman, Alexei A. Efros:

Generative Visual Manipulation on the Natural Image Manifold. - Tao Chen, Rami Bahsoon:

Survey and Taxonomy of Self-Aware and Self-Adaptive Autoscaling Systems in the Cloud. - Dennis Ogbe, David J. Love, Vasanthan Raghavan:

Noisy Beam Alignment Techniques for Reciprocal MIMO Channels. - Zhi Tian, Weilin Huang, Tong He, Pan He, Yu Qiao:

Detecting Text in Natural Image with Connectionist Text Proposal Network. - Rahul Krishna, Tim Menzies, Lucas Layman:

Recommendations for Intelligent Code Reorganization. - Jesus Romero, Pablo López, José Luis Vázquez Noguera, Cristian Cappo, Diego P. Pinto-Roa, Cynthia Villalba:

Integrated, reliable and cloud-based personal health record: A scoping review. - Wentao Luan, Yezhou Yang, Cornelia Fermüller, John S. Baras:

Reliable Attribute-Based Object Recognition Using High Predictive Value Classifiers. - Ren Mao, John S. Baras, Yezhou Yang, Cornelia Fermüller:

Co-active Learning to Adapt Humanoid Movement for Manipulation. - Yuanrui Zhang:

Wireless Security with Beamforming Technique. - Bishan Yang, Tom M. Mitchell:

Joint Extraction of Events and Entities within a Document Context. - Ian Mackie:

Compiling Process Networks to Interaction Nets. 5-14 - Ian Mackie, Shinya Sato

:
In-place Graph Rewriting with Interaction Nets. 15-24 - Georg Moser

, Maria Anna Schett:
Kruskal's Tree Theorem for Acyclic Term Graphs. 25-34 - Detlef Plump:

Reasoning about Graph Programs. 35-44 - Anton Salikhmetov

:
Token-passing Optimal Reduction with Embedded Read-back. 45-54 - Johannes Waldmann:

Efficient Completion of Weighted Automata. 55-62 - Shantenu Jha, Daniel S. Katz, André Luckow, Omer F. Rana, Yogesh Simmhan, Neil P. Chue Hong:

Introducing Distributed Dynamic Data-intensive (D3) Science: Understanding Applications and Infrastructure. - Domenico Cantone, Giorgio Delzanno:

Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents] - Yongcan Cao, Eduardo Pasiliao:

Towards Energy-Efficient Communication Management in the Distributed Control of Networked Cyber-Physical Systems. - Wei Shen, Kai Zhao, Yuan Jiang, Yan Wang, Xiang Bai, Alan L. Yuille:

DeepSkeleton: Learning Multi-task Scale-associated Deep Side Outputs for Object Skeleton Extraction in Natural Images. - Tong Wang, Ping Chen, Kevin Michael Amaral, Jipeng Qiang:

An Experimental Study of LSTM Encoder-Decoder Model for Text Simplification. - Sébastien Arnold:

A Greedy Algorithm to Cluster Specialists. - Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara:

Longest Common Subsequence in at Least k Length Order-isomorphic Substrings. - Hanjun Dai, Yichen Wang, Rakshit Trivedi, Le Song:

Recurrent Coevolutionary Feature Embedding Processes for Recommendation. - Clément Godard, Oisin Mac Aodha, Gabriel J. Brostow:

Unsupervised Monocular Depth Estimation with Left-Right Consistency. - Kô Sakai, Yutaka Sato:

Construction of Gray maps for groups of order 16. - Philipp Tiefenbacher, Gerhard Rigoll:

Blending Entropy: A Term for Addressing Information Density in Mediated Reality. - Mohammad Lari:

Power Allocation and Effective Capacity of AF Successive Relays. - Hawraa Salami, Bicheng Ying, Ali H. Sayed:

Social Learning over Weakly-Connected Graphs. - Haoyang Wu:

A costly Bayesian implementable social choice function may not be truthfully implementable. - Muhammad Ikram Ashraf, Mehdi Bennis, Cristina Perfecto, Walid Saad:

Dynamic Proximity-aware Resource Allocation in Vehicle-to-Vehicle (V2V) Communications. - Omar Richardson:

Large-scale multiscale particle models in inhomogeneous domains: modelling and implementation. - Michel Dubois

, Eric Filiol:
Hacking of the AES with Boolean Functions. - Abbas Bazzi, Samuel Fiorini, Sangxia Huang, Ola Svensson:

Small Extended Formulation for Knapsack Cover Inequalities from Monotone Circuits. - Inge Alexander Raknes, Bjørn Fjukstad, Lars Ailo Bongo:

nsroot: Minimalist Process Isolation Tool Implemented With Linux Namespaces. - Yannick Léo, Márton Karsai, Carlos Sarraute, Eric Fleury:

Correlations of consumption patterns in social-economic networks. - Stephen James, Edward Johns:

3D Simulation for Robot Arm Control with Deep Q-Learning. - Lin Zhang, Wenli Zhou, Wanbin Tang, Gang Wu, Zhi Chen:

Estimating the Distance Between Macro Base Station and Users in Heterogeneous Networks. - Ulle Endriss, Umberto Grandi:

Graph Aggregation. - Shaoshi Chen, Manuel Kauers:

Some Open Problems related to Creative Telescoping. - Chi Xu, Lakshmi Narasimhan Govindarajan, Yu Zhang, Li Cheng:

Lie-X: Depth Image Based Articulated Object Pose Estimation, Tracking, and Action Recognition on Lie Groups. - Kyuyeon Hwang, Wonyong Sung:

Character-Level Language Modeling with Hierarchical Recurrent Neural Networks. - Jinshan Zeng, Tao He, Mingwen Wang:

A Proximal Gradient Algorithm for Decentralized Composite Optimization over Directed Networks. - Domen Tabernik, Matej Kristan, Jeremy L. Wyatt, Ales Leonardis:

Towards Deep Compositional Networks. - Hyunseok Park, Christopher L. Magee:

Quantitative identification of technological discontinuities using simulation modeling. - Qing Tian, Songcan Chen, Xiaoyang Tan:

A Unified Gender-Aware Age Estimation. - Elena Boshkovska, Derrick Wing Kwan Ng, Nikola Zlatanov, Alexander Koelpin, Robert Schober:

Robust Resource Allocation for MIMO Wireless Powered Communication Networks Based on a Non-linear EH Model. - Karthik C. S.:

Did the Train Reach its Destination: The Complexity of Finding a Witness. - Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling:

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. - Çaglar Aytekin, Alexandros Iosifidis, Moncef Gabbouj:

Probabilistic Saliency Estimation. - Shervin Minaee, Yao Wang:

Image Decomposition Using a Robust Regression Approach. - Katrin Sjöberg, Peter Andres, Teodor Buburuzan, Achim Brakemeier:

C-ITS Deployment in Europe - Current Status and Outlook. - Xin Liu, Meina Kan, Wanglong Wu, Shiguang Shan, Xilin Chen:

VIPLFaceNet: An Open Source Deep Face Recognition SDK. - Yu Jin, Joseph F. JáJá, Rong Chen, Edward H. Herskovits:

Scalable Algorithms for Generating and Analyzing Structural Brain Networks with a Varying Number of Nodes. - Francisco Massa, Renaud Marlet, Mathieu Aubry:

Crafting a multi-task CNN for viewpoint estimation. - Reza Faghih Mirzaee, Niloofar Farahani:

Design of a Ternary Edge-Triggered D Flip-Flap-Flop for Multiple-Valued Sequential Logic. - Kevin R. Moon, Morteza Noshad, Salimeh Yasaei Sekeh, Alfred O. Hero III:

Information Theoretic Structure Learning with Confidence. - Erel Segal-Halevi, Shmuel Nitzan, Avinatan Hassidim, Yonatan Aumann:

Envy-Free Cake-Cutting in Two Dimensions. - Alireza Hajibagheri, Gita Sukthankar, Kiran Lakkaraju:

A Holistic Approach for Predicting Links in Coevolving Multilayer Networks. - Li Yang Ku, Erik G. Learned-Miller, Roderic A. Grupen:

Associating Grasping with Convolutional Neural Network Features. - Eric Laukien, Richard Crowder, Fergal Byrne:

Feynman Machine: The Universal Dynamical Systems Computer. - Ozan Caglayan, Loïc Barrault, Fethi Bougares:

Multimodal Attention for Neural Machine Translation. - Christopher Parker, Matthew Daiter, Kareem Omar

, Gil Levi, Tal Hassner:
The CUDA LATCH Binary Descriptor: Because Sometimes Faster Means Better. - Tobias Friedrich, Timo Kötzing, Markus Wagner:

A Generic Bet-and-run Strategy for Speeding Up Traveling Salesperson and Minimum Vertex Cover. - Bernardo Alves Furtado, Isaque Daniel Rocha Eberhardt, Alexandre Messa:

SEAL's operating manual: a Spatially-bounded Economic Agent-based Lab. - Zhi-Zhong Chen, Eita Machida, Lusheng Wang:

A Cubic-Time 2-Approximation Algorithm for rSPR Distance. - Avrim Blum, Ioannis Caragiannis, Nika Haghtalab, Ariel D. Procaccia, Eviatar B. Procaccia, Rohit Vaish:

Opting Into Optimal Matchings. - Hung Khanh Nguyen, Amin Khodaei, Zhu Han:

Distributed Algorithms for Peak Ramp Minimization Problem in Smart Grid. - Andrew Pace, Samuel A. Burden:

Decoupled limbs yield differentiable trajectory outcomes through intermittent contact in locomotion and manipulation. - Charith Perera, Ciaran McCormick, Arosha K. Bandara, Blaine A. Price, Bashar Nuseibeh:

Privacy-by-Design Framework for Assessing Internet of Things Applications and Platforms. - Zesong Fei, Bin Li, Shaoshi Yang, Chengwen Xing, Hongbin Chen, Lajos Hanzo:

A Survey of Multi-Objective Optimization in Wireless Sensor Networks: Metrics, Algorithms and Open Problems. - Todd Davies:

Book Review of Susan Greenfield's 'Mind Change: How Digital Technologies Are Leaving Their Mark On Our Brains'. - Ayan Chakrabarti, Kalyan Sunkavalli:

Single-image RGB Photometric Stereo With Spatially-varying Albedo. - Yonglin Cao, Yuan Cao, Fang-Wei Fu:

Left dihedral codes over Galois rings GR(p2, m). - Patrick Ah-Fat, Michael Huth:

Partial Solvers for Parity Games: Effective Polynomial-Time Composition. 1-15 - Carlos Areces

, Raul Fervari
, Guillaume Hoffmann, Mauricio Martel:
Relation-Changing Logics as Fragments of Hybrid Logics. 16-29 - Massimo Benerecetti, Daniele Dell'Erba

, Fabio Mogavero
:
A Delayed Promotion Policy for Parity Games. 30-45 - Nick Bezhanishvili

, Clemens Kupke
:
Games for Topological Fixpoint Logic. 46-60 - Patricia Bouyer, Nicolas Markey

, Daniel Stan
:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. 61-75 - Laura Bozzelli, Alberto Molinari

, Angelo Montanari, Adriano Peron, Pietro Sala
:
Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. 76-90 - Davide Bresolin

, Emilio Muñoz-Velasco
, Guido Sciavicco
:
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. 91-104 - Florian Bruse:

Alternation Is Strict For Higher-Order Modal Fixpoint Logic. 105-119 - Florian Bruse, Daniel Kernberger, Martin Lange:

A Canonical Model Construction for Iteration-Free PDL with Intersection. 120-134 - Manfred Droste, George Rahonis

:
Weighted Linear Dynamic Logic. 149-163 


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID