


default search action
CoRR, August 2016
- Chung-Kai Yu, Mihaela van der Schaar, Ali H. Sayed:
Distributed Learning for Stochastic Generalized Nash Equilibrium Problems. - Mathias Jacquelin, Yili Zheng, Esmond Ng, Katherine A. Yelick:
An Asynchronous Task-based Fan-Both Sparse Cholesky Solver. - Shervin Minaee, AmirAli Abdolrashidi, Yao Wang:
Face Recognition Using Scattering Convolutional Network. - Hao Peng, Rongke Liu, Yi Hou, Ling Zhao:
A Gb/s Parallel Block-based Viterbi Decoder for Convolutional Codes on GPU. - Tuyen X. Tran, Dario Pompili:
Octopus: A Cooperative Hierarchical Caching Strategy for Radio Access Networks. - Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav:
Optimal Learning of Specifications from Examples. - Hoa Khanh Dam, Truyen Tran, John Grundy, Aditya K. Ghose:
DeepSoft: A vision for a deep model of software. - Yanghao Xie, Zhixiang Liu, Sheng Wang, Yuxiu Wang:
Service Function Chaining Resource Allocation: A Survey. - Mohammad Lari, Abbas Mohammadi, Abdolali Abdipour, Inkyu Lee:
Characterization of Effective Capacity in Antenna Selection MIMO Systems. - Oliver Serang:
TRIOT: Faster iteration over multidimensional arrays in C++11. - Nikos Katzouris, Alexander Artikis, Georgios Paliouras:
Online Learning of Event Definitions. - Chenguang Wang, Yangqiu Song, Dan Roth, Ming Zhang, Jiawei Han:
World Knowledge as Indirect Supervision for Document Clustering. - Haitao Mi, Zhiguo Wang, Abe Ittycheriah:
Supervised Attentions for Neural Machine Translation. - Muhammad Moazzam Jawaid:
Segmentation of Soft atherosclerotic plaques using active contour models. - Jack K. Fitzsimons, Michael A. Osborne, Stephen J. Roberts, Joseph F. Fitzsimons:
Improved stochastic trace estimation using mutually unbiased bases. - Guang Yang, Ming Xiao, James Gross, Hussein Al-Zubaidy, Yongming Huang:
Delay and Backlog Analysis for 60 GHz Wireless Networks. - Xin Li:
Improved Non-Malleable Extractors, Non-Malleable Codes and Independent Source Extractors. - (Withdrawn) A Graph Framework for Multimodal Medical Information Processing.
- Amaury Pouly:
Computational complexity of solving polynomial differential equations over unbounded domains with non-rational coefficients. - Wenbo Du, Wen Ying, Gang Yan, Yan-Bo Zhu, Xian-Bin Cao:
Heterogeneous Strategy Particle Swarm Optimization. - Taisuke Sato:
A Linear Algebraic Approach to Datalog Evaluation. - Wenbo Du, Bo-Yuan Liang, Gang Yan, Oriol Lordan, Xian-Bin Cao:
Identifying vital edges in Chinese air route network via memetic algorithm. - Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). - Joan Figuerola Hurtado:
Attention Span For Personalisation. - Bilal Ahmed, Thomas Thesen, Karen E. Blackmon, Ruben Kuzniecky, Orrin Devinsky, Jennifer G. Dy, Carla E. Brodley:
Multi-task Learning with Weak Class Labels: Leveraging iEEG to Detect Cortical Lesions in Cryptogenic Epilepsy. - Nam N. Vo, James Hays:
Localizing and Orienting Street Views Using Overhead Imagery. - Yashar Deldjoo, Shengping Zhang, Bahman Zanj, Paolo Cremonesi, Matteo Matteucci:
Sparse vs. Non-sparse: Which One Is Better for Practical Visual Tracking? - Thomas Brihaye, Benoît Delahaye
, Loïg Jezequel
, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents] - Karthekeyan Chandrasekaran, Mahdi Cheraghchi, Venkata Gandikota, Elena Grigorescu:
Local Testing for Membership in Lattices. - Peng Tang, Xinggang Wang, Baoguang Shi, Xiang Bai, Wenyu Liu, Zhuowen Tu:
Deep FisherNet for Object Classification. - Cewu Lu, Ranjay Krishna, Michael S. Bernstein, Li Fei-Fei:
Visual Relationship Detection with Language Priors. - Venkatesan Guruswami, Ankit Singh Rawat:
New MDS codes with small sub-packetization and near-optimal repair bandwidth. - Zhi-Zhong Chen, Youta Harada, Lusheng Wang:
An Approximation Algorithm for Maximum Internal Spanning Tree. - Soumitra Samanta
, Bhabatosh Chanda:
A Data-driven Approach for Human Pose Tracking Based on Spatio-temporal Pictorial Structure. - Bálint Antal:
Automatic 3D Point Set Reconstruction from Stereo Laparoscopic Images using Deep Neural Networks. - Oliver Serang:
An exact, cache-localized algorithm for the sub-quadratic convolution of hypercubes. - Zhiwen Shao, Shouhong Ding, Yiru Zhao, Qinchuan Zhang, Lizhuang Ma:
Learning deep representation from coarse to fine for face alignment. - Adel M. Elmahdy, Amr El-Keyi, Yahya Mohasseb, Tamer A. ElBatt, Mohammed Nafie, Karim G. Seddik, Tamer Khattab:
Asymmetric Degrees of Freedom of the Full-Duplex MIMO 3-Way Channel with Unicast and Broadcast Messages. - Ofer Freedman, Pawel Gawrychowski, Patrick K. Nicholson, Oren Weimann:
Optimal Distance Labeling Schemes for Trees. - Christoph Lenzen, Joel Rybicki:
Near-Optimal Self-Stabilising Counting and Firing Squads. - Ilija Ilievski, Jiashi Feng:
Hyperparameter Transfer Learning through Surrogate Alignment for Efficient Deep Neural Network Training. - Pierre Thodoroff, Joelle Pineau, Andrew Lim:
Learning Robust Features using Deep Learning for Automatic Seizure Detection. - Konstantinos Makantasis, Antonis Nikitakis, Anastasios D. Doulamis, Nikolaos Doulamis, Yannis Papaefstathiou:
Variational Inference Background Subtraction Algorithm for in-Camera Acceleration in Thermal Imagery. - Apostolos Galanopoulos, Antonios Argyriou:
Adaptive Video Streaming over LTE Unlicensed. - Konstantinos Georgatzis, Christopher K. I. Williams, Christopher Hawthorne:
Input-Output Non-Linear Dynamical Systems applied to Physiological Condition Monitoring. - Francisco Vasconcelos, Donald Peebles, Sébastien Ourselin, Danail Stoyanov:
Similarity Registration Problems for 2D/3D Ultrasound Calibration. - János Végh:
Comments on the parallelization efficiency of the Sunway TaihuLight supercomputer. - Wouter M. Kouw, Marco Loog:
On Regularization Parameter Estimation under Covariate Shift. - Kiril Solovey, Dan Halperin:
Efficient sampling-based bottleneck pathfinding over cost maps. - Mario Mastriani:
Denoising and compression in wavelet domain via projection onto approximation coefficients. - Mario Mastriani:
Union is strength in lossy image compression. - Amogh Rajanna, Martin Haenggi:
Enhanced Cellular Coverage and Throughput using Rateless Codes. - Mario Mastriani:
New wavelet-based superresolution algorithm for speckle reduction in SAR images. - Julia Chuzhoy, Alina Ene:
On Approximating Maximum Independent Set of Rectangles. - Licheng Yu, Patrick Poirson, Shan Yang, Alexander C. Berg, Tamara L. Berg:
Modeling Context in Referring Expressions. - Mario Mastriani, Alberto E. Giraldez:
Kalman's shrinkage for wavelet-based despeckling of SAR images. - Mario Mastriani:
Denoising based on wavelets and deblurring via self-organizing map for Synthetic Aperture Radar images. - Jeroen B. P. Vuurens, Martha A. Larson, Arjen P. de Vries:
Exploring Deep Space: Learning Personalized Ranking in a Semantic Space. - Mario Mastriani:
Fuzzy thresholding in wavelet domain for speckle reduction in Synthetic Aperture Radar images. - Mario Mastriani, Alberto E. Giraldez:
Neural shrinkage for wavelet-based SAR despeckling. - Hiroshi Noji:
Left-corner Methods for Syntactic Modeling with Universal Structural Constraints. - Mang Liao, Aranya Chakrabortty:
Optimization Algorithms for Catching Data Manipulators in Power System Estimation Loops. - David Savage, Xiuzhen Zhang, Xinghuo Yu, Pauline Lienhua Chou, Qingmai Wang:
Anomaly detection in online social networks. - Beishui Liao, Kang Xu, Huaxin Huang:
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results. - Mohammad R. Vedady Moghadam, Rui Zhang:
Node Placement and Distributed Magnetic Beamforming Optimization for Wireless Power Transfer. - Boya Di, Tianyu Wang, Lingyang Song, Zhu Han:
Collaborative Smartphone Sensing using Overlapping Coalition Formation Games. - Nathan D. Ratliff, Franziska Meier, Daniel Kappler, Stefan Schaal:
DOOMED: Direct Online Optimization of Modeling Errors in Dynamics. - Rameswar Panda, Abir Das, Amit K. Roy-Chowdhury:
Video Summarization in a Multi-View Camera Network. - Sungjin Ahn, Heeyoul Choi, Tanel Pärnamaa, Yoshua Bengio:
A Neural Knowledge Language Model. - Sujatha Das Gollapalli, Xiaoli Li:
Keyphrase Extraction using Sequential Labeling. - Kensuke Harada, Weiwei Wan, Tokuo Tsuji, Kohei Kikuchi, Kazuyuki Nagata, Hiromu Onda:
Iterative Visual Recognition for Learning Based Randomized Bin-Picking. - Syed Safwan Khalid, Naveed ur Rehman, Shafayat Abrar:
Higher-Degree Stochastic Integration Filtering. - Jekaterina Novikova, Oliver Lemon, Verena Rieser:
Crowd-sourcing NLG Data: Pictures Elicit Better Data. - Ashkan Kalantari, Sina Maleki, Symeon Chatzinotas, Björn E. Ottersten:
Frequency of Arrival-based Interference Localization Using a Single Satellite. - Tengfei Ma:
Accelerated Kaczmarz Algorithms using History Information. - Weiqiang Tan, Shi Jin, Chao-Kai Wen, Yindi Jing:
Spectral Efficiency of Mixed-ADC Receivers for Massive MIMO Systems. - Nikolas J. Hemion:
Discovering Latent States for Model Learning: Applying Sensorimotor Contingencies Theory and Predictive Processing to Model Context. - Reza Arablouei, Ethan Goan, Stephen Gensemer, Branislav Kusy:
Fast and robust pushbroom hyperspectral imaging via DMD-based scanning. - Chao Dong, Chen Change Loy, Xiaoou Tang:
Accelerating the Super-Resolution Convolutional Neural Network. - Marcin Waniek, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
Hiding Individuals and Communities in a Social Network. - (Withdrawn) A New Performance Guarantee for Orthogonal Matching Pursuit Using Mutual Coherence.
- Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker:
Cloud Benchmarking For Maximising Performance of Scientific Applications. - Maksims Dimitrijevs, Abuzer Yakaryilmaz:
Uncountable classical and quantum complexity classes. - Omar Zakary, Mostafa Rachik:
The $ε$-capacity of a gain matrix and tolerable disturbances: Discrete-time perturbed linear systems. - Keith Foster, Jan Olaf Blech:
Example Data Sets and Collections for BeSpaceD Explained. - Jihyun Lee, Byungmoon Kim, Bongwon Suh, Eunyee Koh:
Exploring the Front Touch Interface for Virtual Reality Headsets. - Marco De Nadai
, Radu L. Vieriu, Gloria Zen, Stefan Dragicevic, Nikhil Naik, Michele Caraviello, César A. Hidalgo, Nicu Sebe, Bruno Lepri:
Are Safer Looking Neighborhoods More Lively? A Multimodal Investigation into Urban Life. - Madhusudan Lakshmana, Sundararajan Sellamanickam, Shirish K. Shevade, Sathiya Keerthi Selvaraj:
Learning Semantically Coherent and Reusable Kernels in Convolution Neural Nets for Sentence Classification. - Nikolaos Aletras, Arpit Mittal:
Labeling Topics with Images using Neural Networks. - Fabian Steiner, Georg Böcherer:
Comparison of Geometric and Probabilistic Shaping with Application to ATSC 3.0. - Cameron T. Chalk, Erik D. Demaine, Martin L. Demaine, Eric Martinez, Robert T. Schweller, Luis Vega, Tim Wylie:
Universal Shape Replicators via Self-Assembly with Attractive and Repulsive Forces. - ZongYuan Ge, Chris McCool, Conrad Sanderson, Peng Wang, Lingqiao Liu, Ian D. Reid, Peter I. Corke:
Exploiting Temporal Information for DCNN-based Fine-Grained Object Classification. - Kevin Atighehchi:
Some observations on the optimization of a parallel SHAKE function using Sakura. - Mrinalkanti Ghosh, Madhur Tulsiani:
From Weak to Strong LP Gaps for all CSPs. - Abhishek Maity
:
Supervised Classification of RADARSAT-2 Polarimetric Data for Different Land Features. - Jianming Zhang, Zhe Lin, Jonathan Brandt, Xiaohui Shen, Stan Sclaroff:
Top-down Neural Attention by Excitation Backprop. - Paul Michel, Okko Räsänen, Roland Thiollière, Emmanuel Dupoux
:
Improving Phoneme segmentation with Recurrent Neural Networks. - Mahdi Zamani, Jared Saia, Jedidiah R. Crandall:
TorBricks: Blocking-Resistant Tor Bridge Distribution. - Alireza Davoudi, Saeed Shiry Ghidary, Khadijeh Sadatnejad:
Dimensionality reduction based on Distance Preservation to Local Mean (DPLM) for SPD matrices and its application in BCI. - Varun K. Nagaraja, Vlad I. Morariu, Larry S. Davis:
Modeling Context Between Objects for Referring Expression Understanding. - Dan Hendrycks, Kevin Gimpel:
Visible Progress on Adversarial Images and a New Saliency Map. - João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas:
Decision and optimization problems in the Unreliable-Circuit Logic. - Lorant Kovacs, Rajmund Drenyovszki, Andras Olah, János Levendovszky, Kalman Tornai, Istvan Pintér:
A probabilistic demand side management approach by consumption admission control. - Christopher G. R. Wallis, Yves Wiaux
, Jason D. McEwen:
Sparse image reconstruction on the sphere: analysis vs synthesis. - Damian Straszak, Nisheeth K. Vishnoi:
Generalized Determinantal Point Processes: The Linear Case. - Uri Kartoun:
A Methodology to Generate Virtual Patient Repositories. - Blake A. Hechtman, Andrew D. Hilton, Daniel J. Sorin:
TREES: A CPU/GPU Task-Parallel Runtime with Explicit Epoch Synchronization. - Qian (Clara) Li, Geng Wu, Apostolos Papathanassiou, Mukherjee Udayan:
An end-to-end network slicing framework for 5G wireless communication systems. - Mohsen Yousefbeiki, Juan R. Mosig, Andreas Peter Burg:
Near-Field Perturbation Effect on Constellation Error in Beam-Space MIMO. - Solmaz S. Kia, Sonia Martínez:
A partially decentralized EKF scheme for cooperative localization over unreliable communication links. - Priyadarshini Panda, Kaushik Roy:
Attention Tree: Learning Hierarchies of Visual Features for Large-Scale Image Recognition. - Abhyuday Jagannatha, Hong Yu:
Structured prediction models for RNN based sequence labeling in clinical text. - Roman Starosolski:
Skipping Selected Steps of DWT Computation in Lossless JPEG 2000 for Improved Bitrates. - Bo-Wei Chen:
Efficient Multiple Incremental and Decremental Ridge Support Vector Machines for Big Streams. - Bo-Wei Chen:
Energy-Economic Multiple Incremental/Decremental Kernel Ridge Regression for Green Clouds. - Shreyansh Daftry, J. Andrew Bagnell, Martial Hebert:
Learning Transferable Policies for Monocular Reactive MAV Control. - Björn Hedin, Viggo Kann:
Improving Study Skills using Program Integrating Reflection Seminars. - Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall:
Defining Spatial Security Outage Probability for Exposure Region Based Beamforming. - Max Grossman, Christopher Thiele, Mauricio Araya-Polo, Florian Frank, Faruk O. Alpak, Vivek Sarkar:
A survey of sparse matrix-vector multiplication performance on large matrices. - Eyasu Zemene, Marcello Pelillo:
Interactive Image Segmentation Using Constrained Dominant Sets. - Anthony Bonato, David Ryan D'Angelo, Ethan R. Elenberg, David F. Gleich, Yangyang Hou:
Mining and modeling character networks. - Narges Razavian, Jake Marcus, David A. Sontag:
Multi-task Prediction of Disease Onsets from Longitudinal Lab Tests. - Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
:
Efficient Energy Distribution in a Smart Grid using Multi-Player Games. 1-12 - Benedikt Brütsch, Wolfgang Thomas:
Playing Games in the Baire Space. 13-25 - Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
Two-Buffer Simulation Games. 27-38 - Sotiris Moschoyiannis
, Nicholas Elia, Alexandra S. Penn
, David J. B. Lloyd, Christopher J. K. Knight:
A Web-based Tool for Identifying Strategic Intervention Points in Complex Systems. 39-52 - Camille Coti:
Parametric, Probabilistic, Timed Resource Discovery System. 53-62 - Louise Foshammer, Kim Guldstrand Larsen
, Anders Mariegaard:
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. 63-75 - Bharath Siva Kumar Tati, Markus Siegle
:
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. 77-89 - Peng Wei:
Time-Domain N-continuous GFDM. - Hong-Min Chu, Hsuan-Tien Lin:
Can Active Learning Experience Be Transferred? - Konstantinos Raftopoulos, Stefanos D. Kollias, Marin Ferecatu:
Global Vertices and the Noising Paradox. - Konstantin Berlin, Joshua Saxe:
Improving Zero-Day Malware Testing Methodology Using Statistically Significant Time-Lagged Test Samples. - Anupam Gupta, Viswanath Nagarajan, Sahil Singla:
Adaptivity Gaps for Stochastic Probing: Submodular and XOS Functions. - Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich:
Report on the NSF Workshop on Formal Methods for Security. - David Savage, Xiuzhen Zhang, Xinghuo Yu, Pauline Lienhua Chou, Qingmai Wang:
Detection of opinion spam based on anomalous rating deviation. - Xibo Jin, Fa Zhang, Athanasios V. Vasilakos, Zhiyong Liu:
Green Data Centers: A Survey, Perspectives, and Future Directions. - Gopal P. Sarma:
Scientific Auditing Firms. - George Barmpalias, Rodney G. Downey:
Kobayashi compressibility. - Eduardo Castelló Ferrer:
The blockchain: a new framework for robotic swarm systems. - Thomas Wolf, Chimaobi Amadi:
Rational Solutions of Underdetermined Polynomial Equations. - Tamara V. Sobers, Boulat A. Bash, Saikat Guha, Don Towsley, Dennis Goeckel:
Covert Communication in the Presence of an Uninformed Jammer. - Qifei Wang:
A Survey of Visual Analysis of Human Motion and Its Applications. - David Savage, Qingmai Wang, Pauline Lienhua Chou, Xiuzhen Zhang, Xinghuo Yu:
Detection of money laundering groups using supervised learning in networks. - Timothy La Fond, Jennifer Neville, Brian Gallagher
:
Size-Consistent Statistics for Anomaly Detection in Dynamic Networks. - Jie Xu, Lingjie Duan, Rui Zhang:
Transmit Optimization for Symbol-Level Spoofing. - Darren Strash:
On the Power of Simple Reductions for the Maximum Independent Set Problem. - Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Infinite Unlimited Churn. - Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). - Mario Alviano, Carmine Dodaro:
Anytime answer set optimization via unsatisfiable core shrinking. - Nikolas J. Hemion:
Context Discovery for Model Learning in Partially Observable Environments. - Ziv Goldfeld, Paul Cuff, Haim H. Permuter:
Wiretap Channels with Random States Non-Causally Available at the Encoder. - Akim Demaille:
Derived-Term Automata of Multitape Rational Expressions (Long version). - Mohammad Lari:
Effective Capacity of Receive Antenna Selection MIMO-OSTBC Systems in Co-Channel Interference. - Nick Schneider, Lukas Schneider, Peter Pinggera, Uwe Franke, Marc Pollefeys, Christoph Stiller:
Semantically Guided Depth Upsampling. - Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen:
Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. - Han Gong, Darren Cosker:
Interactive Removal and Ground Truth for Difficult Shadow Scenes. - Christopher D. Clack, Vikram A. Bakshi, Lee Braine:
Smart Contract Templates: foundations, design landscape and research directions. - Michele Volpi, Devis Tuia:
Dense semantic labeling of sub-decimeter resolution images with convolutional neural networks. - Edward J. Yoon:
Horn: A System for Parallel Training and Regularizing of Large-Scale Neural Networks. - Yasser M. Seddiq, A. A. Alharbiy, Moayyad Hamza Ghunaim:
Shape and Centroid Independent Clustring Algorithm for Crowd Management Applications. - Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers:
Tabling with Sound Answer Subsumption. - Brian Brost, Ingemar J. Cox, Yevgeny Seldin, Christina Lioma:
An Improved Multileaving Algorithm for Online Ranker Evaluation. - Lukás Svoboda, Tomás Brychcín:
New word analogy corpus for exploring embeddings of Czech words. - (Withdrawn) The Storage And Analytics Potential Of HBase Over The Cloud: A Survey.
- Yuanjun Xiong, Limin Wang, Zhe Wang, Bowen Zhang, Hang Song, Wei Li, Dahua Lin, Yu Qiao, Luc Van Gool, Xiaoou Tang:
CUHK & ETHZ & SIAT Submission to ActivityNet Challenge 2016. - Xianwen Wang, Zhichao Fang, Xinhui Guo:
Tracking the Digital Footprints to Scholarly Articles from Social Media. - Yongxu Zhu, Lifeng Wang, Kai-Kit Wong, Robert W. Heath Jr.:
Secure Communications in Millimeter Wave Ad Hoc Networks. - Manuele Leonelli, Jim Q. Smith:
Directed expected utility networks. - Giuseppe Amato, Fabrizio Falchi, Lucia Vadicamo:
Aggregating Binary Local Descriptors for Image Retrieval. - Amr Hany Saleh, Tom Schrijvers:
Efficient Algebraic Effect Handlers for Prolog. - Minjia Shi, Li-Qian Ma, Lin Sok:
A class of constacyclic codes over $\mathbb{Z}_4[u]/\langle u^2-1\rangle$ and its Gray images. - Suleiman Y. Yerima, Sakir Sezer, Igor Muttik:
High Accuracy Android Malware Detection Using Ensemble Learning. - Suleiman Y. Yerima, Gerard P. Parr, Cathryn Peoples, Sally I. McClean, Philip J. Morrow:
A Framework for Context-Driven End-to-End QoS Control in Converged Networks. - José Camacho-Collados, Ignacio Iacobacci, Roberto Navigli, Mohammad Taher Pilehvar:
Semantic Representations of Word Senses and Concepts. - Peter J. Schüffler, Judy Sarungbam, Hassan Muhammad, Ed Reznik, Satish K. Tickoo, Thomas J. Fuchs:
Mitochondria-based Renal Cell Carcinoma Subtyping: Learning from Deep vs. Flat Feature Representations. - Suleiman Y. Yerima, Sakir Sezer, Gavin McWilliams, Igor Muttik:
A New Android Malware Detection Approach Using Bayesian Classification. - Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos Kiayias, Mema Roussopoulos:
Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems. - Gintare Karolina Dziugaite, Zoubin Ghahramani, Daniel M. Roy:
A study of the effect of JPG compression on adversarial images. - Suleiman Y. Yerima, Khalid Al-Begain:
An Enhanced Buffer Management Scheme for Multimedia Traffic in HSDPA. - Limin Wang, Yuanjun Xiong, Zhe Wang, Yu Qiao, Dahua Lin, Xiaoou Tang, Luc Van Gool:
Temporal Segment Networks: Towards Good Practices for Deep Action Recognition. - Jie Chen, Haim Avron, Vikas Sindhwani:
Hierarchically Compositional Kernels for Scalable Nonparametric Learning. - Pawel Gawrychowski, Tomasz Kociumaka:
Sparse Suffix Tree Construction in Optimal Time and Space. - BooJoong Kang, Suleiman Y. Yerima, Kieran McLaughlin, Sakir Sezer:
PageRank in Malware Categorization. - Jorge Fandinno:
Deriving Conclusions From Non-Monotonic Cause-Effect Relations. - Daniela Gerz, Ivan Vulic, Felix Hill, Roi Reichart, Anna Korhonen:
SimVerb-3500: A Large-Scale Evaluation Set of Verb Similarity. - Pedro Cabalar, Jorge Fandinno:
Justifications for Programs with Disjunctive and Causal-choice Rules. - Connor Schenck, Dieter Fox:
Towards Learning to Perceive and Reason About Liquids. - Andrew Ryzhikov:
Approximating the Maximum Number of Synchronizing States in Automata. - Liang Lu, Michelle Guo, Steve Renals:
Knowledge Distillation for Small-footprint Highway Networks. - Patrick Doetsch, Albert Zeyer, Paul Voigtlaender, Ilya Kulikov, Ralf Schlüter, Hermann Ney:
RETURNN: The RWTH Extensible Training framework for Universal Recurrent Neural Networks. - Sonal Goel, Niharika Sachdeva, Ponnurangam Kumaraguru, A. Venkata Subramanyam, Divam Gupta:
PicHunt: Social Media Image Retrieval for Improved Law Enforcement. - Wen-Sheng Chu, Fernando De la Torre, Jeffrey F. Cohn:
Modeling Spatial and Temporal Cues for Multi-label Facial Action Unit Detection. - Guang Yang, Ming Xiao, Hussein Al-Zubaidy, Yongming Huang, James Gross:
Analysis of Multi-Hop Outdoor 60 GHz Wireless Networks with Full-Duplex Buffered Relays. - Ye Sun, Daniel B. Work:
Scaling the Kalman filter for large-scale traffic estimation. - Shun Kataoka, Takuto Kobayashi, Muneki Yasuda, Kazuyuki Tanaka:
Community Detection Algorithm Combining Stochastic Block Model and Attribute Data Clustering. - Saad Nadeem, Rui Shi, Joseph Marino, Wei Zeng, Xianfeng Gu, Arie E. Kaufman:
Registration of Volumetric Prostate Scans using Curvature Flow. - Francesco Renna, Joseph Doyle, Vasileios Giotsas, Yiannis Andreopoulos:
Media Query Processing For The Internet-of-Things: Coupling Of Device Energy Consumption And Cloud Infrastructure Billing. - Hao Tang, Weiran Wang, Kevin Gimpel, Karen Livescu:
Efficient Segmental Cascades for Speech Recognition. - Alberto Borobia, Roberto Canogar:
The real nonnegative inverse eigenvalue problem is NP-hard. - Saad Nadeem, Arie E. Kaufman:
Multimodal Brain Visualization. - Tatsuaki Okamoto:
A Unified Paradigm of Organized Complexity and Semantic Information Theory. - Mohsen Mosleh, Kia Dalili, Babak Heydari:
Distributed or Monolithic? A Computational Architecture Decision Framework. - Jan Wielemaker, Keri Harris:
Lock-free atom garbage collection for multithreaded Prolog. - Igor A. Surmin, Sergey I. Bastrakov, Zakhar Matveev, Evgeny Efimenko, Arkady A. Gonoskov, Iosif B. Meyerov:
Co-design of a particle-in-cell plasma simulation code for Intel Xeon Phi: a first look at Knights Landing. - Gökhan Kul, Duc Luong, Ting Xie, Patrick Coonan, Varun Chandola, Oliver Kennedy, Shambhu J. Upadhyaya:
Summarizing Large Query Logs in Ettu. - Thomas W. Rogers, Nicolas Jaccard, Edward J. Morton, Lewis D. Griffin:
Automated X-ray Image Analysis for Cargo Security: Critical Review and Future Promise. - Dimitrios Kartsaklis, Martha Lewis
, Laura Rimell:
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016. EPTCS 221, 2016 [contents] - Mihai Gramada:
The Entity Registry System. From concept to deployment. - Suleiman Y. Yerima, Khalid Al-Begain:
Analysis of M2/M2/1/R, N Queuing Model for Multimedia over 3.5G Wireless Network Downlink. - Suleiman Y. Yerima, Khalid Al-Begain:
End-to-End QoS Improvement of HSDPA End-User Multi-flow Traffic Using RAN Buffer Management. - N. Dinesh Reddy, Iman Abbasnejad, Sheetal Reddy, Amit Kumar Mondal, Vindhya Devalla:
Incremental Real-Time Multibody VSLAM with Trajectory Optimization Using Stereo Camera. - Victor Fragoso, Walter J. Scheirer, João Pedro Hespanha, Matthew Turk:
One-Class Slab Support Vector Machine. - Jarrod Chapman, Isaac Y. Ho, Eugene Goltsman, Daniel S. Rokhsar:
Meraculous2: fast accurate short-read assembly of large polymorphic genomes. - Michael J. Steindorfer, Jurgen J. Vinju:
Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries. - Dawei Zhao, Zhen Wang, Gaoxi Xiao, Bo Gao, Lianhai Wang:
The robustness of interdependent networks under the interplay between cascading failures and virus propagation. - Bo Gao, Dawei Zhao:
Competing spreading processes and immunization in multiplex networks. - Nicholas Mattei, Toby Walsh:
Empirical Evaluation of Real World Tournaments. - Emad Barsoum, Cha Zhang, Cristian Canton-Ferrer, Zhengyou Zhang:
Training Deep Networks for Facial Expression Recognition with Crowd-Sourced Label Distribution. - Parminder Bhatia, Robert Guthrie, Jacob Eisenstein:
Morphological Priors for Probabilistic Neural Word Embeddings. - Wen-bing Huang, Fuchun Sun, Le-le Cao, Mehrtash Harandi:
Analyzing Linear Dynamical Systems: From Modeling to Coding and Learning. - Xiao-Bo Jin, Guang-Gang Geng, Kaizhu Huang, Zhiwei Yan:
Ranking Entity Based on Both of Word Frequency and Word Sematic Features. - Michael Poulshock:
An Abstract Model of Historical Processes. - Fateme Fahiman, James C. Bezdek, Sarah M. Erfani, Christopher Leckie, Marimuthu Palaniswami:
Fuzzy c-Shape: A new algorithm for clustering finite time series waveforms. - Tal Remez, Or Litany, Shachar Yoseff, Harel Haim, Alexander M. Bronstein:
FPGA system for real-time computational extended depth of field imaging using phase aperture coding. - Dilip K. Prasad, Chandrashekar Krishna Prasath, Deepu Rajan, Lily Rachmawati, Eshan Rajabally, Chai Quek:
Challenges in video based object detection in maritime scenario using computer vision. - Md Shipon Ali, Hina Tabassum, Ekram Hossain:
Dynamic User Clustering and Power Allocation for Uplink and Downlink Non-Orthogonal Multiple Access (NOMA) Systems. - Jinghua Wang, Zhenhua Wang, Dacheng Tao, Simon See, Gang Wang:
Learning Common and Specific Features for RGB-D Semantic Segmentation with Deconvolutional Networks. - Christian Hadiwinoto, Yang Liu, Hwee Tou Ng:
To Swap or Not to Swap? Exploiting Dependency Word Pairs for Reordering in Statistical Machine Translation. - Ashwin Srinivasan, Gautam Shroff, Lovekesh Vig, Sarmimala Saikia, Puneet Agarwal:
Generation of Near-Optimal Solutions Using ILP-Guided Sampling. - Mayank Singh, Tanmoy Chakraborty, Animesh Mukherjee, Pawan Goyal:
Is this conference a top-tier? ConfAssist: An assistive conflict resolution framework for conference categorization. - Zherong Pan, Dinesh Manocha:
Efficient Optimal Control of Smoke using Spacetime Multigrid. - Maja H. Kirkeby, Mads Rosendahl:
Probabilistic Resource Analysis by Program Transformation. - Aymen Jaziri, Ridha Nasri, Tijani Chahed:
System level analysis of heterogeneous networks under imperfect traffic hotspot localization. - Aymen Jaziri, Ridha Nasri, Tijani Chahed:
Performance Analysis of Small Cells' Deployment under Imperfect Traffic Hotspot Localization. - Aymen Jaziri, Ridha Nasri, Tijani Chahed:
Offloading traffic hotspots using moving small cells. - Alban Laflaquière:
Autonomous Grounding of Visual Field Experience through Sensorimotor Prediction. - Lampros Flokas, Petros Maragos:
Hard Threshold Least Mean Squares Algorithm. - Enrique Sánchez-Lozano, Brais Martínez, Georgios Tzimiropoulos, Michel F. Valstar:
Cascaded Continuous Regression for Real-time Incremental Face Tracking. - Gary Pui-Tung Choi, Mandy Hiu-Ying Man, Lok Ming Lui:
Fast Spherical Quasiconformal Parameterization of Genus-0 Closed Surfaces with Application to Adaptive Remeshing. - João E. Strapasson:
A note on subortogonal lattices. - Dong Huang, Chang-Dong Wang, Jian-Huang Lai, Yun Liang, Shan Bian, Yu Chen:
Ensemble-driven support vector clustering: From ensemble learning to automatic parameter estimation. - Sebastian Baumbach, Frank Wittich, Florian Sachs, Sheraz Ahmed, Andreas Dengel:
A Novel Approach for Data-Driven Automatic Site Recommendation and Selection. - P. Balasubramanian, K. Prasad:
Early Output Hybrid Input Encoded Asynchronous Full Adder and Relative-Timed Ripple Carry Adder. - Eder Santana, George Hotz:
Learning a Driving Simulator. - Manuel R. Ciosici:
Improving Quality of Hierarchical Clustering for Large Data Series. - Abbas Ehsanfar, Babak Heydari:
An Incentive-Compatible Scheme for Electricity Cooperatives: An Axiomatic Approach. - S. K. Kolluru, Prasenjit Mukherjee:
Query Clustering using Segment Specific Context Embeddings. - Shan Yang, Tanya Amert, Zherong Pan, Ke Wang, Licheng Yu, Tamara L. Berg, Ming C. Lin:
Detailed Garment Recovery from a Single-View Image. - Niao He, Zaïd Harchaoui, Yichen Wang, Le Song:
Fast and Simple Optimization for Poisson Likelihood Models. - Nuwan S. Ferdinand, Brian M. Kurkoski, Matthew S. Nokleby, Behnaam Aazhang:
Low-Dimensional Shaping for High-Dimensional Lattice Codes. - Andrzej Kisielewicz, Marek Szykula:
Synchronizing Automata with Extremal Properties. - Siddharth Barman, Arnab Bhattacharyya, Suprovat Ghoshal:
The Dictionary Testing Problem. - Johannes Stegmaier, Ralf Mikut:
Fuzzy-based Propagation of Prior Knowledge to Improve Large-Scale Image Analysis Pipelines. - Yuping Luo, Chung-Cheng Chiu, Navdeep Jaitly, Ilya Sutskever:
Learning Online Alignments with Continuous Rewards Policy Gradient. - Chanfei Wang, Tiejun Lv, Hui Gao, Shaoshi Yang:
A Belief Propagation Based Framework for Soft Multiple-Symbol Differential Detection. - Sándor Darányi, Peter Wittek, Konstantinos Konstantinidis, Symeon Papadopoulos, Efstratios Kontopoulos
:
A Physical Metaphor to Study Semantic Drift. - Caelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Learning to Rank for Synthesizing Planning Heuristics. - Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
FFRob: Leveraging Symbolic Planning for Efficient Task and Motion Planning. - Tiantian Gao, Paul Fodor, Michael Kifer:
Paraconsistency and Word Puzzles. - Martin Brooks:
Retinal Vessel Segmentation Using A New Topological Method. - Vahab S. Mirrokni, Mikkel Thorup, Morteza Zadimoghaddam:
Consistent Hashing with Bounded Loads. - Yunming Zhang, Vladimir Kiriansky, Charith Mendis, Matei Zaharia, Saman P. Amarasinghe:
Optimizing Cache Performance for Graph Analytics. - Giovanni Barbarino
:
Permutation NMF. - Lin Li, William M. Campbell:
Matching Community Structure Across Online Social Networks. - Pier Luigi Ventre, Alberto Caponi, Davide Palmisano, Stefano Salsano, Giuseppe Siracusano, Marco Bonola, Giuseppe Bianchi:
D-STREAMON - a NFV-capable distributed framework for network monitoring. - William M. Campbell, Lin Li, Charlie K. Dagli, Joel Acevedo-Aviles, K. Geyer, Joseph P. Campbell, Carey E. Priebe:
Cross-Domain Entity Resolution in Social Media. - Masoud Nosrati, Fakhereh Rahimi, Ronak Karimi:
Language free character recognition using character sketch and center of gravity shifting. - Facundo Mémoli, Anastasios Sidiropoulos, Vijay Sridhar:
Quasimetric embeddings and their applications. - Bjørn Kjos-Hanssen:
Few paths, fewer words: model selection with automatic structure functions. - Daniela Ashoush, Bob Coecke:
Dual Density Operators and Natural Language Meaning. 1-10 - Josef Bolt, Bob Coecke, Fabrizio Genovese
, Martha Lewis
, Daniel Marsden, Robin Piedeleu:
Interacting Conceptual Spaces. 11-19 - Stephen McGregor, Matthew Purver
, Geraint A. Wiggins:
Words, Concepts, and the Geometry of Analogy. 39-48 - Mehrnoosh Sadrzadeh
:
Quantifier Scope in Categorical Compositional Distributional Semantics. 49-57 - John van de Wetering
:
Entailment Relations on Distributions. 58-66 - William Zeng, Bob Coecke:
Quantum Algorithms for Compositional Natural Language Processing. 67-75 - Xiaoqing Fan, Oliver Kosut, Aaron B. Wagner:
Variable Packet-Error Coding. - Jongsoo Park, Sheng R. Li, Wei Wen, Hai Li, Yiran Chen, Pradeep Dubey:
Holistic SparseCNN: Forging the Trident of Accuracy, Speed, and Size. - Hyun-Chul Kim:
Bayesian Kernel and Mutual $k$-Nearest Neighbor Regression. - Subhro Roy, Dan Roth:
Solving General Arithmetic Word Problems. - François Le Gall:
Solving Laplacian Systems in Logarithmic Space. - Aritra Mitra, Shreyas Sundaram:
Distributed Observers for LTI Systems. - Florian Kühnlenz, Pedro H. J. Nardelli, Hirley Alves:
Analysis of Demand Control Policies using an Agent-based Multi-layer Power System Model. - Dong Wang, Haohan Li, Xiaoyu Wei, Xiaoping Wang:
An efficient iterative thresholding method for image segmentation. - Iran Ramezanipour, Mauricio de Castro Tomé, Pedro H. J. Nardelli, Hirley Alves:
Decision Error Probability in a Two-stage Communication Network for Smart Grids with Imperfect Data Links. - María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Assertion-based Analysis via Slicing with ABETS (System Description). - Hao Yang, Joey Tianyi Zhou, Jianfei Cai:
Improving Multi-label Learning with Missing Labels by Structured Semantic Correlations. - Peng Liu, Wangdong Qi, Li Wei, En Yuan, Bing Xu:
Full Duplex Joint Sensing for Opportunistic Access in Spectrum-Heterogeneous Cognitive Radio Networks. - Qingrong Xia, Zhenghua Li, Jiayuan Chao, Min Zhang:
Word Segmentation on Micro-blog Texts with External Lexicon and Heterogeneous Data. - Yoichi Iwata:
Linear-time Kernelization for Feedback Vertex Set. - Claude Fachkha:
Security Monitoring of the Cyber Space. - Jiahui Yu, Yuning Jiang, Zhangyang Wang, Zhimin Cao, Thomas S. Huang:
UnitBox: An Advanced Object Detection Network. - (Withdrawn) Streaming Weighted Matchings: Optimal Meets Greedy.
- Mordechai Guri, Eyal Shemer, Dov Shirtz, Yuval Elovici:
Personal Information Leakage During Password Recovery of Internet Services. - João Santos, Ricardo Rocha:
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores. - (Withdrawn) Solution Concepts in A-Loss Recall Games: Existence and Computational Complexity.
- Han Gong, Graham D. Finlayson, Robert B. Fisher:
Recoding Color Transfer as a Color Homography. - Branislav Bosanský, Jiri Cermak, Karel Horák, Michal Pechoucek:
Computing Maxmin Strategies in Extensive-Form Zero-Sum Games with Imperfect Recall. - Kumar Vijay Mishra, Eli Shoshan, Moshe Namer, Maxim Meltsin, David Cohen, Ron Madmoni, Shahar Dror, Robert Ifraimov, Yonina C. Eldar:
Cognitive Sub-Nyquist Hardware Prototype of a Collocated MIMO Radar. - Suman Saha, Gurkirt Singh, Michael Sapienza, Philip H. S. Torr, Fabio Cuzzolin:
Deep Learning for Detecting Multiple Space-Time Action Tubes in Videos. - Tom Mens:
Research trends in structural software complexity. - Yingyue Xu, Xiaopeng Hong, Guoying Zhao:
Saliency Integration: An Arbitrator Model. - Rajrup Ghosh, Yogesh Simmhan:
Distributed Scheduling of Event Analytics across Edge and Cloud. - Anna Bogomolnaia, Hervé Moulin, Fedor Sandomirskiy, Elena Yanovskaya:
Dividing goods or bads under additive utilities. - Stefan Mengel:
Lower Bounds on the mim-width of Some Perfect Graph Classes. - Juan C. Correa
, Jorge E. Camargo:
Ideological Consumerism in Colombian Elections, 2015: Links between Political Ideology, Twitter Activity and Electoral Results. - Sergey Slavnov:
On partial traces and compactification of *-autonomous Mix-categories. - Paheli Bhattacharya, Pawan Goyal, Sudeshna Sarkar:
UsingWord Embeddings for Query Translation for Hindi to English Cross Language Information Retrieval. - Nader H. Bshouty:
Derandomizing Chernoff Bound with Union Bound with an Application to $k$-wise Independent Sets. - Edel Garcia:
Local Term Weight Models from Power Transformations: Development of BM25IR: A Best Match Model based on Inverse Regression. - Elad Domanovitz, Uri Erez:
Outage Behavior of Randomly Precoded Integer Forcing Over MIMO Channels. - K. Tuncay Tekle, Yanhong A. Liu:
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions. - Amelia Harrison, Vladimir Lifschitz:
Stable Models for Infinitary Formulas with Extensional Atoms. - Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. - Samuel Zapolsky, Evan M. Drumwright:
Particle Traces for Detecting Divergent Robot Behavior. - Harits Ar Rosyid, Matt Palmerlee, Ke Chen:
Deploying learning materials to game content for serious education game development: A case study. - Amelia Harrison, Vladimir Lifschitz, Julian Michael:
Proving Infinitary Formulas. - David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei A. Krokhin, Robert Powell, Stanislav Zivný:
Binarisation for Valued Constraint Satisfaction Problems. - Arsany Guirguis, Mohammed Karmoose, Karim Habak, Mustafa El-Nainay, Moustafa Youssef:
Cooperation-based Routing in Cognitive Radio Networks. - Wei Li, Christina Tsangouri, Farnaz Abtahi, Zhigang Zhu:
A Recursive Framework for Expression Recognition: From Web Images to Deep Models to Game Dataset. - Prakruthi Karuna, Hemant Purohit, Bonnie Stabile, Angela Hattery:
On the Dynamics of Local to Global Campaigns for Curbing Gender-based Violence. - Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel:
Hypercollecting Semantics and its Application to Static Analysis of Information Flow. - Richard Chen, Yating Jing, Hunter Jackson:
Identifying Metastases in Sentinel Lymph Nodes with Deep Convolutional Neural Networks. - Jan Feyereisl, Uwe Aickelin:
Self-Organising Maps in Computer Security. - Dimitri P. Bertsekas:
Robust Shortest Path Planning and Semicontractive Dynamic Programming. - Chen Mu, Chiwoo Park:
Optimal Filtered Backprojection for Fast and Accurate Tomography Reconstruction. - Keren Censor-Hillel, Merav Parter, Gregory Schwartzman:
Derandomizing Local Distributed Algorithms under Bandwidth Restrictions. - Jeannette C. M. Janssen, Abbas Mehrabian:
Rumours spread slowly in a small world spatial network. - Sara Ahmadian, Chaitanya Swamy:
Approximation Algorithms for Clustering Problems with Lower Bounds and Outliers. - Sofiane Abbar, Tahar Zanouda, Javier Borge-Holthoefer:
Robustness and Resilience of cities around the world. - Victor Yodaiken:
State equations for discrete state systems. - Ali Jazayeri, Hiroki Sayama:
A Polynomial-Time Deterministic Approach to the Traveling Salesperson Problem. - Cristina G. Fernandes, Samuel P. de Paula, Lehilton L. C. Pedrosa:
Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center. - Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing Program Input Grammars. - Denton Gentry, Avery Pennarun:
Passive Taxonomy of Wifi Clients using MLME Frame Contents. - Ankit Singh Rawat:
A Note on Secure Minimum Storage Regenerating Codes. - Joseph Connelly, Kenneth Zeger:
Linear Network Coding over Rings, Part II: Vector Codes and Non-Commutative Alphabets. - Joseph Connelly, Kenneth Zeger:
Linear Network Coding over Rings, Part I: Scalar Codes and Commutative Alphabets. - Alireza Shafaei, James J. Little, Mark Schmidt:
Play and Learn: Using Video Games to Train Computer Vision Models. - Yukun Chen, Jianbo Ye, Jia Li:
A Distance for HMMs based on Aggregated Wasserstein Metric and State Registration. - Waqar Ahmad, Osman Hasan:
Formal Availability Analysis using Theorem Proving. - Chun-Hung Liu, Kok Leong Fong:
Fundamentals of the Downlink Green Coverage and Energy Efficiency in Heterogeneous Networks. - Benjamin W. K. Hung, Anura P. Jayasumana:
Investigative Simulation: Towards Utilizing Graph Pattern Matching for Investigative Search. - Abhimanyu Dubey, Nikhil Naik, Devi Parikh, Ramesh Raskar, César A. Hidalgo:
Deep Learning the City : Quantifying Urban Perception At A Global Scale. - Mert Ozer, Nyunsu Kim, Hasan Davulcu:
Community Detection in Political Twitter Networks using Nonnegative Matrix Factorization Methods. - Aneta Neumann, Bradley Alexander, Frank Neumann:
The Evolutionary Process of Image Transition in Conjunction with Box and Strip Mutation. - Weijun Zhu:
Molecular Model Checking a Temporal Logic. - Dinh Thai Hoang, Dusit Niyato, Ping Wang, Dong In Kim, Zhu Han:
The Tradeoff Analysis in RF-Powered Backscatter Cognitive Radio Networks. - Esma Turgut, Mustafa Cenk Gursoy:
Coverage in Heterogeneous Downlink Millimeter Wave Cellular Networks. - Qilin Li, Ling Li, Wanquan Liu:
Sparse Subspace Clustering via Diffusion Process. - Liang Zheng, Yi Yang, Qi Tian:
SIFT Meets CNN: A Decade Survey of Instance Retrieval. - (Withdrawn) The BioDynaMo Project: a platform for computer simulations of biological dynamics.
- Andreas Brandstädt, Suhail Mahfud, Raffaele Mosca:
Bounded Clique-Width of ($S_{1, 2, 2}$, Triangle)-Free Graphs. - Haoran Yu, Man Hon Cheung, Jianwei Huang:
Cooperative Wi-Fi Deployment: A One-to-Many Bargaining Framework. - Yong Zeng, Rui Zhang:
Energy-Efficient UAV Communication with Trajectory Optimization. - Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. - Paul Magron, Roland Badeau, Antoine Liutkus:
Separation of nonnegative alpha-stable sources. - Lorenzo Fagiano, Eric Nguyen Van, Felix Rager, Stephan Schnez, Christian Ohler:
A Small-Scale Prototype to Study the Take-Off of Tethered Rigid Aircrafts for Airborne Wind Energy. - Ying Bi, He Chen:
Accumulate and Jam: Towards Secure Communication via A Wireless-Powered Full-Duplex Jammer. - Manuel Bichler, Michael Morak, Stefan Woltran:
The Power of Non-Ground Rules in Answer Set Programming. - Yifan Gu, He Chen, Yonghui Li, Branka Vucetic:
Wireless-Powered Two-Way Relaying with Power Splitting-based Energy Accumulation. - Hilal Ergun, Mustafa Sert:
Fusing Deep Convolutional Networks for Large Scale Visual Concept Classification. - Milutin Nikolic, Branislav Borovac, Mirko Rakovic, Milica Zigic:
Increased Mobility in Presence of Multiple Contacts - Identifying Contact Configurations that Enable Arbitrary Acceleration of CoM. - Georgios Chatzigeorgakidis, Andrea Cuttone, Sune Lehmann, Jakob Eg Larsen:
Who Wants to Self-Track Anyway? Measuring the Relation between Self-Tracking Behavior and Personality Traits. - Avisek Lahiri, Biswajit Paria, Prabir Kumar Biswas:
Forward Stagewise Additive Model for Collaborative Multiview Boosting. - Jason D. Hartline, Samuel Taggart:
Non-Revelation Mechanism Design. - Ernest Davis:
Winograd Schemas and Machine Translation. - Lorenzo Fagiano, Eric Nguyen Van, Felix Rager, Stephan Schnez, Christian Ohler:
Autonomous Take-Off and Flight of a Tethered Aircraft for Airborne Wind Energy. - Stéphanie Guérit, Adriana Gonzalez, Anne Bol, John A. Lee, Laurent Jacques:
Blind Deconvolution of PET Images using Anatomical Priors. - Gabriele Spini, Gilles Zémor:
Perfectly Secure Message Transmission in Two Rounds. - Pranava Swaroop Madhyastha, Cristina España-Bonet:
Resolving Out-of-Vocabulary Words with Bilingual Embeddings in Machine Translation. - (Withdrawn) The Many Faces of Graph Dynamics.
- Frédéric Meunier, Wolfgang Mulzer, Pauline Sarrabezolles, Yannik Stein:
The Rainbow at the End of the Line - A PPAD Formulation of the Colorful Carathéodory Theorem with Applications. - Paul Beame, Nathan Grosshans, Pierre McKenzie, Luc Segoufin:
Nondeterminism and an abstract formulation of Nečiporuk's lower bound method. - Andrea Cuttone, Sune Lehmann, Jakob Eg Larsen:
Geoplotlib: a Python Toolbox for Visualizing Geographical Data. - Andrea Cuttone, Sune Lehmann, Marta C. González:
Understanding Predictability and Exploration in Human Mobility. - Mark Law, Alessandra Russo, Krysia Broda:
Iterative Learning of Answer Set Programs from Context Dependent Examples. - Jean-Marc Valin, Timothy B. Terriberry, Nathan E. Egge, Thomas J. Daede, Yushin Cho, Christopher Montgomery, Michael Bebenita:
Daala: Building A Next-Generation Video Codec From Unconventional Technology. - Paul Magron, Roland Badeau, Bertrand David:
Phase recovery by unwrapping: applications to music signal processing. - Mohammad Taher Pilehvar, Nigel Collier:
De-Conflated Semantic Representations. - Camilo Akimushkin, Diego R. Amancio, Osvaldo N. Oliveira Jr.:
Text authorship identified using the dynamics of word co-occurrence networks. - Maciej Wielgosz
, Marcin Pietron:
OpenCL-accelerated object classification in video streams using Spatial Pooler of Hierarchical Temporal Memory. - S. Dhanalakshmi, N. Sadagopan, Nitin Vivek Bharti:
R-connectivity Augmentation in Trees. - Sun Kim, W. John Wilbur, Zhiyong Lu:
Bridging the Gap: a Semantic Similarity Measure between Queries and Documents. - Peter M. Krafft, Julia Zheng, Wei Pan, Nicolás Della Penna, Yaniv Altshuler, Erez Shmueli, Joshua B. Tenenbaum, Alex Pentland:
Human collective intelligence as distributed Bayesian inference. - Mario Mastriani, Alberto E. Giraldez:
Enhanced Directional Smoothing Algorithm for Edge-Preserving Smoothing of Synthetic-Aperture Radar Images. - Elisabetta Ronchieri
, Maria Grazia Pia, Francesco Giacomini:
Software Quality Metrics for Geant4: An Initial Assessment. - Cho-Jui Hsieh, Si Si, Inderjit S. Dhillon:
Communication-Efficient Parallel Block Minimization for Kernel Machines. - Miguel Ramos, Marco Túlio Valente, Ricardo Terra, Gustavo Santos:
AngularJS in the Wild: A Survey with 460 Developers. - Yefeng Ruan, Tzu-Chun Lin:
An Integrated Recommender Algorithm for Rating Prediction. - Jun Zhou, Haozhou Yu, Karen Y. Smith, Colin Wilder, Hongkai Yu, Song Wang:
Identifying Designs from Incomplete, Fragmented Cultural Heritage Objects by Curve-Pattern Matching. - Jake Ryland Williams:
Boundary-based MWE segmentation with text partitioning. - Hatem Alismail, Brett Browning, Simon Lucey:
Photometric Bundle Adjustment for Vision-Based SLAM. - Martin Haenggi, Amites Sarkar:
Unique coverage in Boolean models. - Tomoya Murase, Tanaka Kanji:
Compressive Change Retrieval for Moving Object Detection. - Kanji Tanaka:
Multi-Model Hypothesize-and-Verify Approach for Incremental Loop Closure Verification. - Joon Son Chung, Andrew Zisserman:
Signs in time: Encoding human motion as a temporal image. - Yun Liu
, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su, Collin M. Stultz, John V. Guttag:
Transferring Knowledge from Text to Predict Disease Onset. - Hao Cheng, Hao Fang, Xiaodong He, Jianfeng Gao, Li Deng:
Bi-directional Attention with Agreement for Dependency Parsing. - George Barmpalias, Andrew Lewis-Pye, Angsheng Li:
Pointed computations and Martin-Löf randomness. - Daniela Inclezan:
COREALMLIB: An ALM Library Translated from the Component Library. - Radoslav Fulek:
Embedding graphs into embedded graphs. - Leon Derczynski:
Desiderata for Vector-Space Word Representations. - Su Zhu, Kai Yu:
Encoder-decoder with Focus-mechanism for Sequence Labelling Based Spoken Language Understanding. - Jiaming Li, Chau Yuen, Dong Li, Han Zhang, Xianda Wu:
On Hybrid Pilot for Channel Estimation in Massive MIMO Uplink. - Ivan Vulic, Daniela Gerz, Douwe Kiela, Felix Hill, Anna Korhonen:
HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment. - Adam Lesnikowski:
How Much Did it Rain? Predicting Real Rainfall Totals Based on Radar Data. - Michael McCoyd, David A. Wagner:
Spoofing 2D Face Detection: Machines See People Who Aren't There. - Yair Yona, Suhas N. Diggavi:
Password Cracking: The Effect of Bias on the Average Guesswork of Hash Functions. - John Lipor, Laura Balzano:
Leveraging Union of Subspace Structure to Improve Constrained Clustering. - Uwe Springmann, Anke Lüdeling:
OCR of historical printings with an application to building diachronic corpora: A case study using the RIDGES herbal corpus. - Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths:
Adapting Deep Network Features to Capture Psychological Representations. - Thomas A. Goldstein, Paul Hand, Choongbum Lee, Vladislav Voroninski, Stefano Soatto:
ShapeFit and ShapeKick for Robust, Scalable Structure from Motion. - Osvaldo Skliar, Ricardo E. Monge
, Sherry Gapper:
Analysis of time series and signals using the Square Wave Method. - Shuxing Li, Cunsheng Ding, Hao Liu:
A Family of Reversible BCH Codes. - Cunsheng Ding, Chengju Li, Shuxing Li:
LCD Cyclic Codes over Finite Fields. - Evan M. Drumwright:
True Rigidity: Interpenetration-free Multi-Body Simulation with Polytopic Contact. - (Withdrawn) Multiview Cauchy Estimator Feature Embedding for Depth and Inertial Sensor-Based Human Action Recognition.
- Neda Petreska, Hussein Al-Zubaidy, Rudi Knorr, James Gross:
Power-Minimization under Statistical Delay Constraints for Multi-Hop Wireless Industrial Networks. - Stephan R. Richter, Vibhav Vineet, Stefan Roth, Vladlen Koltun:
Playing for Data: Ground Truth from Computer Games. - Mark Burgess:
Spacetimes with Semantics (III) - The Structure of Functional Knowledge Representation and Artificial Reasoning. - Felix Bießmann:
Automating Political Bias Prediction. - Adwan Yasin, Abdelmunem Abuhasan:
An intelligent classification model for phishing email detection. - Vitaly Feldman:
A General Characterization of the Statistical Query Complexity. - Hussein A. Al-Barazanchi, Hussam Qassim, Abhishek Verma:
Residual CNDS. - Keisuke Sakaguchi, Kevin Duh, Matt Post, Benjamin Van Durme:
Robsut Wrod Reocginiton via semi-Character Recurrent Neural Network. - Fernando J. Corbacho:
Towards the Self-constructive Brain: emergence of adaptive behavior. - (Withdrawn) On converting community detection algorithms for fuzzy graphs in Neo4j.
- Shaohua Wan, Zhijun Chen, Tao Zhang, Bo Zhang, Kong-kat Wong:
Bootstrapping Face Detection with Hard Negative Examples. - Edward Johns, Stefan Leutenegger, Andrew J. Davison:
Deep Learning a Grasp Function for Grasping under Gripper Pose Uncertainty. - Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. - Xiaohua Huang, Sujing Wang, Xin Liu, Guoying Zhao, Xiaoyi Feng, Matti Pietikäinen:
Spontaneous Facial Micro-Expression Recognition using Discriminative Spatiotemporal Local Binary Pattern with an Improved Integral Projection. - Chang Liu, Bo Li, Yevgeniy Vorobeychik, Alina Oprea:
Robust High-Dimensional Linear Regression. - Ricardo Bencatel, Anouck R. Girard, Ilya V. Kolmanovsky
:
Reference Governor Strategies for Vehicle Rollover Avoidance. - Ali Khodabakhsh
, Seyyed Saeed Sarfjoo, Umut Uludag, Osman Soyyigit, Cenk Demiroglu:
Incorporation of Speech Duration Information in Score Fusion of Speaker Recognition Systems. - Liang Yu, Tao Jiang, Yulong Zou:
Distributed Real-Time Energy Management in Data Center Microgrids. - Mehran Zareh, Lorenzo Sabattini, Cristian Secchi:
Decentralized Biconnectivity Conditions in Multi-robot Systems. - Nicholas J. A. Harvey, Piyush Srivastava, Jan Vondrák:
Computing the independence polynomial in Shearer's region for the LLL. - Mehran Zareh, Lorenzo Sabattini, Cristian Secchi:
Enforcing Biconnectivity in Multi-robot Systems. - David Cox:
Delta Epsilon Alpha Star: A PAC-Admissible Search Algorithm. - Rossano Schifanella, Paloma de Juan, Joel R. Tetreault, Liangliang Cao:
Detecting Sarcasm in Multimodal Social Platforms. - Aleksey Zhuvikin, Valery I. Korzhik, Guillermo Morales-Luna:
Semi-Fragile Image Authentication based on CFD and 3-Bit Quantization. - Thushan Ganegedara, Lionel Ott, Fabio Ramos:
Online Adaptation of Deep Architectures with Reinforcement Learning. - Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag:
Uncovering Voice Misuse Using Symbolic Mismatch. - William R. Gray Roncal, Colin Lea, Akira Baruah, Gregory D. Hager:
SANTIAGO: Spine Association for Neuron Topology Improvement and Graph Optimization. - Federico Schlüter, Yanela Strappa, Facundo Bromberg, Diego H. Milone:
Blankets Joint Posterior score for learning irregular Markov network structures. - Sina Parhizi, Amin Khodaei:
Interdependency of Transmission and Distribution Pricing. - Karan Sikka, Gaurav Sharma:
Discriminatively Trained Latent Ordinal Model for Video Classification. - Petr Jancar:
Deciding structural liveness of Petri nets. - Kyung Jun Choi, Kwang Soon Kim:
Large-Scale Cloud Radio Access Networks with Practical Constraints: Asymptotic Analysis and Its Implications. - Elena Reshetova, Filippo Bonazzi, N. Asokan:
SELint: an SEAndroid policy analysis tool. - Antonio Vergari, Nicola Di Mauro, Floriana Esposito:
Towards Representation Learning with Tractable Probabilistic Models. - Saeedeh Moloudi, Michael Lentmaier, Alexandre Graell i Amat:
Finite Length Weight Enumerator Analysis of Braided Convolutional Codes. - Maria Henar Salas-Olmedo, Carolina Rojas Quezada:
Mapping mobility patterns to public spaces in a medium-sized city using geolocated tweets. - Mayu Otani
, Yuta Nakashima, Esa Rahtu, Janne Heikkilä, Naokazu Yokoya:
Learning Joint Representations of Videos and Sentences with Web Image Search. - Mahaman Sani Chaibou, Karim Kalti, Soulaiman Bassel, Mohamed Ali Mahjoub:
A combined Approach Based on Fuzzy Classification and Contextual Region Growing to Image Segmentation. - Mabrouka Hagui, Mohamed Ali Mahjoub, Ahmed Boukhris:
Comparative study and enhancement of Camera Tampering Detection algorithms. - Ibtissem Hadj Ali, Mohamed Ali Mahjoub:
Database of handwritten Arabic mathematical formulas images. - Steven Chaplick, Martin Toepfer, Jan Voborník, Peter Zeman:
On H-Topological Intersection Graphs. - Tim Roughgarden, Inbal Talgam-Cohen, Jan Vondrák:
When Are Welfare Guarantees Robust? - Ronald de Haan:
Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation. - Christopher Pockrandt, Marcel Ehrhardt, Knut Reinert:
Constant-time and space-efficient unidirectional and bidirectional FM-indices using EPR-dictionaries. - Baris Nakiboglu:
Renyi Radius and Sphere Packing Bound: Augustin's Approach. - Harald Kroll, Matthias Korb, Benjamin Weber, Samuel Willi, Qiuting Huang:
Maximum-Likelihood Detection for Energy-Efficient Timing Acquisition in NB-IoT. - Debasish Pattanayak, Kaushik Mondal, H. Ramesh, Partha Sarathi Mandal:
Fault-Tolerant Gathering of Mobile Robots with Weak Multiplicity Detection. - Sarah Alice Gaggl, Matthias Thimm:
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). - Niklas Ekström, Seif Haridi:
A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof. - Laura Giordano, Daniele Theseider Dupré:
ASP for Minimal Entailment in a Rational Extension of SROEL. - Subhash Khot, Igor Shinkar:
An $\widetilde{O}(n)$ Queries Adaptive Tester for Unateness. - Saeid Haghighatshoar, Giuseppe Caire:
Low-Complexity Massive MIMO Subspace Estimation and Tracking from Low-Dimensional Projections. - Ofir Pele, Yakir Ben-Aliz:
Interpolated Discretized Embedding of Single Vectors and Vector Pairs for Classification, Metric Learning and Distance Approximation. - Camila Souza Araujo, Wagner Meira Jr., Virgílio A. F. Almeida:
Identifying Stereotypes in the Online Perception of Physical Attractiveness. - Daniele Pucci:
Analysis and Control of Aircraft Longitudinal Dynamics subject to Steady Aerodynamic Forces. - Mohammadreza Kamaldar, Jesse B. Hoagg:
Multivariable Adaptive Harmonic Steady-State Control for Rejection of Sinusoidal Disturbances Acting on an Unknown System. - Chandra Chekuri, Thapanapong Rukkanchanunt:
A note on the Survivable Network Design Problem. - Marina Sokolova, Kanyi Huang, Stan Matwin, Joshua Ramisch, Vera Sazonova, Renee Black, Chris Orwa, Sidney Ochieng, Nanjira Sambuli:
Topic Modelling and Event Identification from Twitter Textual Data. - Manuel V. Hermenegildo, Pedro López-García:
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). - Jeffrey Pawlick, Quanyan Zhu:
A Stackelberg Game Perspective on the Conflict Between Machine Learning and Data Obfuscation. - Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Semantic Code Browsing. - Zhan Li, Olga Papaemmanouil, Mitch Cherniack:
OptMark: A Toolkit for Benchmarking Query Optimizers. - Adnan Saher Mohammed, Sahin Emrah Amrahov, Fatih V. Celebi:
Bidirectional Conditional Insertion Sort algorithm; An efficient progress on the classical insertion sort. - Michael Blondin, Alain Finkel, Pierre McKenzie:
Well Behaved Transition Systems. - Boxiang Dong, Zhengzhang Chen, Hui Wang, Lu-An Tang, Kai Zhang, Ying Lin, Haifeng Chen, Guofei Jiang:
GID: Graph-based Intrusion Detection on Massive Process Traces for Enterprise Security Systems. - Daniel Whalen:
Holophrasm: a neural Automated Theorem Prover for higher-order logic. - Ruocheng Guo, Elham Shaabani, Abhinav Bhatnagar, Paulo Shakarian:
Toward Early and Order-of-Magnitude Cascade Prediction in Social Networks. - Lev Nachmanson, Arlind Nocaj, Sergey Bereg, Leishi Zhang, Alexander E. Holroyd:
Node Overlap Removal by Growing a Tree. - Yan Liu, Bin Guo, Yang Wang, Wenle Wu, Zhiwen Yu, Daqing Zhang:
TaskMe: Multi-Task Allocation in Mobile Crowd Sensing. - Anis Elbahi, Mohamed Nazih Omri, Mohamed Ali Mahjoub, Kamel Garrouch:
Mouse Movement and Probabilistic Graphical Models Based E-Learning Activity Recognition Improvement Possibilistic Model. - Bin Guo, Yan Liu, Wenle Wu, Zhiwen Yu, Qi Han:
ActiveCrowd: A Framework for Optimized Multi-Task Allocation in Mobile Crowdsensing Systems. - Chengju Li, Cunsheng Ding, Hao Liu:
Parameters of two classes of LCD BCH codes. - François Le Gall:
Further Algebraic Algorithms in the Congested Clique Model and Applications to Graph-Theoretic Problems. - Krishna Kumar Singh, Yong Jae Lee:
End-to-End Localization and Ranking for Relative Attributes. - Roberto Tron:
A Factorization Approach to Inertial Affine Structure from Motion. - Amelia Harrison, Yuliya Lierler:
First-Order Modular Logic Programs and their Con: set servative Extensions. - Subhadeep Karan, Jaroslaw Zola:
Exact Structure Learning of Bayesian Networks by Optimal Path Extension. - Shuxing Li, Gennian Ge:
Constructions of Maximum Distance Separable Symbol-Pair Codes Using Cyclic and Constacyclic Codes. - Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
On Local Domain Symmetry for Model Expansion. - Nanyun Peng, Mark Dredze:
Multi-task Multi-domain Representation Learning for Sequence Tagging. - Daniel Gebler, Kirstin Peters
:
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. EPTCS 222, 2016 [contents] - Jakob Suchan, Mehul Bhatt
, Carl Schultz:
Deeply Semantic Inductive Spatio-Temporal Learning. - Boris Landa, Yoel Shkolnisky:
Steerable Principal Components for Space-Frequency Localized Images. - Minxian Xu, Amir Vahid Dastjerdi, Rajkumar Buyya:
Energy Efficient Scheduling of Cloud Application Components with Brownout. - Feng Shi, Jianer Chen, Qilong Feng, Jianxin Wang:
Parameterized Algorithms for the Maximum Agreement Forest Problem on Multiple Rooted Multifurcating Trees. - Hoa Khanh Dam, Truyen Tran, Trang Pham:
A deep language model for software code. - Ashkan Mokarian, Mateusz Malinowski, Mario Fritz:
Mean Box Pooling: A Rich Image Representation and Output Embedding for the Visual Madlibs Task. - Martin Simonovsky, Nikos Komodakis:
OnionNet: Sharing Features in Cascaded Deep Classifiers. - Kevis-Kokitsi Maninis, Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc Van Gool:
Convolutional Oriented Boundaries. - Arda Goknil, Ivan Kurtev, Klaas van den Berg:
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes. - (Withdrawn) SpEnD: Linked Data SPARQL Endpoints Discovery Using Search Engines.
- Konstantin S. Yakovlev, Anton Andreychuk:
Resolving Spatial-Time Conflicts In A Set Of Any-angle Or Angle-constrained Grid Paths. - Antonia Masucci, Alonso Silva:
Advertising Competitions in Social Networks. - Ke Yu, Chao Dong, Chen Change Loy, Xiaoou Tang:
Deep Convolution Networks for Compression Artifacts Reduction. - Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A General Framework for Static Profiling of Parametric Resource Usage. - Helen Jiang, Nikos Papasarantopoulos, Shay B. Cohen:
Canonical Correlation Inference for Mapping Abstract Scenes to Text. - Zahra Shakeri, Waheed U. Bajwa, Anand D. Sarwate:
Minimax Lower Bounds on Dictionary Learning for Tensor Data. - Harsh Thakkar
, Mohnish Dubey, Gezim Sejdiu, Axel-Cyrille Ngonga Ngomo, Jeremy Debattista, Christoph Lange, Jens Lehmann, Sören Auer, Maria-Esther Vidal:
LITMUS: An Open Extensible Framework for Benchmarking RDF Data Management Solutions. - Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes using Constrained Horn Clauses. - Bronislav Pribyl, Pavel Zemcík, Martin Cadík:
Camera Pose Estimation from Lines using Plücker Coordinates. - Brian Hempel, Ravi Chugh:
Semi-Automated SVG Programming via Direct Manipulation. - Sohail Payami, Mir Ghoraishi, Mehrdad Dianati:
Hybrid Beamforming for Large Antenna Arrays with Phase Shifter Selection. - Mundher Al-Shabi, Wooi Ping Cheah, Tee Connie:
Facial Expression Recognition Using a Hybrid CNN-SIFT Aggregator. - Jan Mrkos, Jan Drchal, Malcolm Egan, Michal Jakob:
Liftago On-Demand Transport Dataset and Market Formation Algorithm Based on Machine Learning. - Marzieh Najafi, Vahid Jamali, Robert Schober:
Optimal Relay Selection for the Parallel Hybrid RF/FSO Relay Channel: Non-Buffer-Aided and Buffer-Aided Designs. - Jeff Alstott, Christine Klymko, Pamela B. Pyzza, Mary Radcliffe:
Local rewiring algorithms to increase clustering and grow a small world. - Konstantinos Koufos, Carl P. Dettmann:
Temporal Correlation of Interference and Outage in Mobile Networks With Correlated Mobility in Finite Regions. - Ayad Ghany Ismaeel
, Dina Y. Mikhail:
Effective Data Mining Technique for Classification Cancers via Mutations in Gene using Neural Network. - David Cox:
Syntactically Informed Text Compression with Recurrent Neural Networks. - Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. - Jeniya Tabassum, Alan Ritter, Wei Xu:
A Minimally Supervised Method for Recognizing and Normalizing Time Expressions in Twitter. - Ke Zhang, Miao Sun, Tony X. Han, Xingfang Yuan, Liru Guo, Tao Liu:
Residual Networks of Residual Networks: Multilevel Residual Networks. - Konstantinos Koufos, Carl P. Dettmann, Justin P. Coon:
Correlated Interference from Uncorrelated Users in Bounded Ad Hoc Networks with Blockage. - Rohit Verma, Abhishek Srivastava:
A Dynamic Service Description for Mobile Environments. - Michael Henry Tessler, Noah D. Goodman:
A pragmatic theory of generic language. - Baskaran Sankaran, Haitao Mi, Yaser Al-Onaizan, Abe Ittycheriah:
Temporal Attention Model for Neural Machine Translation. - Karan Kumar Budhraja, Tim Oates:
Neuroevolution-Based Inverse Reinforcement Learning. - Tanmay Sinha:
Similarity in Observable Behaviors: A Synthesis of Studies with Implications for Socially-Aware Educational Technology Design. - Krzysztof Szczypiorski:
StegIbiza: New Method for Information Hiding in Club Music. - John A. Quinn, Rose Nakasi, Pius K. B. Mugagga, Patrick Byanyima, William Lubega, Alfred Andama:
Deep Convolutional Neural Networks for Microscopy-Based Point of Care Diagnostics. - Eriglen Gani, Alda Kika:
Albanian Sign Language (AlbSL) Number Recognition from Both Hand's Gestures Acquired by Kinect Sensors. - Anton Monk, Ronny Hadani, Michail Tsatsanis, Shlomo Rakib:
OTFS - Orthogonal Time Frequency Space. - Antonio Valerio Miceli Barone:
Towards cross-lingual distributed representations without parallel text trained with adversarial autoencoders. - Nicholas Locascio, Karthik Narasimhan, Eduardo DeLeon, Nate Kushman, Regina Barzilay:
Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge. - Santiago Segarra, Antonio G. Marques
, Gonzalo Mateos, Alejandro Ribeiro:
Network Topology Inference from Spectral Templates. - Mohammadhussein Rafieisakhaei, Suman Chakravorty, P. R. Kumar:
Belief Space Planning Simplified: Trajectory-Optimized LQG (T-LQG) (Extended Report). - Yuncheng Li, Liangliang Cao, Jiang Zhu, Jiebo Luo:
Mining Fashion Outfit Composition Using An End-to-End Deep Learning Approach on Set Data. - Hubie Chen, Matthew Valeriote, Yuichi Yoshida:
Testing Assignments to Constraint Satisfaction Problems. - Sumeet Katariya, Branislav Kveton, Csaba Szepesvári, Claire Vernade, Zheng Wen:
Stochastic Rank-1 Bandits. - Lucius Schoenbaum:
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. - Hao Liu, Cunsheng Ding, Chengju Li:
Dimensions of three types of BCH codes over GF(q). - Aaron Jaech, George Mulcaire, Shobhit Hathi, Mari Ostendorf, Noah A. Smith:
Hierarchical Character-Word Models for Language Identification. - Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
Universal Simulation of Directed Systems in the abstract Tile Assembly Model Requires Undirectedness. - Viorela Ila, Lukás Polok, Marek Solony, Pavel Svoboda:
Highly Efficient Compact Pose SLAM with SLAM++. - Md Shipon Ali, Ekram Hossain, Dong In Kim:
LTE/LTE-A Random Access for Massive Machine-Type Communications in Smart Cities. - Zhaokui Li, Jianbin Fang, Tao Tang, Xuhao Chen, Canqun Yang:
Streaming Applications on Heterogeneous Platforms. - Ziwei Liu, Sijie Yan, Ping Luo, Xiaogang Wang, Xiaoou Tang:
Fashion Landmark Detection in the Wild. - Fred Mesnard, Étienne Payet, Germán Vidal:
On the Completeness of Selective Unification in Concolic Testing of Logic Programs. - Mohamed Mostafa, Tom Crick, Ana C. Calderon, Giles Oatley:
Incorporating Emotion and Personality-Based Analysis in User-Centered Modelling. - C. Maria Keet:
An assessment of orthographic similarity measures for several African languages. - Benjamin Drayer, Thomas Brox:
Object Detection, Tracking, and Motion Segmentation for Object-level Video Segmentation. - Sungheon Park, Jihye Hwang, Nojun Kwak:
3D Human Pose Estimation Using Convolutional Neural Networks with 2D Pose Information. - Georgios C. Chasparis, Thomas Natschläger:
Regression Models for Output Prediction of Thermal Dynamics in Buildings. - Graham Cormode, Hossein Jowhari, Morteza Monemizadeh, S. Muthukrishnan:
The Sparse Awakens: Streaming Algorithms for Matching Size Estimation in Sparse Graphs. - Duc-Cuong Dang, Tobias Friedrich, Timo Kötzing, Martin S. Krejca, Per Kristian Lehre, Pietro S. Oliveto, Dirk Sudholt, Andrew M. Sutton:
Escaping Local Optima using Crossover with Emergent or Reinforced Diversity. - Eduard Baranov, Simon Bliudze:
A Note on the Expressiveness of BIP. 1-14 - Xian Xu:
Higher-order Processes with Parameterization over Names and Processes. 15-29 - Sanjiva Prasad, Lenore D. Zuck:
Self-Similarity Breeds Resilience. 30-44 - Matias David Lee, Bas Luttik:
Unique Parallel Decomposition for the Pi-calculus. 45-59 - Mariangiola Dezani-Ciancaglini
, Paola Giannini
:
Reversible Multiparty Sessions with Checkpoints. 60-74 - Massimo Bartoletti
, Ludovic Henrio, Sophia Knight
, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents] - Weiwei Wan, Hisashi Igawa, Kensuke Harada, Zepei Wu, Hiromu Onda, Kazuyuki Nagata, Natsuki Yamanobe:
A Mid-level Planning System for Object Reorientation. - Sefa Demirtas:
Minimax Design of Nonlinear Phase FIR Filters with Optimality Certificates. - Sharu Theresa Jose, Ankur A. Kulkarni:
Linear Programming based Converses for Finite Blocklength Lossy Joint Source-Channel Coding. - Yan Jin, David I. Shuman:
An $M$-Channel Critically Sampled Filter Bank for Graph Signals. - Vincent T. Lee, Justin Kotalik, Carlo C. del Mundo, Armin Alaghi, Luis Ceze, Mark Oskin:
Near Memory Similarity Search on Automata Processors. - Qingqing Wu, Geoffrey Ye Li, Wen Chen, Derrick Wing Kwan Ng:
Energy-Efficient Small Cell with Spectrum-Power Trading. - Jiangbin Lyu, Yong Zeng, Rui Zhang:
Cyclical Multiple Access in UAV-Aided Communications: A Throughput-Delay Tradeoff. - Neil Walkinshaw
, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. - Nicolas Pena, Allan Borodin:
On the limitations of deterministic de-randomizations for online bipartite matching and max-sat. - Salvador Aguiñaga, Rodrigo Palácios, David Chiang, Tim Weninger:
Growing Graphs with Hyperedge Replacement Graph Grammars. - Ismael Gutiérrez, Ivan Molina:
On quasi-cyclic subspace codes. - Ali Diba, Ali Mohammad Pazandeh, Hamed Pirsiavash, Luc Van Gool:
DeepCAMP: Deep Convolutional Action & Attribute Mid-Level Patterns. - Mohsen Ghaffari, Hsin-Hao Su:
Distributed Degree Splitting, Edge Coloring, and Orientations. - Naji Khosravan, Haydar Celik, Baris Turkbey, Ruida Cheng, Evan S. McCreedy, Matthew J. McAuliffe, Sandra Bednarova, Elizabeth C. Jones, Xinjian Chen, Peter L. Choyke, Bradford J. Wood, Ulas Bagci:
Gaze2Segment: A Pilot Study for Integrating Eye-Tracking Technology into Medical Image Segmentation. - Qi Yang, Dali Chen, Tiebiao Zhao, YangQuan Chen:
Fractional Calculus In Image Processing: A Review. - Roee David, Karthik C. S., Bundit Laekhanukit:
The Curse of Medium Dimension for Geometric Problems in Almost Every Norm. - Michael B. Cohen, Jonathan A. Kelner, John Peebles, Richard Peng, Aaron Sidford, Adrian Vladu:
Faster Algorithms for Computing the Stationary Distribution, Simulating Random Walks, and More. - Andrew G. Reece, Christopher M. Danforth:
Instagram photos reveal predictive markers of depression. - Hrushikesh N. Mhaskar, Tomaso A. Poggio:
Deep vs. shallow networks : An approximation theory perspective. - Zhi-Zhong Chen, Guohui Lin, Lusheng Wang, Yong Chen:
Approximation algorithms for the maximum weight internal spanning tree problem. - Luiza Nacshon, Rami Puzis, Polina Zilberman:
Floware: Balanced Flow Monitoring in Software Defined Networks. - Himalaya Jain, Patrick Pérez, Rémi Gribonval, Joaquin Zepeda, Hervé Jégou:
Approximate search with quantized sparse representations. - Arkadev Chattopadhyay, Michael Langberg, Shi Li, Atri Rudra:
Tight Network Topology Dependent Bounds on Rounds of Communication. - Henryk Michalewski, Matteo Mio
, Mikolaj Bojanczyk:
On the Regular Emptiness Problem of Subzero Automata. 1-23 - Tommaso Bolognesi, Vincenzo Ciancia
:
Nominal Cellular Automata. 24-35 - Simon Fowler
:
An Erlang Implementation of Multiparty Session Actors. 36-50 - Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu:
Multi-Threaded Actors. 51-66 - Roberto Guanciale
, Emilio Tuosto:
An Abstract Semantics of the Global View of Choreographies. 67-82 - Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. 83-97 - Alexis Bernadet, Ivan Lanese:
A Modular Formalization of Reversibility for Concurrent Models and Languages. 98-112 - Seyed H. Haeri (Hossein)
, Peter Van Roy, Carlos Baquero
, Christopher Meiklejohn:
Worlds of Events: Deduction with Partial Knowledge about Causality. 113-127 - Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari
, Letterio Galletta
:
A Step Towards Checking Security in IoT. 128-142 - Kuan Liu, Xing Shi, Anoop Kumar, Linhong Zhu, Prem Natarajan:
Temporal Learning and Sequence Modeling for a Job Recommender System. - Shaobo Lin, Xin Guo, Ding-Xuan Zhou:
Distributed Learning with Regularized Least Squares. - Chenwei Zhang, Sihong Xie, Yaliang Li, Jing Gao, Wei Fan, Philip S. Yu:
Multi-source Hierarchical Prediction Consolidation. - Yutaka Nagashima, Liam O'Connor:
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML. - Wenbo He, Bobak Nazer, Shlomo Shamai:
Uplink-Downlink Duality for Integer-Forcing. - Pavol Hell, Arash Rafiey:
Bi-Arc Digraphs and Conservative Polymorphisms. - Ravi Kiran Sarvadevabhatla, Jogendra Kundu, Radhakrishnan Venkatesh Babu:
Enabling My Robot To Play Pictionary : Recurrent Neural Networks For Sketch Recognition. - Shenghua Liu, Houdong Zheng, Huawei Shen, Xiangwen Liao, Xueqi Cheng:
Learning Sentimental Influences from Users' Behaviors. - Nitigya Sambyal, Pawanesh Abrol:
Automatic text extraction and character segmentation using maximally stable extremal regions. - Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
The DoF Region of the Three-Receiver MIMO Broadcast Channel with Side Information and Its Relation to Index Coding Capacity. - Yuzhe Xu, Hossein Shokri Ghadikolaei, Carlo Fischione:
Distributed Association and Relaying with Fairness in Millimeter Wave Networks. - Lun Liu, Hui Wang, Chunyang Wu:
A machine learning method for the large-scale evaluation of urban visual environment. - Yunpeng Li, Costas Courcoubetis, Lingjie Duan:
Dynamic routing for social information sharing. - Tilen Marc, Lovro Subelj:
On convexity in complex networks. - Francis Wyffels, Willem Van de Steene, Jelle Roets, Maria-Cristina Ciocci, Juan Pablo Carbajal:
Building ArtBots to Attract Students into STEM Learning. - Tatiana Tommasi, Arun Mallya, Bryan A. Plummer, Svetlana Lazebnik, Alexander C. Berg, Tamara L. Berg:
Solving Visual Madlibs with Multiple Cues. - Hadrien Barral, Houda Ferradi, Rémi Géraud, Georges-Axel Jaloyan, David Naccache:
ARMv8 Shellcodes from 'A' to 'Z'. - Dan Stowell, Mike Wood, Yannis Stylianou, Hervé Glotin:
Bird detection in audio: a survey and a challenge. - María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. - Asma Afzal, Syed Ali Raza Zaidi, Desmond C. McLernon, Mounir Ghogho:
Information-Centric Offloading in Cellular Networks with Coordinated Device-to-Device Communication. - Tong Xin, Bin Guo, Zhu Wang, Mingyang Li, Zhiwen Yu:
FreeSense: Indoor Human Identification with WiFi Signals. - Mordechai Guri, Yosef A. Solewicz, Andrey Daidakulov, Yuval Elovici:
DiskFiltration: Data Exfiltration from Speakerless Air-Gapped Computers via Covert Hard Drive Noise. - Jesper Nederlof:
Finding Large Set Covers Faster via the Representation Method. - Emmanuel Maggiori, Yuliya Tarabalka, Guillaume Charpiat
, Pierre Alliez:
Recurrent Neural Networks to Enhance Satellite Image Classification Maps. - Thomas Maillart, Mingyi Zhao, Jens Grossklags, John Chuang:
Given Enough Eyeballs, All Bugs Are Shallow? Revisiting Eric Raymond with Bug Bounty Programs. - Stefania Raimondo, Frank Rudzicz:
Sex, drugs, and violence. - Muhammet Bastan, Özgür Yilmaz:
Multi-View Product Image Search Using ConvNets Features. - Buyu Liu, Xuming He:
Learning Dynamic Hierarchical Models for Anytime Scene Labeling. - Nguyen Cong Luong, Dinh Thai Hoang, Ping Wang, Dusit Niyato, Dong In Kim, Zhu Han:
Data Collection and Wireless Communication in Internet of Things (IoT) Using Economic Analysis and Pricing Models: A Survey. - Ramin Rahnamoun, Reza Rawassizadeh, Arash Maskooki:
Learning Mobile App Usage Routine through Learning Automata. - Nihir Patel, Jason T. L. Wang:
Semi-Supervised Prediction of Gene Regulatory Networks Using Machine Learning Algorithms. - László Gyarmati, Rade Stanojevic:
QPass: a Merit-based Evaluation of Soccer Passes. - Fernando Sáenz-Pérez:
Intuitionistic Logic Programming for SQL (Extended Abstract). - Jianjun Yang, Ju Shen, Ping Guo, Bryson Payne, Tongquan Wei:
A Machine Learning Based Forwarding Algorithm Over Cognitive Radios in Wireless Mesh Networks. - Daniel Hewlett, Alexandre Lacoste, Llion Jones, Illia Polosukhin, Andrew Fandrianto, Jay Han, Matthew Kelcey, David Berthelot:
WikiReading: A Novel Large-scale Language Understanding Task over Wikipedia. - Shuai Li, Claudio Gentile, Alexandros Karatzoglou, Giovanni Zappella:
Online Context-Dependent Clustering in Recommendations based on Exploration-Exploitation Algorithms. - James A. Ross, David A. Richie:
An OpenSHMEM Implementation for the Adapteva Epiphany Coprocessor. - David A. Richie, James A. Ross:
OpenCL + OpenSHMEM Hybrid Programming Model for the Adapteva Epiphany Architecture. - Nikos Bikakis, Chrisa Tsinaraki, Nektarios Gioldasis, Ioannis Stavrakantonakis, Stavros Christodoulakis:
The XML and Semantic Web Worlds: Technologies, Interoperability and Integration. A Survey of the State of the Art. - Peter Mancini, Benjamin Bengfort, Ben Shneiderman:
Interactive Exploration of the Employment Situation Report: From Fixed Tables to Dynamic Discovery. - Argyrios Deligkas, John Fearnley, Rahul Savani
:
Inapproximability Results for Approximate Nash Equilibria. - Alexandr Andoni, Thijs Laarhoven, Ilya P. Razenshteyn, Erik Waingarten:
Optimal Hashing-based Time-Space Trade-offs for Approximate Near Neighbors. - Alexander Koplenig, Peter Meyer, Sascha Wolfer, Carolin Müller-Spitzer:
The statistical trade-off between word order and word structure - large-scale evidence for the principle of least effort. - Thomas Maillart, Didier Sornette:
Aristotle vs. Ringelmann: A response to Scholtes et al. on Superlinear Production in Open Source Software. - Evan Shelhamer, Kate Rakelly, Judy Hoffman, Trevor Darrell:
Clockwork Convnets for Video Semantic Segmentation. - Rafiqul Islam, Iftekharul Mobin, Md. Nazmus Shakib, Md Matiur Rahman:
An approach of IR-Based short-range correspondence systems for swarm robot balanced requisitions and communications. - Alina Ene, Huy L. Nguyen:
Constrained Submodular Maximization: Beyond 1/e. - Larbi Guezouli, Hanane Belhani:
Automatic detection of moving objects in video surveillance. - Yongxin Chen, Tryphon T. Georgiou, Michele Pavon:
Optimal steering of a linear stochastic system to a final probability distribution, Part III. - Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso:
From Manual Android Tests to Automated and Platform Independent Test Scripts. - Andreas Mang, Amir Gholami, George Biros:
Distributed-memory large deformation diffeomorphic 3D image registration. - Yongyu Dai, Xiaodai Dong, Hai Lin:
Downlink Performance of Pilot-Reused HetNet with Large-Scale Antenna Arrays. - Yongyu Dai, Xiaodai Dong, Wu-Sheng Lu:
MSE-based Precoding for MIMO Downlinks in Heterogeneous Networks. - Ravi Kannan, Santosh S. Vempala:
Beyond Spectral: Tight Bounds for Planted Gaussians. - Jack Lanchantin, Ritambhara Singh, Beilun Wang, Yanjun Qi:
Deep GDashboard: Visualizing and Understanding Genomic Sequences Using Deep Neural Networks. - Tom J. Ameloot, Jan Van den Bussche:
Learning with Value-Ramp. - Mohammad Nazif Faqiry, Sanjoy Das:
Transactive Energy Auction with Hidden User Information in Microgrid. - Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack:
MiniZinc with Strings. - Rui Fan, Ke Xu, Jichang Zhao:
Easier contagion and weaker ties make anger spread faster than joy in social media. - Yadong Mu, Zhu Liu:
Deep Hashing: A Joint Approach for Image Signature Learning. - Xiaomao Mao, Huifang Chen, Peiliang Qiu:
An Algorithm to Realize Rate-Splitting in Gaussian Multi-access Channel. - Xiaomao Mao, Huifang Chen, Peiliang Qiu:
To Prolong the Lifetime of Wireless Sensor Networks: The Min-max Fair Scheduling in a Multi-access Contra-Polymatroid. - Wei Wen, Chunpeng Wu, Yandan Wang, Yiran Chen, Hai Li:
Learning Structured Sparsity in Deep Neural Networks. - Martin Lukac, Kamila Abdiyeva, Michitaka Kameyama:
Reasoning and Algorithm Selection Augmented Symbolic Segmentation. - Guillermo L. Grinblat, Ariel E. Bayá, Diego H. Milone, Pablo M. Granitto, Georgina Stegmayer:
Inferring unknown biological function by integration of GO annotations and gene expression data. - Charlie Curtsinger, Emery D. Berger:
Coz: Finding Code that Counts with Causal Profiling. - Paul Cuff, Lanqing Yu:
Differential Privacy as a Mutual Information Constraint. - Hung-I Yu, Tien-Ching Lin, D. T. Lee:
The (1|1)R-Centroid Problem on the Plane. - A. Borumand Saeid, Cristina Flaut, Sárka Hosková-Mayerová, Roxana-Lavinia Cristea, Morteza Afshar, M. Kuchaki Rafsanjani:
Some connections between BCK algebras and n ary block codes. - Fatemeh Arbabjolfaei, Young-Han Kim:
Structural Properties of Index Coding Capacity. - Sungjoon Choi, Kyungjae Lee, Hyungju Andy Park, Songhwai Oh:
Density Matching Reward Learning. - Raymond W. Yeung, Ali Al-Bashabsheh, Chao Chen, Qi Chen, Pierre Moulin:
On Characterizations of Markov Random Fields and Subfields. - Mike Koivisto, Mário Costa, Aki Hakkarainen, Kari Leppänen, Mikko Valkama:
Joint 3D Positioning and Network Synchronization in 5G Ultra-Dense Networks Using UKF and EKF. - Aibek Ryskaliyev, Sanzhar Askaruly, Alex Pappachen James:
Speech Signal Analysis for the Estimation of Heart Rates Under Different Emotional States. - Yuriy Kozachenko, Andriy Olenko
:
Aliasing-truncation Errors in Sampling Approximations of Sub-Gaussian Signals. - Yerlan Berdaliyev, Alex Pappachen James:
RFID-Cloud Smart Cart System. - Philipp Morgner, Stephan Mattejat, Zinaida Benenson:
All Your Bulbs Are Belong to Us: Investigating the Current State of Security in Connected Lighting Systems. - Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri:
Causal Discrimination Discovery Through Propensity Score Analysis. - Vahid Jamali, Arman Ahmadzadeh, Christophe Jardin, Heinrich Sticht, Robert Schober:
Channel Estimation for Diffusive Molecular Communications. - (Withdrawn) Self-paced Learning for Weakly Supervised Evidence Discovery in Multimedia Event Search.
- Dong Liu, Chenyang Yang:
Caching Policy Toward Maximal Success Probability and Area Spectral Efficiency of Cache-enabled HetNets. - Bin Liu, Shi Cheng, Yuhui Shi:
Student's t Distribution based Estimation of Distribution Algorithms for Derivative-free Global Optimization. - Stefano Salsano, Fabio Patriarca, Francesco Lo Presti, Francesco Fedi:
Accurate and efficient measurements of IP level performance to drive interface selection in heterogeneous wireless networks. - Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh:
Extracting Biological Pathway Models From NLP Event Representations. - Michael Spranger, Sucheendra K. Palaniappan, Samik Ghosh:
Measuring the State of the Art of Automated Pathway Curation Using Graph Algorithms - A Case Study of the mTOR Pathway. - Alan Gous, Arash Afrakhteh, John Evans:
A Comparison of Approaches for Traffic Engineering in IP and MPLS Networks. - Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Unification of Higher Order Expressions with Recursive Let. - Martin Danelljan, Andreas Robinson, Fahad Shahbaz Khan, Michael Felsberg:
Beyond Correlation Filters: Learning Continuous Convolution Operators for Visual Tracking. - Mike Koivisto, Aki Hakkarainen, Mário Costa, Petteri Kela, Kari Leppänen, Mikko Valkama:
High-Efficiency Device Positioning and Location-Aware Communications in Dense 5G Networks. - Thomas Moyer, Vijay Gadepally:
High-throughput Ingest of Provenance Records into Accumulo. - Yaared Al-Mehairi, Bob Coecke, Martha Lewis:
Compositional Distributional Cognition. - Rajiv Shah, Rob Romijnders:
Applying Deep Learning to Basketball Trajectories. - Andrey Kutuzov, Erik Velldal, Lilja Øvrelid:
Redefining part-of-speech classes with distributional semantic models. - Chenyou Fan, David J. Crandall:
DeepDiary: Automatic Caption Generation for Lifelogging Image Streams. - Ashley D. Edwards, Charles Lee Isbell Jr., Atsuo Takanishi:
Perceptual Reward Functions. - Ali Najdi Al-Shuwaili, Osvaldo Simeone, Jörg Kliewer, Petar Popovski:
Coded Network Function Virtualization: Fault Tolerance via In-Network Coding. - Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. - Martin Lukac, Kamila Abdiyeva, Michitaka Kameyama:
On Minimal Accuracy Algorithm Selection in Computer Vision and Intelligent Systems. - Michael X. Grey, Aaron D. Ames, C. Karen Liu:
Traversing Environments Using Possibility Graphs for Humanoid Robots. - Datong Zhou, Maximilian Balandat, Claire J. Tomlin:
A Bayesian Perspective on Residential Demand Response Using Smart Meter Data. - Shripad Gade, Nitin H. Vaidya:
Distributed Optimization for Client-Server Architecture with Negative Gradient Weights. - Hassan Khodaiemehr, Dariush Kiani, Mohammad-Reza (Rafsanjani) Sadeghi:
LDPC Lattice Codes for Full-Duplex Relay Channels. - Miguel Calvo-Fullana, Javier Matamoros, Carles Antón-Haro:
Sensor Selection and Power Allocation Strategies for Energy Harvesting Wireless Sensor Networks. - Hao Wu, Maoyuan Sun, Jilles Vreeken, Nikolaj Tatti, Chris North, Naren Ramakrishnan:
Interactive and Iterative Discovery of Entity Network Subgraphs. - Dimitris Vartziotis:
Curvature transformation. - Dat Tien Nguyen, Kamla Al-Mannai, Shafiq R. Joty, Hassan Sajjad, Muhammad Imran, Prasenjit Mitra:
Rapid Classification of Crisis-Related Data on Social Networks using Convolutional Neural Networks. - Georgios-Ioannis Brokos, Prodromos Malakasiotis, Ion Androutsopoulos:
Using Centroids of Word Embeddings and Word Mover's Distance for Biomedical Document Retrieval in Question Answering. - Ruizhi Liao, Esra Abaci Turk, Miaomiao Zhang, Jie Luo, Patricia Ellen Grant, Elfar Adalsteinsson, Polina Golland:
Temporal Registration in In-Utero Volumetric MRI Time Series. - Paul Tarau:
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms.