![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CoRR, January 2017
- Massimiliano Dal Mas:
Digital Advertising Traffic Operation: Machine Learning for Process Discovery. - Kostas Alexis:
Technical Report: Optimal Surveillance of Dynamic Parades using Teams of Aerial Robots. - R. A. Borsoi, Julio Cesar Ceballos Aya, Guilherme Holsbach Costa, José C. M. Bermudez:
Super-Resolution Reconstruction of Electrical Impedance Tomography Images. - Emmanuel N. Osegi:
p-DLA: A Predictive System Model for Onshore Oil and Gas Pipeline Dataset Classification and Monitoring - Part 1. - Dietmar Fey:
Evaluating Ternary Adders using a hybrid Memristor / CMOS approach. - Sree Harsha Ramesh, Raveena R. Kumar:
A POS Tagger for Code Mixed Indian Social Media Text - ICON-2016 NLP Tools Contest Entry from Surukam. - Jeevan Joishi, Ashish Sureka:
Graph or Relational Databases: A Speed Comparison for Process Mining Algorithm. - Theodosis Mourouzis, Marcin Wójcik, Nikos Komninos
:
On The Security Evaluation of Partial Password Implementations. - Ashish Sureka:
Parichayana: An Eclipse Plugin for Detecting Exception Handling Anti-Patterns and Code Smells in Java Programs. - Ivan Svogor:
An initial performance review of software components for a heterogeneous computing platform. - Ivan Svogor, Jan Carlson:
SCALL: Software Component Allocator for Heterogeneous Embedded Systems. - Jun Suzuki, Masaaki Nagata:
RNN-based Encoder-decoder Approach with Word Frequency Estimation. - Helge Rhodin, Christian Richardt, Dan Casas, Eldar Insafutdinov, Mohammad Shafiei, Hans-Peter Seidel, Bernt Schiele, Christian Theobalt:
EgoCap: Egocentric Marker-less Motion Capture with Two Fisheye Cameras (Extended Abstract). - Silvio Amir, Ramón Fernandez Astudillo, Wang Ling, Paula C. Carvalho
, Mário J. Silva:
Expanding Subjective Lexicons for Social Media Mining with Embedding Subspaces. - Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee:
Even 1×n Edge-Matching and Jigsaw Puzzles are Really Hard. - Sibylle Schwarz, Janis Voigtländer:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents] - Yassine Maleh, Abdellah Ezzati:
Study and Development of a New Symmetric Key Management Scheme for Wireless Sensor Networks. - Ian J. Goodfellow:
NIPS 2016 Tutorial: Generative Adversarial Networks. - Shawn Meier, Aleksandar Chakarov, Maxwell Russek, Sergio Mover, Bor-Yuh Evan Chang:
Abstracting Event-Driven Systems with Lifestate Rules. - Amit Shaked, Lior Wolf:
Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning. - Jan Snajder:
Social Media Argumentation Mining: The Quest for Deliberateness in Raucousness. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
Tree segmentation in multi-story stands within small-footprint airborne LiDAR data. - Pierre-André G. Maugis, Sofia C. Olhede, Patrick J. Wolfe:
Fast counting of medium-sized rooted subgraphs. - Vikram Krishnamurthy:
POMDP Structural Results for Controlled Sensing. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
A scalable approach for tree segmentation within small-footprint airborne LiDAR data. - Jiaming Xu, Bo Xu, Peng Wang, Suncong Zheng, Guanhua Tian, Jun Zhao:
Self-Taught Convolutional Neural Networks for Short Text Clustering. - Lakshmi Anantharamu, Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki:
Packet Latency of Deterministic Broadcasting in Adversarial Multiple Access Channels. - Yuan Zhang, Regina Barzilay, Tommi S. Jaakkola:
Aspect-augmented Adversarial Networks for Domain Adaptation. - Hao Liu, Zequn Jie, Jayashree Karlekar, Meibin Qi, Jianguo Jiang, Shuicheng Yan, Jiashi Feng:
Video-based Person Re-identification with Accumulative Motion Context. - Hamid Hamraz, Marco A. Contreras, Jun Zhang:
A robust approach for tree segmentation in deciduous forests using small-footprint airborne LiDAR data. - Kodzo Wegba, Aidong Lu, Yuemeng Li, Wencheng Wang:
Interactive Movie Recommendation Through Latent Semantic Analysis and Storytelling. - Tao Han, Guoqiang Mao, Qiang Li, Lijun Wang, Jing Zhang:
Interference Minimization in 5G Heterogeneous Networks. - Hassan Khodaiemehr, Dariush Kiani:
Construction and Encoding of QC-LDPC Codes Using Group Rings. - Andrey Finkelstein, Ron Biton, Rami Puzis, Asaf Shabtai:
Classification of Smartphone Users Using Internet Traffic. - Carsten Rösnick-Neugebauer:
Closed Sets and Operators thereon: Representations, Computability and Complexity. - Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - Jingjing Wang, Chunxiao Jiang, Haijun Zhang, Yong Ren, Victor C. M. Leung:
Aggressive Congestion Control Mechanism for Space Systems. - Jingjing Wang, Chunxiao Jiang, Zhi Bie, Tony Q. S. Quek, Yong Ren:
Mobile Data Transactions in Device-to-Device Communication Networks: Pricing and Auction. - Jingjing Wang, Chunxiao Jiang, Longxiang Gao, Shui Yu
, Zhu Han, Yong Ren:
Complex Network Theoretical Analysis on Information Dissemination over Vehicular Networks. - Tingwu Wang, Jian Wang, Chunxiao Jiang, Jingjing Wang, Yong Ren:
Access Strategy in Super WiFi Network Powered by Solar Energy Harvesting: A POMDP Method. - Hongwei Liu, Youcef Maouche:
Some Repeated-Root Constacyclic Codes over Galois Rings. - Tony T. Luo, Salil S. Kanhere, Jianwei Huang, Sajal K. Das, Fan Wu:
Sustainable Incentives for Mobile Crowdsensing. - Jiashi Feng, Huan Xu, Shie Mannor:
Outlier Robust Online Learning. - Arman Shojaeifard, Kai-Kit Wong, Marco Di Renzo, Gan Zheng, Khairi Ashour Hamdi, Jie Tang:
Self-Interference in Full-Duplex Multi-User MIMO Channels. - Ernst-Erich Doberkat:
Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. - Caelan Reed Garrett, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
STRIPS Planning in Infinite Domains. - David J. P. O'Sullivan, Guillermo Garduño-Hernández, James P. Gleeson, Mariano Beguerisse-Díaz:
Integrating sentiment and social structure to determine preference alignments: The Irish Marriage Referendum. - José Naranjo-Torres, Juliana Gambini, Alejandro C. Frery:
The Geodesic Distance between GI0 Models and its Application to Region Discrimination. - Denis Tomè, Chris Russell, Lourdes Agapito:
Lifting from the Deep: Convolutional 3D Pose Estimation from a Single Image. - Mustafa A. Kishk, Harpreet S. Dhillon:
Stochastic Geometry-based Comparison of Secrecy Enhancement Techniques in D2D Networks. - Lanlan Liu, Jia Deng:
Dynamic Deep Neural Networks: Optimizing Accuracy-Efficiency Trade-offs by Selective Execution. - Carlos E. Frasser:
Topological Analysis and Synthesis of Structures related to Certain Classes of K-Geodetic Computer Networks. - Arthur Milchior:
(Quasi-)linear time algorithm to compute LexDFS, LexUP and LexDown orderings. - Fazel Sharifi, Atiyeh Panahi, Mohammad Hossein Moaiyeri, Keivan Navi:
High Performance CNFET-based Ternary Full Adders. - Endre T. Somogyi, James A. Glazier:
A modeling and simulation language for biological cells with coupled mechanical and chemical processes. - Walid Shalaby, Wlodek Zadrozny:
Patent Retrieval: A Literature Review. - Carlos Oscar Sánchez Sorzano, José María Carazo:
Challenges ahead Electron Microscopy for Structural Biology from the Image Processing point of view. - Wen Sun, Véronique Simon, Sébastien Monnet, Philippe Robert, Pierre Sens:
Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems: A Mean-Field Approach. - Rohitash Chandra:
An affective computational model for machine consciousness. - Kaveh Khoshkhah, Dirk Oliver Theis:
Fooling Sets and the Spanning Tree Polytope. - Seunghoon Hong, Donghun Yeo, Suha Kwak, Honglak Lee, Bohyung Han:
Weakly Supervised Semantic Segmentation using Web-Crawled Videos. - Matthew Kokshoorn, He Chen, Yonghui Li, Branka Vucetic:
Beam-On-Graph: Simultaneous Channel Estimation in Multi-user Millimeter Wave MIMO Systems. - Zhinan Xu, Markus Hofer, Thomas Zemen:
A time-variant channel prediction and feedback framework for interference alignment. - Feiping Nie, Rui Zhang, Xuelong Li:
A generalized power iteration method for solving quadratic problem on the Stiefel manifold. - Adnan Ashraf, Ivan Porres:
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system. - Chathura M. Sarathchandra Magurawalage, Kun Yang, Patrik Ritosa, Michael Georgiades, Kezhi Wang:
A Resource Management Protocol for Mobile Cloud Using Auto-Scaling. - Christoph Böddeker, Patrick Hanebrink, Lukas Drude, Jahn Heymann, Reinhold Haeb-Umbach:
On the Computation of Complex-valued Gradients with Application to Statistically Optimum Beamforming. - Clément Pernet, Arne Storjohann:
Time and space efficient generators for quasiseparable matrices. - Omar Boussaïd, Jérôme Darmont
, Fadila Bentayeb, Sabine Loudcher
:
Warehousing complex data from the Web. - Jérôme Darmont
, Fadila Bentayeb, Omar Boussaïd:
Benchmarking data warehouses. - Zhen He, Jérôme Darmont
:
Evaluating the Dynamic Behavior of Database Applications. - Yassine Maleh, Abdellah Ezzati:
Study and Development of a Symmetric protocol to secure communications in WSN. - V. S. R. Veeravasarapu, Constantin A. Rothkopf, Visvanathan Ramesh:
Adversarially Tuned Scene Generation. - Róbert Pálovics, András A. Benczúr:
Raising Graphs From Randomness to Reveal Information Networks. - Alexandre Decan, Mathieu Goeminne, Tom Mens:
On the Interaction of Relational Database Access Technologies in Open Source Java Projects. - Kevin Byron, Jason T. L. Wang:
A Computational Approach to Finding RNA Tertiary Motifs in Genomic Sequences. - David Sánchez, Montserrat Batet:
Toward sensitive document release with privacy guarantees. - Arun V. Mahadev, Dominik Krupke, Jan-Marc Reinhardt, Sándor P. Fekete, Aaron T. Becker:
Collecting a Swarm in a Grid Environment Using Shared, Global Inputs. - Morteza Babaie, Hamid R. Tizhoosh, Shujin Zhu, Mohammad Ebrahim Shiri:
Retrieving Similar X-Ray Images from Big Image Data Using Radon Barcodes with Single Projections. - Chun-Chen Liu, Oscar Lau, Jason Y. Du:
Complete DFM Model for High-Performance Computing SoCs with Guard Ring and Dummy Fill Effect. - Antonio Lieto, Antonio Chella, Marcello Frixione:
Conceptual Spaces for Cognitive Architectures: A Lingua Franca for Different Levels of Representation. - Ghasem Alikhajeh, Abdolreza Mirzaei, Mehran Safayani, Meysam Ghaffari:
Duplicate matching and estimating features for detection of copy-move images forgery. - Sudarshan Guruacharya, Hina Tabassum, Ekram Hossain:
SINR Outage Evaluation in Cellular Networks: Saddle Point Approximation (SPA) Using Normal Inverse Gaussian (NIG) Distribution. - Wenjia Meng, Zonghua Gu, Ming Zhang, Zhaohui Wu:
Two-Bit Networks for Deep Learning on Resource-Constrained Embedded Devices. - Berrie van der Molen, Lars Buitinck, Toine Pieters:
The leveled approach. Using and evaluating text mining tools AVResearcherXL and Texcavator for historical research on public perceptions of drugs. - Ariel Ephrat, Shmuel Peleg:
Vid2speech: Speech Reconstruction from Silent Video. - George M. Slota, Sivasankaran Rajamanickam, Kamesh Madduri:
Distributed Graph Layout for Scalable Small-world Network Analysis. - Peter Krejzl, Barbora Hourová, Josef Steinberger:
Stance detection in online discussions. - Iddan Golomb, Christos Tzamos:
Truthful Facility Location with Additive Errors. - (Withdrawn) Extended Formulations for Polytopes of Regular Matroids.
- Kun He, Mohammed Dosh, Shenghao Zou:
Packing Unequal Circles into a Square Container by Partitioning Narrow Action Spaces and Circle Items. - Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:
BLADYG: A Graph Processing Framework for Large Dynamic Graphs. - Carlos Barrón-Romero:
Discrete Optimal Global Convergence of an Evolutionary Algorithm for Clusters under the Potential of Lennard Jones. - Xinyu Wang, Hanxi Li, Yi Li, Fumin Shen, Fatih Porikli:
Robust and Real-time Deep Tracking Via Multi-Scale Domain Adaptation. - Shi-Xiong Zhang, Zhuo Chen, Yong Zhao, Jinyu Li, Yifan Gong:
End-to-End Attention based Text-Dependent Speaker Verification. - Gonzalo H. Otazu
:
Robust method for finding sparse solutions to linear inverse problems using an L2 regularization. - Huijia Wu, Jiajun Zhang, Chengqing Zong:
Shortcut Sequence Tagging. - Saeid Hosseini, Hongzhi Yin, Xiaofang Zhou, Shazia W. Sadiq:
Leveraging Multi-aspect Time-related Influence in Location Recommendation. - Karamjit Singh, Garima Gupta, Lovekesh Vig, Gautam Shroff, Puneet Agarwal:
Deep Convolutional Neural Networks for Pairwise Causality. - Naoya Takahashi, Michael Gygli, Luc Van Gool:
AENet: Learning Deep Audio Features for Video Analysis. - Shuai Li:
Akid: A Library for Neural Network Research and Production from a Dataism Approach. - Gangan Prathap:
Citation indices and dimensional homogeneity. - Dietmar Seipel:
Knowledge Engineering for Hybrid Deductive Databases. 1-12 - Stefan Brass, Heike Stephan:
Bottom-Up Evaluation of Datalog: Preliminary Report. 13-26 - Marija Kulas
:
A Practical View on Renaming. 27-41 - Falco Nogatz, Dietmar Seipel:
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. 42-56 - Stefan Brass, Heike Stephan:
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. 57-72 - Sebastian Krings
, Michael Leuschel:
Constraint Logic Programming over Infinite Domains with an Application to Proof. 73-87 - Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro:
Source Code Verification for Embedded Systems using Prolog. 88-103 - Michael Hanus
, Julia Krone:
A Typeful Integration of SQL into Curry. 104-119 - María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
:
A Simulation Tool for tccp Programs. 120-134 - Jason Hemann, Daniel P. Friedman:
A Framework for Extending microKanren with Constraints. 135-149 - Baltasar Trancón y Widemann, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. 150-164 - Lukas Immanuel Schiller:
An Agglomeration Law for Sorting Networks and its Application in Functional Programming. 165-179 - Sergio Antoy, Michael Hanus
, Steven Libby:
Proving Non-Deterministic Computations in Agda. 180-195 - Ken-etsu Fujita:
On Upper Bounds on the Church-Rosser Theorem. 16-31 - Karl Gmeiner:
Confluence of Conditional Term Rewrite Systems via Transformations. 32-45 - Yutaro Nagae, Masahiko Sakai
, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. 46-61 - Nils Dallmeyer, Manfred Schmidt-Schauß
:
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. 78-92 - Dajian Li, Paul Weng, Orkun Karabasoglu:
Finding Risk-Averse Shortest Path with Time-dependent Stochastic Costs. - Chung Duc Ho, Hien Quoc Ngo, Michail Matthaiou, Trung Quang Duong:
On the Performance of Zero-Forcing Processing in Multi-Way Massive MIMO Relay Networks. - Paul Weng:
From Preference-Based to Multiobjective Sequential Decision-Making. - Beniamino Accattoli:
The Complexity of Abstract Machines. 1-15 - Ryota Nakayama, Naoki Nishida, Masahiko Sakai
:
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. 62-77 - Aleks Kissinger
, Sander Uijlen:
Picturing Indefinite Causal Structure. 87-94 - Dan Marsden:
Ambiguity and Incomplete Information in Categorical Models of Language. 95-107 - Matthias Vestner, Roee Litman, Emanuele Rodolà, Alexander M. Bronstein, Daniel Cremers:
Product Manifold Filter: Non-Rigid Shape Correspondence via Kernel Density Estimation in the Product Space. - Mark de Berg:
Removing Depth-Order Cycles Among Triangles: An Efficient Algorithm Generating Triangular Fragments. - Christopher Robert Anderson, Richard K. Martin, T. Owens Walker, Ryan W. Thomas:
Radio Tomography for Roadside Surveillance. - Xiaolin Huang, Yan Xia, Lei Shi, Yixing Huang, Ming Yan, Joachim Hornegger, Andreas K. Maier:
Mixed one-bit compressive sensing with applications to overexposure correction for CT reconstruction. - Karl Schlechta:
A pre-semantics for counterfactual conditionals and similar logics. - Ankita Mangal, Nishant Kumar:
Using Big Data to Enhance the Bosch Production Line Performance: A Kaggle Challenge. - P. A. CrowdMath:
Bounds on parameters of minimally non-linear patterns. - Laslo Hunhold
:
The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers. - Zhiyuan Zha, Xinggan Zhang, Qiong Wang, Yechao Bai, Lan Tang:
Image denoising using group sparsity residual and external nonlocal self-similarity prior. - Pashutan Modaresi, Philipp Gross, Siavash Sefidrodi, Mirja Eckholf, Stefan Conrad:
On (Commercial) Benefits of Automatic Text Summarization Systems in the News Domain: A Case of Media Monitoring and Media Response Analysis. - Morteza Ashraphijuo, Xiaodong Wang, Vaneet Aggarwal:
Deterministic and Probabilistic Conditions for Finite Completability of Low-rank Multi-View Data. - Javier Parra-Arnau:
Optimized, Direct Sale of Privacy in Personal-Data Marketplaces. - Christophe Van Gysel, Evangelos Kanoulas, Maarten de Rijke:
Pyndri: a Python Interface to the Indri Search Engine. - John M. Abowd, Lorenzo Alvisi, Cynthia Dwork, Sampath Kannan, Ashwin Machanavajjhala, Jerome P. Reiter:
Privacy-Preserving Data Analysis for the Federal Statistical Agencies. - Ibrahim Ighneiwaa, Salwa Hamidatoua, Fadia Ben Ismaela:
Using Artificial Neural Networks (ANN) to Control Chaos. - Masoud Arash, Ehsan Yazdian, Mohammadsadegh Fazel:
Employing Antenna Selection to Improve Energy-Efficiency in Massive MIMO Systems. - Ema Kusen, Mark Strembeck:
Security-related Research in Ubiquitous Computing - Results of a Systematic Literature Review. - Zhipeng Jia, Xingyi Huang, Eric I-Chao Chang, Yan Xu:
Constrained Deep Weak Supervision for Histopathology Image Segmentation. - Amir Hossein Yazdavar, Monireh Ebrahimi, Naomie Salim:
Fuzzy Based Implicit Sentiment Analysis on Quantitative Sentences. - Yuki Itoh, Siwei Feng, Marco F. Duarte, Mario Parente:
Semi-Supervised Endmember Identification In Nonlinear Spectral Mixtures Via Semantic Representation. - Monique Laurent, Matteo Seminaroti, Shin-ichi Tanigawa:
A Structural Characterization for Certifying Robinsonian Matrices. - Mark Huber:
Partially Recursive Acceptance Rejection. - Ding Liu, Zhaowen Wang, Nasser M. Nasrabadi, Thomas S. Huang:
Learning a Mixture of Deep Networks for Single Image Super-Resolution. - Marco Gori, Marco Maggini, Alessandro Rossi:
Collapsing of dimensionality. - Ilyes Boulkaibet, Tshilidzi Marwala, Michael I. Friswell, Hamed Haddad Khodaparast, Sondipon Adhikari:
Fuzzy finite element model updating using metaheuristic optimization algorithms. - Guoqiang Mao, Xiaofeng Tao:
Cooperative Content Offloading Through WiFi and Mobile Device-to-Device Networks. - Matthew Rueben, Cindy M. Grimm, Frank J. Bernieri, William D. Smart:
A Taxonomy of Privacy Constructs for Privacy-Sensitive Robotics. - Jian Chen, Nikolaos Bamiedakis, Peter P. Vasil'ev, Richard V. Penty, Ian H. White:
Loss and Bandwidth Studies on Multimode Polymer Waveguide Components for On-Board High-Speed Optical Interconnects. - Hedyeh Beyhaghi, Daniela Sabán, Éva Tardos:
Effect of selfish choices in deferred acceptance with short lists. - Herman Kamper:
Unsupervised neural and Bayesian models for zero-resource speech processing. - Paul E. McKenney:
Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a). - Christophe De Wagter, Rick Ruijsink, Ewoud J. J. Smeur, Kevin van Hecke, Freek van Tienen, Erik van der Horst, Bart Remes:
Design, Control and Visual Navigation of the DelftaCopter. - Nithyanand Kota, Abhishek Mishra, Sunil Srinivasa, Xi Chen, Pieter Abbeel:
A K-fold Method for Baseline Estimation in Policy Gradient Algorithms. - Xuezhe Ma, Eduard H. Hovy:
Neural Probabilistic Model for Non-projective MST Parsing. - Daniel Borchmann, Tom Hanika, Sergei Obiedkov:
On the Usability of Probably Approximately Correct Implication Bases. - Ye Tian, Ran Cheng, Xingyi Zhang, Yaochu Jin:
PlatEMO: A MATLAB Platform for Evolutionary Multi-Objective Optimization. - Masashi Wakaiki, Paulo Tabuada, João Pedro Hespanha:
Supervisory Control of Discrete-event Systems under Attacks. - Mirza Golam Kibria, Gabriel Porto Villardi, Wei-Shun Liao, Kien Nguyen, Kentaro Ishizu, Fumihide Kojima:
Outage Analysis of Offloading in Heterogeneous Networks: Composite Fading Channels. - Zhun Fan, Jiewei Lu, Wenji Li:
Automated Blood Vessel Segmentation of Fundus Images Based on Region Features and Hierarchical Growth Algorithm. - Jorge Luis Rivero Pérez, Bernardete Ribeiro, Kadir Hector Ortiz:
A Comparison of Algorithms for Intrusion Detection on Batch and Data Stream Environments. - Pallavi Athe, Yatindra Nath Singh:
Innovative Method for Two Link Failure Protection. - Fancheng Kong, Xinghua Sun, Victor C. M. Leung, Hongbo Zhu:
Delay-Optimal Biased User Association in Heterogeneous Networks. - Quan Hoang Nguyen, Peter Eades, Seok-Hee Hong:
Towards Faithful Graph Visualizations. - Maani Ghaffari Jadidi, Jaime Valls Miró, Gamini Dissanayake:
Warped Gaussian Processes Occupancy Mapping with Uncertain Inputs. - Francesco Romano, Silvio Traversaro, Daniele Pucci, Jorhabib Eljaik, Andrea Del Prete, Francesco Nori:
A Whole-Body Software Abstraction layer for Control Design of free-floating Mechanical Systems. - Wenqin Shao, Jean-Louis Rougier, François Devienne, Mateusz Viste:
Missing measurements on RIPE Atlas. - Dmitry Krotov, John J. Hopfield:
Dense Associative Memory is Robust to Adversarial Inputs. - Ryan Cotterell, Hinrich Schütze:
Joint Semantic Synthesis and Morphological Analysis of the Derived Word. - Gabriele Fici, Filippo Mignosi, Jeffrey O. Shallit:
Abelian-Square-Rich Words. - Wei Lian, Lei Zhang:
A Concave Optimization Algorithm for Matching Partially Overlapping Point Sets. - Dinh Thai Hoang, Ping Wang, Dusit Niyato, Ekram Hossain:
Charging and Discharging of Plug-In Electric Vehicles (PEVs) in Vehicle-to-Grid (V2G) Systems: A Cyber Insurance-Based Model. - Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala:
An Event-B framework for the validation of Event-B refinement plugins. - Songwei Fu, Chia-Yen Shih, Yuming Jiang, Matteo Ceriotti, Xintao Huan, Pedro José Marrón:
RADIUS: A System for Detecting Anomalous Link Quality Degradation in Wireless Sensor Networks. - Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Metric Temporal Logic for Ontology-Based Data Access over Log Data. - Peibo Duan, Guoqiang Mao, Shangbo Wang, Changsheng Zhang, Bin Zhang:
STARIMA-based Traffic Prediction with Time-varying Lags. - Marcus Brandenburger, Christian Cachin, Matthias Lorenz, Rüdiger Kapitza:
Rollback and Forking Detection for Trusted Execution Environments using Lightweight Collective Memory. - Gaojie Chen, Justin P. Coon, Marco Di Renzo:
Secrecy Outage Analysis for Downlink Transmissions in the Presence of Randomly Located Eavesdroppers. - Christoph Hube, Frank Fischer, Robert Jäschke, Gerhard Lauer, Mads Rosendahl Thomsen:
World Literature According to Wikipedia: Introduction to a DBpedia-Based Framework. - Michal Balazia, Petr Sojka
:
An Evaluation Framework and Database for MoCap-Based Gait Recognition Methods. - Severin Sadjina, Lars T. Kyllingstad, Martin Rindarøy, Stian Skjong, Vilmar Æsøy, Dariusz Eirik Fathi, Vahid Hassani, Trond Johnsen, Jørgen Bremnes Nielsen, Eilif Pedersen:
Distributed Co-Simulation of Maritime Systems and Operations. - Tao Hong:
Joint Optimization Projection Matrix and Sparsifying Dictionary via Stochastic Method. - Christos K. Kourtellaris, Charalambos D. Charalambous, Ioannis Tzortzis:
Single Letter Expression of Capacity for a Class of Channels with Memory. - Peter Harremoës:
Divergence and Sufficiency for Convex Optimization. - Wei Lian:
Path-following based Point Matching using Similarity Transformation. - Yanghao Li, Naiyan Wang, Jiaying Liu, Xiaodi Hou:
Demystifying Neural Style Transfer. - Ishay Haviv, Michael Langberg, Moshe Schwartz, Eitan Yaakobi:
Non-linear Cyclic Codes that Attain the Gilbert-Varshamov Bound. - Nuh Aydin, Ajdin Halilovic:
A Generalization of Quasi-twisted Codes: Multi-twisted codes. - Thiago Correa, Breno Gustavo, Lucas Lemos, Amber Settle:
An Overview of Recent Solutions to and Lower Bounds for the Firing Synchronization Problem. - Roni Khardon, Scott Sanner:
Stochastic Planning and Lifted Inference. - Harinaivo Andriatahiny, Vololona Harinoro Rakotomalala:
New descriptions of the weighted Reed-Muller codes and the homogeneous Reed-Muller codes. - Samuel Weiser, Mario Werner:
SGXIO: Generic Trusted I/O Path for Intel SGX. - Monit Shah Singh, Vinaychandran Pondenkandath, Bo Zhou, Paul Lukowicz, Marcus Liwicki:
Transforming Sensor Data to the Image Domain for Deep Learning - an Application to Footstep Detection. - Junting Pan, Cristian Canton-Ferrer, Kevin McGuinness, Noel E. O'Connor, Jordi Torres, Elisa Sayrol, Xavier Giró-i-Nieto:
SalGAN: Visual Saliency Prediction with Generative Adversarial Networks. - Yuyi Mao, Changsheng You, Jun Zhang, Kaibin Huang, Khaled Ben Letaief:
Mobile Edge Computing: Survey and Research Outlook. - Shiva Prasad Kasiviswanathan, Kobbi Nissim, Hongxia Jin:
Private Incremental Regression. - Karamjit Singh, Garima Gupta, Gautam Shroff, Puneet Agarwal:
Minimally-Supervised Attribute Fusion for Data Lakes. - Audrey Durand, Christian Gagné:
Estimating Quality in User-Guided Multi-Objective Bandits Optimization. - Semih Yagli, Yücel Altug, Sergio Verdú:
Minimax Rényi Redundancy. - Kai Zhao, Liang Huang, Mingbo Ma:
Textual Entailment with Structured Attentions and Composition. - Mehran Shoushtari Moghaddam, Naser Movahhedinia, Mohammad Reza Khayyambashi, Faramarz Hendessi:
Performance Evaluation of Spectrum Mobility in Multi-homed Mobile IPv6 Cognitive Radio Cellular Networks. - Anastasios Karakostas, Alexia Briassouli, Konstantinos Avgerinakis, Ioannis Kompatsiaris, Magda Tsolaki:
The Dem@Care Experiments and Datasets: a Technical Report. - Sam Blake:
Perfect Sequences and Arrays over the Unit Quaternions. - Peng Deng, Mohsen Kavehrad:
Adaptive Real-Time Software Defined MIMO Visible Light Communications using Spatial Multiplexing and Spatial Diversity. - Steffen Malkowsky, Joao Vieira, Liang Liu, Paul Harris, Karl Nieman, Nikhil Kundargi, Ian C. Wong, Fredrik Tufvesson, Viktor Öwall, Ove Edfors:
The World's First Real-Time Testbed for Massive MIMO: Design, Implementation, and Validation. - Mustafa A. Kishk, Harpreet S. Dhillon:
Effect of Cell-Selection on the Effective Fading Distribution in a Downlink K-tier HetNet. - Yangzihao Wang, Yuechao Pan, Andrew A. Davidson, Yuduo Wu, Carl Yang, Leyuan Wang, Muhammad Osama, Chenshan Yuan, Weitang Liu, Andy T. Riffel, John D. Owens:
Gunrock: GPU Graph Analytics. - Saman Ashkiani, Andrew A. Davidson, Ulrich Meyer, John D. Owens:
GPU Multisplit. - Roman Kolpakov:
On the number of gapped repeats with arbitrary gap. - Xiangming Meng, Yiqun Wu, Yan Chen, Meng Cheng:
Low Complexity Receiver for Uplink SCMA System via Expectation Propagation. - Marina Haikin, Ram Zamir, Matan Gavish:
Random Subsets of Structured Deterministic Frames have MANOVA Spectra. - Vishnu Vardhan Chetlur Ravi, Harpreet S. Dhillon:
Downlink Coverage Analysis for a Finite 3D Wireless Network of Unmanned Aerial Vehicles. - Reza Yousefian, Sukumar Kamalasadan:
A Review of Neural Network Based Machine Learning Approaches for Rotor Angle Stability Control. - Tie Luo, Salil S. Kanhere, Hwee-Pink Tan, Fan Wu, Hongyi Wu:
Crowdsourcing with Tullock contests: A new perspective. - Mohamed Elhoseiny, Ahmed M. Elgammal:
Overlapping Cover Local Regression Machines. - Muhammad Umar B. Niazi, Arif Bülent Özgüler, Aykut Yildiz:
Consensus as a Nash Equilibrium of a Dynamic Game. - Dinusha Vatsalan, Peter Christen, Erhard Rahm:
Scalable Multi-Database Privacy-Preserving Record Linkage using Counting Bloom Filters. - (Withdrawn) Several classes of optimal ternary cyclic codes.
- Jun Wang, Qiang Tang:
A Probabilistic View of Neighborhood-based Recommendation Methods. - Shiwen He, Chenhao Qi, Yongpeng Wu, Yongming Huang:
Energy-Efficient Transceiver Design for Hybrid Sub-Array Architecture MIMO Systems. - Chengjun Li, Jia Wu:
Subpopulation Diversity Based Selecting Migration Moment in Distributed Evolutionary Algorithms. - Weishan Dong, Ting Yuan, Kai Yang, Changsheng Li, Shilei Zhang:
Autoencoder Regularized Network For Driving Style Representation Learning. - Milos Kudelka, Eliska Ochodkova, Sarka Zehnalova:
Around Average Behavior: 3-lambda Network Model. - Dominik Kowald, Subhash Chandra Pujari, Elisabeth Lex:
Temporal Effects on Hashtag Reuse in Twitter: A Cognitive-Inspired Hashtag Recommendation Approach. - James Clift, Daniel Murfet:
Cofree coalgebras and differential linear logic. - Peibo Duan, Guoqiang Mao, Changsheng Zhang, Bin Zhang:
Applying DCOP to User Association Problem in Heterogeneous Networks with Markov Chain Based Algorithm. - Pengqian Yu, William B. Haskell, Huan Xu:
Approximate Value Iteration for Risk-aware Markov Decision Processes. - Peter Beelen, Sven Puchinger, Johan Sebastian Rosenkilde:
Twisted Reed-Solomon Codes. - Andrew Critch:
Toward negotiable reinforcement learning: shifting priorities in Pareto optimal sequential decision-making. - Chen-Feng Liu, Sumudu Samarakoon, Mehdi Bennis:
Fronthaul-Aware Software-Defined Joint Resource Allocation and User Scheduling for 5G Networks. - Muhammad Junaid Farooq
, Hakim Ghazzai, Abdullah Kadri, Hesham ElSawy, Mohamed-Slim Alouini
:
A Hybrid Energy Sharing Framework for Green Cellular Networks. - Ramakrishnan Kannan, Hyenkyun Woo, Charu C. Aggarwal, Haesun Park:
Outlier Detection for Text Data : An Extended Version. - Michal Vasinek, Jan Platos:
Higher Order Context Transformations. - Neal Master, Zhengyuan Zhou, Nicholas Bambos:
An Infinite Dimensional Model for a Many Server Priority Queue. - Marwin H. S. Segler, Thierry Kogej, Christian Tyrchan, Mark P. Waller:
Generating Focussed Molecule Libraries for Drug Discovery with Recurrent Neural Networks. - Martin R. Schuster, Maciej Liskiewicz:
Abilities and Limitations of Spectral Graph Bisection. - Hongjun Lu, Rudy Setiono, Huan Liu:
NeuroRule: A Connectionist Approach to Data Mining. - Caterina De Bacco, Eleanor A. Power, Daniel B. Larremore, Cristopher Moore:
Community detection, link prediction, and layer interdependence in multilayer networks. - Gül Varol, Javier Romero, Xavier Martin, Naureen Mahmood, Michael J. Black, Ivan Laptev, Cordelia Schmid:
Learning from Synthetic Humans. - Vadim Sokolov, Jeffrey Larson, Todd S. Munson, Joshua Auld, Dominik Karbowski:
Platoon formation maximization through centralized routing and departure time coordination. - Stefano D'Aronco, Laura Toni, Pascal Frossard:
Price-based Controller for Quality-Fair HTTP Adaptive Streaming (Extended Version). - Andrew V. Knyazev:
Signed Laplacian for spectral clustering revisited. - Matthieu Perrinel:
Paths-based criteria and application to linear logic subsystems characterizing polynomial time. - Pranav Agrawal:
Exploration of Proximity Heuristics in Length Normalization. - Damian Straszak, Nisheeth K. Vishnoi:
On Convex Programming Relaxations for the Permanent. - Christopher J. Vogl, Randall J. LeVeque:
A High-Resolution Finite Volume Seismic Model to Generate Seafloor Deformation for Tsunami Modeling. - Florent Capelli:
Understanding the complexity of #SAT using knowledge compilation. - Mowen Lu, Harsha Nagarajan, Emre Yamangil, Russell Bent, Scott Backhaus:
Optimal Transmission Line Switching under Geomagnetic Disturbances. - Ting-Yi Wu, Lav R. Varshney, Vincent Y. F. Tan:
Communication over a Channel that Wears Out. - E. G. Abramov:
Unconstrained inverse quadratic programming problem. - Yi-Ling Chen, Tzu-Wei Huang, Kai-Han Chang, Yu-Chen Tsai, Hwann-Tzong Chen, Bing-Yu Chen:
Quantitative Analysis of Automatic Image Cropping Algorithms: A Dataset and Comparative Study. - Anindya De, Elchanan Mossel, Joe Neeman:
Non interactive simulation of correlated distributions is decidable. - Mehdi Noroozi, Paramanand Chandramouli, Paolo Favaro:
Motion Deblurring in the Wild. - Mark Muraven:
Designing a Safe Autonomous Artificial Intelligence Agent based on Human Self-Regulation. - Amina Piemontese, Alexandre Graell i Amat:
MDS-Coded Distributed Caching for Low Delay Wireless Content Delivery. - Sadique Sheik, Somnath Paul, Charles Augustine, Gert Cauwenberghs:
Membrane-Dependent Neuromorphic Learning Rule for Unsupervised Spike Pattern Detection. - Joris Guérin, Olivier Gibaru, Eric Nyiri, Stéphane Thiery:
Learning local trajectories for high precision robotic tasks : application to KUKA LBR iiwa Cartesian positioning. - Haiqiang Wang, Ioannis Katsavounidis, Jiantong Zhou, Jeong-Hoon Park, Shawmin Lei, Xin Zhou, Man-On Pun, Xin Jin, Ronggang Wang, Xu Wang, Yun Zhang, Jiwu Huang, Sam Kwong, C.-C. Jay Kuo:
VideoSet: A Large-Scale Compressed Video Quality Dataset Based on JND Measurement. - Da Kuang, P. Jeffrey Brantingham, Andrea L. Bertozzi:
Crime Topic Modeling. - Azade Fotouhi, Ming Ding, Mahbub Hassan:
Dynamic Base Station Repositioning to Improve Performance of Drone Small Cells. - Albert Y. S. Lam, James Jian Qiao Yu, Yunhe Hou, Victor O. K. Li:
Coordinated Autonomous Vehicle Parking for Vehicle-to-Grid Services: Formulation and Distributed Algorithm. - Lan V. Truong, Vincent Y. F. Tan:
On the Reliability Function of the Common-Message Broadcast Channel with Variable-Length Feedback. - Wei Yi, Tao Zhou, Mingchi Xie, Yue Ai, Rick S. Blum:
Suboptimum Low Complexity Joint Multi-target Detection and Localization for Noncoherent MIMO Radar with Widely Separated Antennas. - Haiming Jin, Lu Su, Klara Nahrstedt:
CENTURION: Incentivizing Multi-Requester Mobile Crowd Sensing. - Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu:
High-Assurance Separation Kernels: A Survey on Formal Methods. - K. Alex Mills, Ramaswamy Chandrasekaran, Neeraj Mittal:
Algorithms for Optimal Replica Placement Under Correlated Failure in Hierarchical Failure Domains. - Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata:
Exact Computation of Influence Spread by Binary Decision Diagrams. - Bin Yang, Guoqiang Mao, Ming Ding, Xiaohu Ge, Xiaofeng Tao:
Performance Analysis of Dense SCNs with Generalized Shadowing/Fading and NLOS/LOS Transmissions. - Yong Shean Chong, Yong Haur Tay:
Abnormal Event Detection in Videos using Spatiotemporal Autoencoder. - Arun Kumar Singh, Sigal Berman, Ilana Nisky:
Stochastic Optimal Control for Modeling Reaching Movements in the Presence of Obstacles: Theory and Simulation. - Zi Long Liu, Yong Liang Guan, Wai Ho Mow:
Asymptotically Locally Optimal Weight Vector Design for a Tighter Correlation Lower Bound of Quasi-Complementary Sequence Sets. - Edison Marrese-Taylor, Yutaka Matsuo:
Replication issues in syntax-based aspect extraction for opinion mining. - Xianghao Yu, Jun Zhang, Khaled Ben Letaief:
Alternating Minimization for Hybrid Precoding in Multiuser OFDM mmWave Systems. - Bappaditya Mandal, David Lee, Nizar Ouarti:
Distinguishing Posed and Spontaneous Smiles by Facial Dynamics. - Haoyue Shi, Caihua Li, Junfeng Hu:
Real Multi-Sense or Pseudo Multi-Sense: An Approach to Improve Word Representation. - Bo Xu, Changlong Li, Hang Zhuang, Jiali Wang, Qingfeng Wang, Jinhong Zhou, Xuehai Zhou:
DSA: Scalable Distributed Sequence Alignment System Using SIMD Instructions. - Alessandro De Luca, Gabriele Fici, Luca Q. Zamboni:
The sequence of open and closed prefixes of a Sturmian word. - (Withdrawn) An Optimal Randomized Broadcasting Algorithm in Radio Networks with Collision Detection.
- Ruohan Cao:
A Physical-layer Attack Detection Method Using Continuous Secured Side Information. - Jesse Geneson:
An anti-incursion algorithm for unknown probabilistic adversaries on connected graphs. - Tsutomu Hirao, Masaaki Nishino, Jun Suzuki, Masaaki Nagata:
Enumeration of Extractive Oracle Summaries. - Andreas Veit, Neil Alldrin, Gal Chechik, Ivan Krasin, Abhinav Gupta, Serge J. Belongie:
Learning From Noisy Large-Scale Datasets With Minimal Supervision. - Michael Sejr Schlichtkrull, Anders Søgaard:
Cross-Lingual Dependency Parsing with Late Decoding for Truly Low-Resource Languages. - Hyun Jong Yang, Won-Yong Shin, Bang Chul Jung, Changho Suh, Arogyaswami Paulraj:
Opportunistic Downlink Interference Alignment for Multi-Cell MIMO Networks. - Boaz Shuval, Ido Tal:
A Lower Bound on the Probability of Error of Polar Codes over BMS Channels. - Milcho Prisagjanec, Pece Mitrevski:
Reducing Competitive Cache Misses in Modern Processor Architectures. - Mimoza Anastoska-Jankulovska, Pece Mitrevski:
On the Usage of Databases of Educational Materials in Macedonian Education. - Ilija S. Hristoski, Pece J. Mitrevski:
Evaluation of Business-Oriented Performance Metrics in e-Commerce using Web-based Simulation. - Vesna Kumbaroska, Pece Mitrevski:
Behavioural - based modelling and analysis of Navigation Patterns across Information Networks. - Lennart Brüggemann:
Interaktion mit 3D-Objekten in Augmented Reality Anwendungen auf mobilen Android Geräten. - Qing Ke:
Sharing Means Renting?: An Entire-marketplace Analysis of Airbnb. - Ahmed H. Abase, Mohamed Helmy Khafagy, Fatma A. Omara:
Locality Sim: Cloud Simulator with Data Locality. - Rao Farhat Masood:
Application of Fuzzy Logic in Design of Smart Washing Machine. - Jekanthan Thangavelautham, Kenneth Law, Terence Fu, Nader Abu El Samid, Alexander D. S. Smith, Gabriele M. T. D'Eleuterio:
Autonomous Multirobot Excavation for Lunar Applications. - Cícero Carvalho, Victor G. L. Neumann:
The next-to-minimal weights of binary projective Reed-Muller codes. - Cícero Carvalho, Victor G. L. Neumann:
On the next-to-minimal weight of projective Reed-Muller codes. - Nicolas Mayer, Jocelyn Aubert, Eric Grandry, Christophe Feltus, Elio Goettelmann:
An Integrated Conceptual Model for Information System Security Risk Management and Enterprise Architecture Management based on TOGAF, ArchiMate, IAF and DoDAF. - Jean-Raymond Abrial:
Formal Proof of the Weak Goodstein Theorem. - Mohammad Azzeh, Ali Bou Nassif, Shadi Banitaan, Fadi Almasalha:
Pareto Efficient Multi Objective Optimization for Local Tuning of Analogy Based Estimation. - Pradeeban Kathiravelu, Luís Veiga:
SD-CPS: Taming the Challenges of Cyber-Physical Systems with a Software-Defined Approach. - Krishna Khatri:
The Shapley Value of Digraph Games. - Jordi Ros-Giralt, Alan Commike, Sourav Maji, Malathi Veeraraghavan:
A Mathematical Framework for the Detection of Elephant Flows. - Tal Remez, Or Litany, Raja Giryes, Alexander M. Bronstein:
Deep Convolutional Denoising of Low-Light Images. - Eshed Ohn-Bar, Mohan M. Trivedi:
To Boost or Not to Boost? On the Limits of Boosted Trees for Object Detection. - Tal Remez, Or Litany, Raja Giryes, Alexander M. Bronstein:
Deep Class Aware Denoising. - Yimeng Zhao, Samantha Lo, Ellen W. Zegura, Niky Riga, Mostafa H. Ammar:
Virtual Network Migration on the GENI Wide-Area SDN-Enabled Infrastructure. - Joshua A. Grochow, Mrinal Kumar, Michael E. Saks, Shubhangi Saraf:
Towards an algebraic natural proofs barrier via polynomial identity testing. - Zeyuan Allen Zhu, Yuanzhi Li:
Follow the Compressed Leader: Faster Algorithms for Matrix Multiplicative Weight Updates. - Matej Moravcík, Martin Schmid, Neil Burch, Viliam Lisý, Dustin Morrill, Nolan Bard, Trevor Davis, Kevin Waugh, Michael Johanson, Michael H. Bowling:
DeepStack: Expert-Level Artificial Intelligence in No-Limit Poker. - Dominik Wurzer, Yumeng Qin:
Spotting Information biases in Chinese and Western Media. - Hao Sun, Alina Zare:
Map-guided Hyperspectral Image Superpixel Segmentation Using Proportion Maps. - Wei Cai, Cheng Li, ShiWei Luan:
SOI RF Switch for Wireless Sensor Network. - Wei Cai, Jian Xu, Liang Huang:
Low Power SI Class E Power Amplifier and RF Switch For Health Care. - Ryan A. Rossi, Rong Zhou, Nesreen K. Ahmed:
Estimation of Graphlet Statistics. - Gianluca Meneghello, Paolo Luchini, Thomas Bewley:
A probabilistic framework for the control of systems with discrete states and stochastic excitation. - George Papandreou, Tyler Zhu, Nori Kanazawa, Alexander Toshev, Jonathan Tompson, Chris Bregler, Kevin P. Murphy:
Towards Accurate Multi-person Pose Estimation in the Wild. - Stephen Kruzick, José M. F. Moura:
Spectral Statistics of Lattice Graph Structured, Non-uniform Percolations. - Keehang Kwon, Dae-Seong Kang:
A Concurrent Model for Imperative Languages with Improved Atomicity. - Yandan Wang, Wei Wen, Linghao Song, Hai (Helen) Li:
Classification Accuracy Improvement for Neuromorphic Computing Systems with One-level Precision Synapses. - Rajan Vaish, Andrés Monroy-Hernández:
CrowdTone: Crowd-powered tone feedback and improvement system for emails. - Jiejing Wen, Minghui Yang, Fang-Wei Fu, Keqin Feng:
Cyclotomic Construction of Strong External Difference Families in Finite Fields. - Sapir Erlich, Alexander Lavzin, Adrian Segall, Michal Ireen Yomtovian:
A Simulation System for Energy Harvesting Networked Tags (EnHANTs). - Shota Saito, Hideki Yagi, Toshiyasu Matsushima:
Variable-Length Lossy Compression Allowing Positive Overflow and Excess Distortion Probabilities. - Jiao Ma, Changle Li, Weiwei Dong, Zhe Liu, Tom H. Luan, Lina Zhu, Lei Xiong:
Urban Rail Transit System Operation Optimization A Game Theoretical Methodology. - Filippos Kokkinos, Alexandros Potamianos:
Structural Attention Neural Networks for improved sentiment analysis. - Pichao Wang, Wanqing Li, Song Liu, Zhimin Gao, Chang Tang, Philip Ogunbona
:
Large-scale Isolated Gesture Recognition Using Convolutional Neural Networks. - Haiyan Guo, Zhen Yang, Linghua Zhang, Jia Zhu, Yulong Zou:
Power-Constrained Secrecy Rate Maximization for Joint Relay and Jammer Selection Assisted Wireless Networks. - Zelun Luo, Boya Peng, De-An Huang, Alexandre Alahi, Li Fei-Fei:
Unsupervised Learning of Long-Term Motion Dynamics for Videos. - Yanzhao Zhou, Qixiang Ye, Qiang Qiu, Jianbin Jiao:
Oriented Response Networks. - Changlong Wang, Jigen Peng:
Analysis of equivalence relation in joint sparse recovery. - Mohaddeseh Bastan, Shahram Khadivi, Mohammad Mehdi Homayounpour:
Neural Machine Translation on Scarce-Resource Condition: A case-study on Persian-English. - Michael Lotkowski:
Automatic Wikipedia Link Generation Based On Interlanguage Links. - Hardie Cate, Fahim Dalvi, Zeshan Hussain:
Sign Language Recognition Using Temporal Classification. - Hardie Cate, Fahim Dalvi, Zeshan Hussain:
DeepFace: Face Generation using Deep Learning. - Caner Gacav, Burak Benligiray, Cihan Topal:
Greedy Search for Descriptive Spatial Face Features. - David D. Fan, Evangelos A. Theodorou:
Differential Dynamic Programming for time-delayed systems. - Zeshan Hussain, Tariq Patanam, Hardie Cate:
Group Visual Sentiment Analysis. - John Cristian Borges Gamboa:
Deep Learning for Time-Series Analysis. - Charika De Alvis, Lionel Ott, Fabio Tozeto Ramos:
Urban Scene Segmentation with Laser-Constrained CRFs. - Bharathan Balaji, Bradford Campbell, Amit Levy, Xiaozhou Li, Addison Mayberry, Nirupam Roy, Vasuki Narasimha Swamy, Longqi Yang, Victor Bahl, Ranveer Chandra, Ratul Mahajan:
Modeling Actuation Constraints for IoT Applications. - (Withdrawn) Privacy-Preserving Social Media Data Publishing.
- Fan Xu, Mingwen Wang, Maoxi Li:
Sentence-level dialects identification in the greater China region. - Amir Sadeghian, Alexandre Alahi, Silvio Savarese:
Tracking The Untrackable: Learning To Track Multiple Cues with Long-Term Dependencies. - Nannan Wang, Xinbo Gao, Jie Li:
Random Sampling and Locality Constraint for Face Sketch. - Xun Zhou, Changle Li, Zhe Liu, Tom H. Luan, Zhifang Miao, Lina Zhu, Lei Xiong:
See the Near Future: A Short-Term Predictive Methodology to Traffic Load in ITS. - Yiren Zhou, Sibo Song, Ngai-Man Cheung:
On Classification of Distorted Images with Deep Convolutional Neural Networks. - Cong Zhao, Shusen Yang, Xinyu Yang, Julie A. McCann:
Rapid, User-Transparent, and Trustworthy Device Pairing for D2D-Enabled Mobile Crowdsourcing. - Cong Zhao, Xinyu Yang, Wei Yu, Xianghua Yao, Jie Lin, Xin Li:
Cheating-Resilient Incentive Scheme for Mobile Crowdsensing Systems. - Andrea Baraldi, Michael Laurence Humber, Dirk Tiede, Stefan Lang:
Stage 4 validation of the Satellite Image Automatic Mapper lightweight computer program for Earth observation Level 2 product generation, Part 1 Theory. - Quyuan Luo, Changle Li, Qiang Ye, Tom H. Luan, Lina Zhu, Xiaolei Han:
CFT: A Cluster-based File Transfer Scheme for Highway. - Andrea Baraldi, Michael Laurence Humber, Dirk Tiede, Stefan Lang:
Stage 4 validation of the Satellite Image Automatic Mapper lightweight computer program for Earth observation Level 2 product generation, Part 2 Validation. - Niv Buchbinder
, Moran Feldman, Joseph Naor, Ohad Talmon:
O(depth)-Competitive Algorithm for Online Multi-level Aggregation. - Eldho K. Thomas, Vincent Y. F. Tan, Alexander Vardy, Mehul Motani:
Polar Coding for the Binary Erasure Channel with Deletions. - Marzio De Biasi, Juho Lauri:
On the Complexity of Restoring Corrupted Colorings. - Andrea Baraldi, Dirk Tiede, Stefan Lang:
Automated Linear-Time Detection and Quality Assessment of Superpixels in Uncalibrated True- or False-Color RGB Images. - Andrea Baraldi, João V. B. Soares:
Multi-Objective Software Suite of Two-Dimensional Shape Descriptors for Object-Based Image Analysis. - Andrea Baraldi, Francesca Despini, Sergio Teggi:
Multi-spectral Image Panchromatic Sharpening, Outcome and Process Quality Assessment Protocol. - Nan Zhao:
Joint Optimization of Power Splitting and Allocation for SWIPT in Interference Alignment Networks. - Qitian Chen, Dong Kang, Yichu He, Tsung-Hui Chang, Ya-Feng Liu:
Joint Power and Admission Control based on Channel Distribution Information: A Novel Two-Timescale Approach. - Hiroki Okada, Ken Umeno:
Randomness Evaluation with the Discrete Fourier Transform Test Based on Exact Analysis of the Reference Distribution. - Nguyen Cong Luong, Ping Wang, Dusit Niyato, Yonggang Wen, Zhu Han:
Resource Management in Cloud Networking Using Economic Analysis and Pricing Models: A Survey. - Sebastian Preugschat, Thomas Wilke:
Backward deterministic and weak alternating ω-automata. - Igal Sason, Sergio Verdú:
Arimoto-Rényi Conditional Entropy and Bayesian M-ary Hypothesis Testing. - Annina Bracher, Eran Hof, Amos Lapidoth:
Guessing Attacks on Distributed-Storage Systems. - Mark Giesbrecht, Joseph Haraldson, Erich L. Kaltofen:
Computing Approximate Greatest Common Right Divisors of Differential Polynomials. - Hamid Reza Shahdoosti:
MS and PAN image fusion by combining Brovey and wavelet methods. - Nilanjan De:
On eccentricity version of Laplacian energy of a graph. - Alexander Zhdanov:
IRA codes derived from Gruenbaum graph. - Yang You, Chong Qin, Yi Gong:
A Joint Resource Allocation Scheme for Multi-User Full-Duplex OFDMA Systems. - Khalil Elkhalil
, Abla Kammoun, Tareq Y. Al-Naffouri
, Mohamed-Slim Alouini
:
Numerically Stable Evaluation of Moments of Random Gram Matrices with Applications. - Roberto Pagano, Massimo Quadrana, Mehdi Elahi
, Paolo Cremonesi:
Toward Active Learning in Cross-domain Recommender Systems. - Yadollah Yaghoobzadeh, Hinrich Schütze:
Multi-level Representations for Fine-Grained Typing of Knowledge Base Entities. - Peter Bloem, Steven de Rooij:
Large-Scale Network Motif Learning with Compression. - Timotheos Aslanidis, Stavros Birmpilis:
An open shop approach in approximating optimal data transmission duration in WDM networks. - Jianming Lian, Shaobu Wang, Ruisheng Diao, Zhenyu Huang:
Decentralized Robust Control for Damping Inter-area Oscillations in Power Systems. - Xiugang Wu, Leighton Pate Barnes, Ayfer Özgür:
Cover's Open Problem: "The Capacity of the Relay Channel". - Abhishek K. Gupta, Jeffrey G. Andrews, Robert W. Heath Jr.:
Macro diversity in Cellular Networks with Random Blockages. - Thanh Vu, Alistair Willis, Udo Kruschwitz, Dawei Song:
Personalised Query Suggestion for Intranet Search with Temporal User Profiling. - Mehmet Emin Basbug, Barbara E. Engelhardt:
Coupled Compound Poisson Factorization. - Weinan Zhang, Ting Liu, Yifa Wang, Qingfu Zhu:
Neural Personalized Response Generation as Domain Adaptation. - Shudi Yang, Xiangli Kong, Chunming Tang:
A Construction of Linear Codes and Their Complete Weight Enumerators. - Sudhir Kumar, Rajesh M. Hegde:
A Review of Localization and Tracking Algorithms in Wireless Sensor Networks. - Alessandro Biason, Subhrakanti Dey, Michele Zorzi:
A Decentralized Optimization Framework for Energy Harvesting Devices. - Silas L. Fong, Vincent Y. F. Tan, Ayfer Özgür:
On Achievable Rates of AWGN Energy-Harvesting Channels with Block Energy Arrival and Non-Vanishing Error Probabilities. - K. Viswanathan Iyer:
A dynamic intranet-based online-portal support for Computer Science teaching. - Dmitry Ulyanov, Andrea Vedaldi, Victor S. Lempitsky:
Improved Texture Networks: Maximizing Quality and Diversity in Feed-forward Stylization and Texture Synthesis. - William Blum:
Type homogeneity is not a restriction for safe recursion schemes. - Assaf Kartowsky, Ido Tal:
Greedy-Merge Degrading has Optimal Power-Law. - Jun Wang, Qiang Tang:
Differentially Private Neighborhood-based Recommender Systems. - Changsoo Je, Kyuhyoung Choi, Sang Wook Lee:
Green-Blue Stripe Pattern for Range Sensing from a Single Image. - Tony Lindeberg:
Discrete approximations of affine Gaussian receptive fields. - Mattia Rossi, Pascal Frossard:
Light Field Super-Resolution Via Graph-Based Regularization. - Elike Hodo, Xavier J. A. Bellekens
, Andrew W. Hamilton, Christos Tachtatzis
, Robert C. Atkinson
:
Shallow and Deep Networks Intrusion Detection System: A Taxonomy and Survey. - Wenpeng Yin, Hinrich Schütze:
Task-Specific Attentive Pooling of Phrase Alignments Contributes to Sentence Matching. - Toan Nguyen-Duc, Eiji Kamioka:
An SDN Approach for an Energy Efficient Heterogeneous Communication Network in Disaster Scenarios. - Reza Malekian, Ntefeng Ruth Moloisane, Lakshmi Nair, Bodhaswar T. Maharaj, Uche A. K. Chude-Okonkwo:
Design and Implementation of a Wireless OBD II Fleet Management System. - Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell:
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. - Valentina Franzoni:
Just an Update on PMING Distance for Web-based Semantic Similarity in Artificial Intelligence and Data Mining. - Caner Sahin, Rigas Kouskouridas, Tae-Kyun Kim:
A Learning-based Variable Size Part Extraction Architecture for 6D Object Pose Recovery in Depth. - Martin Zimmermann:
Games with Costs and Delays. - Anca Dumitrache, Lora Aroyo, Chris Welty:
Crowdsourcing Ground Truth for Medical Relation Extraction. - Petr A. Golovach, Matthew Johnson, Barnaby Martin, Daniël Paulusma, Anthony Stewart:
Surjective H-Colouring: New Hardness Results. - Simon Kramer:
A Modularity Bug in Java 8. - Alfredo Cuzzocrea, Jérôme Darmont
, Hadj Mahboubi:
Fragmenting very large XML data warehouses via K-means clustering algorithm. - Paul Dorbec
, Mehdi Mhalla:
Quantum Combinatorial Games. 237-248 - Qimin Xu, Bo Yang, Cailian Chen, Feilong Lin, Xin-Ping Guan:
Distributed Load Shedding for Microgrid via Wireless Network Based on Cyber Physical Framework. - Jacek Sroka, Jan Hidders:
Finding AND-OR Hierarchies in Workflow Nets. - Márton Naszódi, Leonardo Martínez-Sandoval, Shakhar Smorodinsky:
Bounding a global red-blue proportion using local conditions. - Jian Li, Srinivas Shakkottai, John C. S. Lui, Vijay G. Subramanian:
Accurate Learning or Fast Mixing? Dynamic Adaptability of Caching Algorithms. - Vardan Andriasyan, Yauhen Yakimovich, Artur Yakimovich:
MatlabCompat.jl: helping Julia understand Your Matlab/Octave Code. - Pierre Bourhis, Juan L. Reutter, Fernando Suárez, Domagoj Vrgoc:
JSON: data model, query languages and schema specification. - John Iacono
, Elena Khramtcova, Stefan Langerman:
Searching edges in the overlap of two plane graphs. - Cristina Feier, Antti Kuusisto, Carsten Lutz:
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. - Marco Gramaglia, Marco Fiore, Alberto Tarable, Albert Banchs:
kτ, ε-anonymity: Towards Privacy-Preserving Publishing of Spatiotemporal Trajectory Data. - Changzhe Jiao, Alina Zare:
Multiple Instance Hybrid Estimator for Learning Target Signatures. - Chang-Sik Choi, Jae Oh Woo, Jeffrey G. Andrews:
Modeling a Spatially Correlated Cellular Network with Strong Repulsion. - Du Yong Kim:
Visual Multiple-Object Tracking for Unknown Clutter Rate. - Matthias Schröder, Florian Steinberg:
Bounded time computation on metric spaces and Banach spaces. - Olga Tveretina:
Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms. - Tian Zhao, Xiaobing Huang, Yu Cao:
DeepDSL: A Compilation-based Domain-Specific Language for Deep Learning. - Tapabrata Ghosh:
QuickNet: Maximizing Efficiency and Efficacy in Deep Architectures. - (Withdrawn) On short cycle enumeration in biregular bipartite graphs.
- Pivithuru Wijegunawardana, Vatsal Ojha, Ralucca Gera, Sucheta Soundarajan:
Sampling a Network to Find Nodes of Interest. - Chenhan D. Yu, William B. March, George Biros:
An N log N Parallel Fast Direct Solver for Kernel Matrices. - Ehsan Jahangiri, Erdem Yörük, René Vidal, Laurent Younes, Donald Geman:
Information Pursuit: A Bayesian Framework for Sequential Scene Parsing. - Andriy V. Miranskyy, Zainab Al-zanbouri, David Godwin, Ayse Basar Bener:
Database Engines: Evolution of Greenness. - Lele Wang, Young-Han Kim, Chiao-Yi Chen, Hosung Park, Eren Sasoglu:
Sliding-Window Superposition Coding: Two-User Interference Channels. - Xiaowei Zhou, Menglong Zhu, Georgios Pavlakos, Spyridon Leonardos, Konstantinos G. Derpanis, Kostas Daniilidis:
MonoCap: Monocular Human Motion Capture using a CNN Coupled with a Geometric Prior. - Carlos Domingo Castillo, Soham De, Xintong Han, Bharat Singh, Abhay Kumar Yadav, Tom Goldstein:
Son of Zorn's Lemma: Targeted Style Transfer Using Instance-aware Semantic Segmentation. - Brian Chu, Daylen Yang, Ravi Tadinada:
Visualizing Residual Networks. - Guangmo Tong, Weili Wu, Ling Guo, Deying Li, Cong Liu, Bin Liu, Ding-Zhu Du:
An Efficient Randomized Algorithm for Rumor Blocking in Online Social Networks. - Kory W. Mathewson, Patrick M. Pilarski:
Reinforcement Learning based Embodied Agents Modelling Human Users Through Interaction and Multi-Sensory Perception. - Guangmo Tong, Weili Wu, Ding-Zhu Du:
On Rivest-Vuillemin Conjecture for Fourteen Variables. - Marco Gori, Marco Maggini, Alessandro Rossi:
The principle of cognitive action - Preliminary experimental analysis. - Ali Dehghan, Amir H. Banihashemi:
On the Tanner Graph Cycle Distribution of Random LDPC, Random Protograph-Based LDPC, and Random Quasi-Cyclic LDPC Code Ensembles. - Cheng Chen, Randall A. Berry, Michael L. Honig, Vijay G. Subramanian:
The Impact of Small-Cell Bandwidth Requirements on Strategic Operators. - Gabriel Murray:
Stoic Ethics for Artificial Agents. - Tanmay Shankar, Santosha K. Dwivedy, Prithwijit Guha:
Reinforcement Learning via Recurrent Convolutional Neural Networks. - Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. - Martin Djukanovic:
Generalizations of Divisor Methods to Approval and Score Voting. - Chengling Fang, Jiang Liu:
A Linear Algebra Formulation for Boolean Satisfiability Testing. - Juan Echeverría, Shi Zhou:
The 'Star Wars' botnet with >350k Twitter bots. - Yuqing Zhu, Philip S. Yu, Guolei Yi, Wenlong Ma, Mengying Guo, Jianxun Liu:
To Vote Before Decide: A Logless One-Phase Commit Protocol for Highly-Available Datastores. - Arash Rafiey, Jeff Kinne, Tomás Feder:
Dichotomy for Digraph Homomorphism Problems. - Sachini Jayasooriya, Mahyar Shirvanimoghaddam, Lawrence Ong, Sarah J. Johnson:
Analysis and design of Raptor codes using a multi-edge framework. - Qingkai Liang, Eytan H. Modiano:
Coflow Scheduling in Input-Queued Switches: Optimal Delay Scaling and Algorithms. - Xiaonan Su, Changle Li, Xiaoming Yuan:
IEEE 802.15.6-based Prototype System for WBAN: Design and Implementation. - Danfei Xu, Yuke Zhu, Christopher B. Choy, Li Fei-Fei:
Scene Graph Generation by Iterative Message Passing. - Haifeng Zhang, Weinan Zhang, Yifei Rong, Kan Ren, Wenxin Li, Jun Wang:
Managing Risk of Bidding in Display Advertising. - Maziar Raissi, George E. Karniadakis:
Machine Learning of Linear Differential Equations using Gaussian Processes. - Rajshekhar Vishweshwar Bhat, Mehul Motani, Teng Joon Lim:
Energy Harvesting Communication Using Finite-Capacity Batteries with Internal Resistance. - Vilém Vychodil:
Closure structures parameterized by systems of isotone Galois connections. - Juan Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici:
SIPHON: Towards Scalable High-Interaction Physical Honeypots. - Loet Leydesdorff, Mark William Johnson, Inga A. Ivanova:
Toward a Calculus of Redundancy: The feedback arrow of expectations in knowledge-based systems. - Swanand Kadhe, A. Robert Calderbank:
Rate Optimal Binary Linear Locally Repairable Codes with Small Availability. - Karen Shashok:
Can scientists and their institutions become their own open access publishers? - Christoph Lassner, Javier Romero, Martin Kiefel, Federica Bogo, Michael J. Black, Peter V. Gehler:
Unite the People: Closing the Loop Between 3D and 2D Human Representations. - Manuela Hirschmugl, Heinz Gallaun, Matthias Dees, Pawan Datta, Janik Deutscher, Nikos Koutsias, Mathias Schardt:
Review of Methods for Mapping Forest Disturbance and Degradation from Optical Earth Observation Data. - Ilya Bychkov, Mikhail Batsyn:
An efficient exact model for the cell formation problem with a variable number of production cells. - Abhinav Thanda, Shankar M. Venkatesan:
Multi-task Learning Of Deep Neural Networks For Audio Visual Automatic Speech Recognition. - Yang Xu, Jiawei Liu:
Implicitly Incorporating Morphological Information into Word Embedding. - Syed Afaq Ali Shah, Uzair Nadeem, Mohammed Bennamoun, Ferdous Ahmed Sohel, Roberto Togneri:
Efficient Image Set Classification using Linear Regression based Image Reconstruction. - Han Cai, Kan Ren, Weinan Zhang, Kleanthis Malialis, Jun Wang, Yong Yu, Defeng Guo:
Real-Time Bidding by Reinforcement Learning in Display Advertising. - Thomas Schwentick, Nils Vortmeier, Thomas Zeume:
Dynamic Complexity under Definable Changes. - Burhan Gulbahar:
Network Topology Modulation for Energy and Data Transmission in Internet of Magneto-Inductive Things. - Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Untwisting two-way transducers in elementary time. - Feng Liu, Guangquan Zhang, Haiyan Lu, Jie Lu:
Heterogeneous Unsupervised Cross-domain Transfer Learning. - Alessandro Saccon, Silvio Traversaro, Francesco Nori, Henk Nijmeijer:
On Centroidal Dynamics and Integrability of Average Angular Velocity. - Yang Li, Tao Lin, Hui Tang, Peng Sun:
A Chunk Caching Location and Searching Scheme in Content Centric Networking. - Shichao Liu, Ying Jiang:
Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach. - Changhua Pei, Zhi Wang, Youjian Zhao, Zihan Wang, Yuan Meng, Dan Pei, Yuanquan Peng, Wenliang Tang, Xiaodong Qu:
Why It Takes So Long to Connect to a WiFi Access Point. - Céline Aubel, Helmut Bölcskei:
Vandermonde Matrices with Nodes in the Unit Disk and the Large Sieve. - Junbo Zhang, Yu Zheng, Dekang Qi, Ruiyuan Li, Xiuwen Yi, Tianrui Li:
Predicting Citywide Crowd Flows Using Deep Spatio-Temporal Residual Networks. - Daniel Meana-Llorián, Cristian González García, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle, Néstor García-Fernández:
IoFClime: The fuzzy logic and the Internet of Things to control indoor temperature regarding the outdoor ambient conditions. - Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
:
MDPs with Energy-Parity Objectives. - Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang:
A Convenient Category for Higher-Order Probability Theory. - Ofer Feinerman, Amos Korman:
The ANTS problem. - B. N. Bharath, P. Vaishali:
Time Complexity Analysis of a Distributed Stochastic Optimization in a Non-Stationary Environment. - Thierry Coquand, Bassel Mannaa, Fabian Ruch:
Stack Semantics of Type Theory. - Yanting Ma, Yue M. Lu, Dror Baron:
Multiprocessor Approximate Message Passing with Column-Wise Partitioning. - Teesid Leelasawassuk, Dima Damen, Walterio W. Mayol-Cuevas:
Automated capture and delivery of assistive task guidance with an eyewear computer: The GlaciAR system. - Diego Marcheggiani, Anton Frolov, Ivan Titov:
A Simple and Accurate Syntax-Agnostic Neural Model for Dependency-based Semantic Role Labeling. - Rabindra K. Barik, Harishchandra Dubey, Arun B. Samaddar, Rajan D. Gupta, Prakash K. Ray:
FogGIS: Fog Computing for Geospatial Big Data Analytics. - Minh Nguyen, Keith A. Teague:
Energy-Efficient Data Collection in Clustered Wireless Sensor Networks employing Distributed DCT. - Ender Konukoglu, Ben Glocker:
SubCMap: Subject and Condition Specific Effect Maps. - Antonia Wachter-Zeh:
List Decoding of Insertions and Deletions. - Anasua Mitra, Amit Awekar
:
On Low Overlap Among Search Results of Academic Search Engines. - Simone Bianco, Marco Buzzelli, Davide Mazzini, Raimondo Schettini:
Deep Learning for Logo Recognition. - Andrei A. Bulatov:
Constraint Satisfaction Problems over semilattice block Mal'tsev algebras. - Mustafa Kemal Tas, Kamer Kaya, Erik Saule:
Greed is Good: Optimistic Algorithms for Bipartite-Graph Partial Coloring on Multicore Architectures. - Cristian González García, Daniel Meana-Llorián, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle, Néstor García-Fernández:
Midgar: Detection of people through computer vision in the Internet of Things scenarios to improve the security in Smart Cities, Smart Towns, and Smart Homes. - Antoine Amarilli, Yael Amsterdamer, Tova Milo, Pierre Senellart:
Top-k Querying of Unknown Values under Order Constraints (Extended Version). - Vladimir Savic, Elad Michael Schiller, Marina Papatriantafilou:
Distributed Algorithm for Collision Avoidance at Road Intersections in the Presence of Communication Failures. - Thom W. Frühwirth:
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. - Jürg Kohlas:
Algebras of Information. A New and Extended Axiomatic Foundation. - R. V. Bobiti, Mircea Lazar:
Towards parallelizable sampling-based Nonlinear Model Predictive Control. - Sergio Escalera, Xavier Baró, Hugo Jair Escalante, Isabelle Guyon:
ChaLearn Looking at People: Events and Resources. - Thom W. Frühwirth:
Constraint Handling Rules - What Else? - Rajeev Kumar, Robert S. Margolies, Rittwik Jana, Yong Liu, Shivendra S. Panwar:
WiLiTV: A Low-Cost Wireless Framework for Live TV Services. - Michaël Cadilhac, Charles Paperman:
A Crevice on the Crane Beach: Finite-Degree Predicates. - Hao Dong, Paarth Neekhara, Chao Wu, Yike Guo:
Unsupervised Image-to-Image Translation with Generative Adversarial Networks. - Thom W. Frühwirth:
A Devil's Advocate against Termination of Direct Recursion. - Joya A. Deri, José M. F. Moura:
Spectral Projector-Based Graph Fourier Transforms. - Xiaoyan Qiu, Diego F. M. Oliveira, Alireza Sahami Shirazi, Alessandro Flammini, Filippo Menczer:
Lack of quality discrimination in online information markets. - Drew Linsley, Sven Eberhardt, Tarun Sharma, Pankaj Gupta, Thomas Serre:
Clicktionary: A Web-based Game for Exploring the Atoms of Object Recognition. - Hui Zhang, Eitan Yaakobi, Natalia Silberstein:
Multiset Combinatorial Batch Codes. - Subhro Das
, José M. F. Moura:
Distributed Estimation of Dynamic Fields over Multi-agent Networks. - Saed Alrabaee, Paria Shirani, Mourad Debbabi, Lingyu Wang:
On the Feasibility of Malware Authorship Attribution. - Zhaojian Li, Ilya V. Kolmanovsky
, Ella M. Atkins, Jianbo Lu, Dimitar P. Filev:
H-infinity Filtering for Cloud-Aided Semi-active Suspension with Delayed Information. - Roozbeh Mottaghi, Connor Schenck, Dieter Fox, Ali Farhadi:
See the Glass Half Full: Reasoning about Liquid Containers, their Volume and Content. - Ying Zhang, Mohammad Pezeshki, Philemon Brakel, Saizheng Zhang, César Laurent, Yoshua Bengio, Aaron C. Courville:
Towards End-to-End Speech Recognition with Deep Convolutional Neural Networks. - Massimiliano Dal Mas:
Digital Advertising Traffic Operation: Flow Management Analysis. - Martin Jankowiak, Manuel Gomez-Rodriguez:
Uncovering the Spatiotemporal Patterns of Collective Social Activity. - Ravi Kiran Raman, Lav R. Varshney:
Universal Joint Image Clustering and Registration using Partition Information. - Hardie Cate, Zeshan Hussain:
Bidirectional American Sign Language to English Translation. - Kele Xu, Xi Liu, Hengxing Cai, Zhifeng Gao:
Full-reference image quality assessment-based B-mode ultrasound image similarity measure. - Wojciech Czerwinski, Slawomir Lasota:
Regular Separability of One Counter Automata. - Yigal Bejerano, Chandru Raman, Chun-Nam Yu, Varun Gupta, Craig Gutterman, Tomas Young, Hugo Infante, Yousef Abdelmalek, Gil Zussman:
DyMo: Dynamic Monitoring of Large Scale LTE-Multicast Systems. - Guillaume Klein, Yoon Kim, Yuntian Deng, Jean Senellart, Alexander M. Rush:
OpenNMT: Open-Source Toolkit for Neural Machine Translation. - Bo Dai, Ruiqi Guo, Sanjiv Kumar, Niao He, Le Song:
Stochastic Generative Hashing. - Cheuk Ting Li, Abbas El Gamal:
Strong Functional Representation Lemma and Applications to Coding Theorems. - Bill Corcoran, Zihan Geng, Valery Rozental, Arthur James Lowery:
Cyclic spectra for wavelength-routed optical networks. - Chenglong Li, Guizhao Wang, Yunpeng Ma, Aihua Zheng, Bin Luo, Jin Tang:
A Unified RGB-T Saliency Detection Benchmark: Dataset, Baselines, Analysis and A Novel Approach. - Tamir Bendory, Pavel Sidorenko, Yonina C. Eldar:
On the Uniqueness of FROG Methods. - Shiho Sugimoto, Naoki Noda, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:
Computing Abelian regularities on RLE strings. - Jana Dunfield:
Extensible Datasort Refinements. - Joya A. Deri, José M. F. Moura:
Agile Inexact Methods for Spectral Projector-Based Graph Fourier Transforms. - Manu Basavaraju, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh:
On finding highly connected spanning subgraphs. - Cong Duy Vu Hoang, Gholamreza Haffari, Trevor Cohn:
Decoding as Continuous Optimization in Neural Machine Translation. - Joya A. Deri, José M. F. Moura:
Graph Equivalence Classes for Spectral Projector-Based Graph Fourier Transforms. - Ramakrishna Vedantam, Samy Bengio, Kevin Murphy, Devi Parikh, Gal Chechik:
Context-aware Captions from Context-agnostic Supervision. - Isabelle Augenstein, Leon Derczynski, Kalina Bontcheva:
Generalisation in Named Entity Recognition: A Quantitative Analysis. - Nir Shlezinger, Daniel Zahavi, Yonathan Murin, Ron Dabora:
The Secrecy Capacity of Gaussian MIMO Channels with Finite Memory - Full Version. - Jean-Bernard Lasserre, Edouard Pauwels:
The empirical Christoffel function in Statistics and Machine Learning. - Kapil Dev Tyagi, Arun Kumar, Rajendar Bahl:
A note on dual demodulator continuous transmission frequency modulation technique. - Mohammed Alsaedi:
Colored Image Encryption and Decryption Using Chaotic Lorenz System and DCT2. - Matteo Zanotto, Riccardo Volpi, Alessandro Maccione, Luca Berdondini, Diego Sona, Vittorio Murino:
Modeling Retinal Ganglion Cell Population Activity with Restricted Boltzmann Machines. - Ori Rottenstreich, Yuval Cassuto:
Optimal Compression for Two-Field Entries in Fixed-Width Memories. - Antonio Toral, Víctor M. Sánchez-Cartagena:
A Multifaceted Evaluation of Neural versus Phrase-Based Machine Translation for 9 Language Directions. - Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin:
On Delay and Regret Determinization of Max-Plus Automata. - Noam Zeilberger:
A sequent calculus for the Tamari order. - Zhetao Li, Hongqing Zeng, Chengqing Li, Jun Fang:
Greedy Sparse Signal Reconstruction Using Matching Pursuit Based on Hope-tree. - Waheeb Ahmed, Anto Babu P.:
Question Analysis for Arabic Question Answering Systems. - Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan:
On the Upward/Downward Closures of Petri Nets. - Nhan Thanh Nguyen, Kyungchun Lee:
Cell Coverage Extension with Orthogonal Random Precoding for Massive MIMO Systems. - Krishnendu Chatterjee, Hongfei Fu:
Termination of Nondeterministic Recursive Probabilistic Programs. - Chloé Braud
, Maximin Coavoux
, Anders Søgaard:
Cross-lingual RST Discourse Parsing. - Roland Meyer, Sebastian Muskalla, Elisabeth Neumann:
Liveness Verification and Synthesis: New Algorithms for Recursive Programs. - Daniel Graziotin
, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson:
Unhappy Developers: Bad for Themselves, Bad for Process, and Bad for Software Product. - Johan Jonasson:
Slow mixing for Latent Dirichlet allocation. - Kim Anh Nguyen, Sabine Schulte im Walde, Ngoc Thang Vu:
Distinguishing Antonyms and Synonyms in a Pattern-based Neural Network. - Qingnan Fan, David P. Wipf, Gang Hua, Baoquan Chen:
Revisiting Deep Image Smoothing and Intrinsic Image Decomposition. - Werner Haselmayr, Syed Muhammad Haider Aejaz, A. Taufiq Asyhari, Andreas Springer, Weisi Guo:
On the Impact of Transposition Errors in Diffusion-Based Channels. - Seyed Pooya Shariatpanahi, Giuseppe Caire, Babak Hossein Khalaj:
Multi-Antenna Coded Caching. - Jesús López-Fernández, José F. Paris, Eduardo Martos-Naya:
Bivariate Rician shadowed fading model. - Zaid A. Hussain, Bader F. AlBdaiwi, Anton Cerný:
Node-Independent Spanning Trees in Gaussian Networks. - Ventsislav Chonev:
Reachability in Augmented Interval Markov Chains. - Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin, Hongxin Liang, Rafia Inam, Elena Fersman, Carlos R. B. Azevedo, Klaus Raizer, Ricardo S. Souza:
A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems. - Massimo Cafaro, Marco Pulimeno, Italo Epicoco:
Parallel mining of time-faded heavy hitters. - Alessio Merola, Carlo Cosentino, Domenico Colacino, Francesco Amato:
Optimal Control of Uncertain Nonlinear Quadratic Systems with Constrained Inputs. - Jennifer Dutiné, Markus Clemens, Sebastian Schöps, Georg Wimmer:
Explicit Time Integration of Transient Eddy Current Problems. - Stefano Cresci, Roberto Di Pietro, Marinella Petrocchi, Angelo Spognardi, Maurizio Tesconi:
The paradigm-shift of social spambots: Evidence, theories, and tools for the arms race. - Shuo Shao, Tie Liu, Chao Tian, Cong Shen:
On the Tradeoff Region of Secure Exact-Repair Regenerating Codes. - Yutaka Nagashima:
Towards Smart Proof Search for Isabelle. - Arturo Argueta, David Chiang:
Decoding with Finite-State Transducers on GPUs. - Matthew Veres, Medhat Moussa, Graham W. Taylor:
Modeling Grasp Motor Imagery through Deep Conditional Generative Models. - Manxi Wang, Yongcheng Li, Xiaohan Wei, Qing Ling:
Robust Group LASSO Over Decentralized Networks. - Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, Jaroslav Opatrny, Sunil M. Shende:
Linear Search with Terrain-Dependent Speeds. - Tapan Sahni, Chinmay Chandak, Naveen Reddy Chedeti, Manish Singh:
Efficient Twitter Sentiment Classification using Subjective Distant Supervision. - David Castells-Rufas, Cédric Bastoul:
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2017. - Baris Kayalibay, Grady Jensen, Patrick van der Smagt:
CNN-based Segmentation of Medical Imaging Data. - Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents] - Jonathan T. Barron:
A More General Robust Loss Function. - Chongyang Tao, Lili Mou, Dongyan Zhao, Rui Yan:
RUBER: An Unsupervised Method for Automatic Evaluation of Open-Domain Dialog Systems. - Besat Kassaie:
SPARQL over GraphX. - Besat Kassaie:
Job Detection in Twitter. - Akshitha Sriraman, Sihang Liu, Sinan Gunbay, Shan Su, Thomas F. Wenisch:
Deconstructing the Tail at Scale Effect Across Network Protocols. - Xiang Xiang, Trac D. Tran:
Linear Disentangled Representation Learning for Facial Actions. - Wasim Huleihel, Or Ordentlich:
How to Quantize n Outputs of a Binary Symmetric Channel to n-1 Bits? - Chiori Hori, Takaaki Hori, Teng-Yok Lee, Kazuhiro Sumi, John R. Hershey, Tim K. Marks:
Attention-Based Multimodal Fusion for Video Description. - Besat Kassaie:
De-identification In practice. - Eric Lewin Altschuler, Timothy J. Williams:
A practical efficient and effective method for the Hamiltonian cycle problem that runs on a standard computer. - Wenjun Mei, Shadi Mohagheghi, Sandro Zampieri, Francesco Bullo:
On the Dynamics of Deterministic Epidemic Propagation over Networks. - Corneliu T. C. Arsene:
Uncertainty Quantification of Water Distribution System Measurement Data based on a Least Squares Loop Flows State Estimator. - Mengtian Li, Daniel Huber:
Guaranteed Parameter Estimation for Discrete Energy Minimization. - Igor Barros Barbosa, Marco Cristani, Barbara Caputo, Aleksander Rognhaugen, Theoharis Theoharis:
Looking Beyond Appearances: Synthetic Training Data for Deep CNNs in Re-identification. - Héctor Martínez Alonso, Zeljko Agic, Barbara Plank, Anders Søgaard:
Parsing Universal Dependencies without training. - Junjun Yin, Aiman Soliman, Dandong Yin, Shaowen Wang:
Depicting urban boundaries from a mobility network of spatial interactions: A case study of Great Britain with geo-located Twitter data. - Chun-Chen Liu, Oscar Law, Fei Li:
An Accurate Interconnect Test Structure for Parasitic Validation in On-Chip Machine Learning Accelerators. - Louis Shao, Stephan Gouws, Denny Britz, Anna Goldie, Brian Strope, Ray Kurzweil:
Generating Long and Diverse Responses with Neural Conversation Models. - Bo Li, Guodong Shi:
Feedback Capacity over Networks. - Haoqi Li, Brian R. Baucom, Panayiotis G. Georgiou:
Unsupervised Latent Behavior Manifold Learning from Acoustic Features: audio2behavior. - Mohammad Nazif Faqiry, Ahmad Khaled Zarabie, Fatehullah Nassery, Hongyu Wu, Sanjoy Das:
A Day Ahead Market Energy Auction for Distribution System Operation. - Cheuk Ting Li, Abbas El Gamal:
Extended Gray-Wyner System with Complementary Causal Side Information. - Chenhui Chu, Raj Dabre, Sadao Kurohashi:
An Empirical Comparison of Simple Domain Adaptation Methods for Neural Machine Translation. - Wei Guo, Weile Zhang, Pengcheng Mu, Feifei Gao:
High-Mobility OFDM Downlink Transmission with Large-Scale Antenna Array. - Angela Fan, Finale Doshi-Velez, Luke Miratrix:
Promoting Domain-Specific Terms in Topic Models with Informative Priors. - Awanthika Senarath, Nalin Asanka Gamagedara Arachchilage, Brij B. Gupta:
Security Strength Indicator in Fallback Authentication: Nudging Users for Better Answers in Secret Questions. - Oussama Remil, Qian Xie, Xingyu Xie, Kai Xu, Jun Wang:
Surface Reconstruction with Data-driven Exemplar Priors. - Manuel Amunategui:
Single-Pass, Adaptive Natural Language Filtering: Measuring Value in User Generated Comments on Large-Scale, Social Media News Forums. - Rui She, Shanyun Liu, Yunquan Dong, Pingyi Fan:
Focusing on a Probability Element: Parameter Selection of Message Importance Measure in Big Data. - Shanyun Liu, Rui She, Jiaxun Lu, Pingyi Fan:
Shannon Shakes Hands with Chernoff: Big Data Viewpoint On Channel Information Measures. - Sumeet Trehan, Kevin Carlberg, Louis J. Durlofsky:
Error estimation for surrogate models of dynamical systems using machine learning. - Wenbo Zhang, Xiaorong Hou:
Light Source Point Cluster Selection Based Atmosphere Light Estimation. - Jue Wang, Anoop Cherian, Fatih Porikli:
Ordered Pooling of Optical Flow Sequences for Action Recognition. - Binnan Zhuang, Dongning Guo, Ermin Wei, Michael L. Honig:
Scalable Spectrum Allocation and User Association in Networks with Many Small Cells. - Yoshiyuki Harada, Yoriyuki Yamagata, Osamu Mizuno, Eun-Hye Choi:
Log-based Anomaly Detection of CPS Using a Statistical Method. - Amit Agarwal, Saif Khan Mohammed:
Achievable Rate Region of the Zero-Forcing Precoder in a 2 X 2 MU-MISO Broadcast VLC Channel with Per-LED Peak Power Constraint and Dimming Control. - Balagopal Komarath, Jayalal Sarma, K. S. Sunil:
On the Complexity of L-reachability. - Klaus Jansen, Marten Maack:
An EPTAS for Scheduling on Unrelated Machines of Few Different Types. - Zhiliang Huang, Shiyi Zhang, Feiyan Zhang, Chunjiang Duanmu, Ming Chen:
On the Successive Cancellation Decoding of Polar Codes with Arbitrary Linear Binary Kernels. - Demian Wassermann, Matthew Toews, Marc Niethammer, William M. Wells III:
Probabilistic Diffeomorphic Registration: Representing Uncertainty. - Jun Chen, Chaokun Wang:
Investigating the role of musical genre in human perception of music stretching resistance. - Miroslav Shaltev, Jan-Hendrik Zab, Philipp Kemkes, Stefan Siersdorfer, Sergej Zerr:
Cobwebs from the Past and Present: Extracting Large Social Networks using Internet Archive Data. - Tao Wei, Changhu Wang, Chang Wen Chen:
Modularized Morphing of Neural Networks. - Qi Zhang, Howard H. Yang, Tony Q. S. Quek, Jemin Lee:
Heterogeneous Cellular Networks with LoS and NLoS Transmissions-The Role of Massive MIMO and Small Cells. - Ryo Yaguchi, Masahito Hayashi:
Second Order Analysis for Joint Source-Channel Coding with Markovian Source. - George C. Alexandropoulos:
Position Aided Beam Alignment for Millimeter Wave Backhaul Systems with Large Phased Arrays. - Ashraf A. Shahin:
Automatic Cloud Resource Scaling Algorithm based on Long Short-Term Memory Recurrent Neural Network. - Ashraf A. Shahin:
Using Multiple Seasonal Holt-Winters Exponential Smoothing to Predict Cloud Resource Provisioning. - Robert Falkenberg, Christoph Ide, Christian Wietfeld:
Client-Based Control Channel Analysis for Connectivity Estimation in LTE Networks. - Ryo Yaguchi, Masahito Hayashi:
Finite-Length Bounds for Joint Source-Channel Coding with Markovian Source and Additive Channel Noise to Achieve Large and Moderate Deviation Bounds. - Neha Sengupta, Amitabha Bagchi, Srikanta Bedathur, Maya Ramanath:
Sampling and Reconstruction Using Bloom Filters. - Vaishakhi Mayya, Boyla Mainsah, Galen Reeves:
Information-Theoretic Analysis of Refractory Effects in the P300 Speller. - Edelmira Pasarella, Maria-Esther Vidal
, Cristina Zoltan:
Comparing MapReduce and Pipeline Implementations for Counting Triangles. 20-33 - Salvador Tamarit
, Julio Mariño, Guillermo Vigueras
, Manuel Carro
:
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. 34-51 - Ricardo Peña:
An Introduction to Liquid Haskell. 68-80 - Yi Zhou:
Assertional Logic: Towards an Extensible Knowledge Model (extended abstract). - Andreas van Cranenburgh, Rens Bod:
A Data-Oriented Model of Literary Language. - Joachim Dehais, Marios Anthimopoulos, Sergey Shevchik, Stavroula G. Mougiakakou:
Two-view 3D Reconstruction for Food Volume Estimation. - Tom Kocmi, Ondrej Bojar:
LanideNN: Multilingual Language Identification on Character Window. - Yunpeng Wang, Walid Saad, Arif I. Sarwat, Choong Seon Hong:
Reactive Power Compensation Game under Prospect-Theoretic Framing Effects. - Uzi Pereg, Yossef Steinberg:
A Study on Arbitrarily Varying Channels with Causal Side Information at the Encoder. - Lixian Zhang, Xunyuan Yin, Junnan Shen, Haitao Yu:
Cloud-Aided State Estimation of A Full-Car Semi-Active Suspension System. - Jaeyoung Kim, Mostafa El-Khamy, Jungwon Lee:
Residual LSTM: Design of a Deep Recurrent Architecture for Distant Speech Recognition. - Massimo Franceschet, Enrico Bozzo:
The Massey's method for sport rating: a network science perspective. - Yuan-Hang Zhang, Xie Li, Jing-Yun Xiao:
A Digital Fuzzy Edge Detector for Color Images. - Billy Pik Lik Lau, Marakkalage Sumudu Hasala, Sanjana Kadaba Viswanath, Balasubramaniam Thirunavukarasu, Chau Yuen, Belinda Yuen, Richi Nayak:
Extracting Point of Interest and Classifying Environment for Low Sampling Crowd Sensing Smartphone Sensor Data. - Kanapathippillai Cumanan, George C. Alexandropoulos, Zhiguo Ding, George K. Karagiannidis:
Secure communications with cooperative jamming: Optimal power allocation and secrecy outage analysis. - Mark de Berg, Tim Leijsen, André van Renssen, Marcel Roeloffzen, Aleksandar Markovic, Gerhard J. Woeginger:
Dynamic and Kinetic Conflict-Free Coloring of Intervals with Respect to Points. - Rajai Nasser, Joseph M. Renes:
Polar Codes for Arbitrary Classical-Quantum Channels and Arbitrary cq-MACs. - Nicholas J. Fraser, Yaman Umuroglu, Giulio Gambardella, Michaela Blott, Philip Heng Wai Leong, Magnus Jahre, Kees A. Vissers:
Scaling Binarized Neural Networks on Reconfigurable Logic. - Elsa Dupraz:
Distributed K-means over Compressed Binary Data. - Andreas Brandstädt, Raffaele Mosca:
On Efficient Domination for Some Classes of H-Free Chordal Graphs. - Christopher Robert Anderson, Theodore S. Rappaport:
In-Building Wideband Partition Loss Measurements at 2.5 GHz and 60 GHz. - Naveed Ul Hassan, Wayes Tushar, Chau Yuen, See Gim Kerk, Ser Wah Oh:
Guaranteeing QoS using Unlicensed TV White Spaces for Smart Grid Applications. - Catherine Gloaguen, Elie Cali:
Cost estimation of a fixed network deployment over an urban territory. - Mojtaba Sahraee-Ardakan, Mohsen Joneidi:
Joint Dictionary Learning for Example-based Image Super-resolution. - Seyed Mehran Dibaji, Hideaki Ishii:
Resilient Consensus of Second-Order Agent Networks: Asynchronous Update Rules with Delays. - Noura Farra, Kathleen R. McKeown:
SMARTies: Sentiment Models for Arabic Target Entities. - Ruidong Liu, Gregor Verbic, Jin Ma:
Fast Stability Scanning for Future Grid Scenario Analysis. - Ruotian Luo, Gregory Shakhnarovich:
Comprehension-guided referring expressions. - Yuzhen Lu, Fathi M. Salem:
Simplified Gating in Long Short-term Memory (LSTM) Recurrent Neural Networks. - Joel C. Heck, Fathi M. Salem:
Simplified Minimal Gated Unit Variations for Recurrent Neural Networks. - Deanna Needell, Tina Woolf:
An Asynchronous Parallel Approach to Sparse Recovery. - Santiago Badia, Marc Olm:
Space-time balancing domain decomposition. - M. Hadi Amini, Orkun Karabasoglu:
Optimal Operation of Interdependent Power Systems and Electrified Transportation Networks. - Emrah Budur:
Scalable, Trie-based Approximate Entity Extraction for Real-Time Financial Transaction Screening. - Thomas Steinke, Jonathan R. Ullman:
Subgaussian Tail Bounds via Stability Arguments. - Mayank Parasar, Abhishek Bhattacharjee, Tushar Krishna:
VESPA: VIPT Enhancements for Superpage Accesses. - (Withdrawn) A Savage-Like Axiomatization for Nonstandard Expected Utility.
- Bruno Dantas, Calmenelias Fleitas, Alexandre P. Francisco, José Simão, Cátia Vaz
:
Beyond NGS data sharing and towards open science. - Fariborz Salehi, Kishore Jaganathan, Babak Hassibi:
Multiple Illumination Phaseless Super-Resolution (MIPS) with Applications To Phaseless DOA Estimation and Diffraction Imaging. - Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodríguez-Navas:
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. - Stefanie Roos, Martin Byrenheid, Clemens Deusser, Thorsten Strufe:
Balanced Dynamic Content Addressing in Trees. - Jonas Szutkoski, Mark van Hoeij, Luiz Emilio Allem, Juliane Capaverde:
Functional Decomposition using Principal Subfields. - Utku Aydonat, Shane O'Connell, Davor Capalija, Andrew C. Ling, Gordon R. Chiu:
An OpenCL(TM) Deep Learning Accelerator on Arria 10. - Adel Javanmard:
Perishability of Data: Dynamic Pricing under Varying-Coefficient Models. - Keze Wang, Dongyu Zhang, Ya Li, Ruimao Zhang, Liang Lin:
Cost-Effective Active Learning for Deep Image Classification. - Liang Lin, Keze Wang, Deyu Meng, Wangmeng Zuo, Lei Zhang:
Active Self-Paced Learning for Cost-Effective and Progressive Face Identification. - (Withdrawn) A Novel Algorithm for Optimal Electricity Pricing in a Smart Microgrid Network.
- Anoop Thomas, B. Sundar Rajan:
Generalized Index Coding Problem and Discrete Polymatroids. - Jagadeesh Harshan, Amin Sakzad, Emanuele Viterbo:
Integer-Forcing Linear Receivers: A Design Criterion for Full-Diversity STBCs. - Jagadeesh Harshan, Sang-Yoon Chang, Yih-Chun Hu:
Insider-Attacks on Physical-Layer Group Secret-Key Generation in Wireless Networks. - Zhengbing Hu, Yevgeniy V. Bodyanskiy, Oleksii K. Tyshchenko, Viktoriia O. Samitova:
Fuzzy Clustering Data Given in the Ordinal Scale. - Anli Lim, Bharath Ramesh, Yue Yang, Cheng Xiang, Zhi Gao, Feng Lin:
Real-Time Optical flow-based Video Stabilization for Unmanned Aerial Vehicles. - Markus Giftthaler, Timothy Sandy, Kathrin Dörfler, Ian Brooks, Mark Buckingham, Gonzalo Rey, Matthias Kohler, Fabio Gramazio, Jonas Buchli:
Mobile Robotic Fabrication at 1: 1 scale: the In situ Fabricator. - Seunghyun Yoon, Hyeongu Yun, Yuna Kim, Gyu-tae Park, Kyomin Jung:
Efficient Transfer Learning Schemes for Personalized Language Modeling using Recurrent Neural Network. - Erdem Biyik, Jean Barbier, Mohamad Dia:
Generalized Approximate Message-Passing Decoder for Universal Sparse Superposition Codes. - Andrea Asperti:
Automatic verification and interactive theorem proving. - Fabio Giovanneschi, Kumar Vijay Mishra, María Antonia González-Huici, Yonina C. Eldar, Joachim H. G. Ender:
Online Dictionary Learning Aided Target Recognition In Cognitive GPR. - Lei Zhang, Huaxi (Yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, René Zapata:
Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics. - Meryem Benammar, Abdellatif Zaidi:
Rate-Distortion Region of a Gray-Wyner Model with Side Information. - Giacomo Como:
On resilient control of dynamical flow networks. - Keehang Kwon, Dae-Seong Kang:
Towards a Decidable LogicWeb via Length-Bounded Derivations. - Joshua J. Daymude, Robert Gmyr, Andréa W. Richa, Christian Scheideler, Thim Strothmann:
Leader Election with High Probability for Self-Organizing Programmable Matter. - Wenyi Zhang, Lingyan Huang:
On OR Many-Access Channels. - Meryem Benammar, Abdellatif Zaidi:
Secure Lossy Source Coding for Some Classes of Helper and Gray-Wyner Models. - Soheil Khavari Moghaddam, Seyed Mohammad Razavizadeh:
Joint Tilt Angle Adaptation and Beamforming in Multicell Multiuser Cellular Networks. - Riccardo Satta, Stefano Cavallari, Eraldo Pomponi, Daniele Grasselli, Davide Picheo, Carlo Annis:
A dissimilarity-based approach to predictive maintenance with application to HVAC systems. - Alena Zemanová, Jan Zeman, Michal Sejnoha:
Comparison of viscoelastic finite element models for laminated glass beams. - Oluwaseun Ajao, Jun Hong, Weiru Liu:
A survey of location inference techniques on Twitter. - Jan Zegklitz, Petr Posík:
Symbolic Regression Algorithms with Built-in Linear Regression. - Jielei Chu, Hongjun Wang, Hua Meng, Peng Jin, Tianrui Li:
Restricted Boltzmann Machines with Gaussian Visible Units Guided by Pairwise Constraints. - Valeriya Naumova, Karin Schnass:
Dictionary Learning from Incomplete Data. - Jimmy Jessen Nielsen, Hervé Ganem, Ljupco Jorguseski, Kemal Alic, Miha Smolnikar, Ziming Zhu, Nuno K. Pratas, Michal Golinski, Haibin Zhang, Urban Kuhar, Zhong Fan, Ales Svigelj:
Secure Real-Time Monitoring and Management of Smart Distribution Grid using Shared Cellular Networks. - Luc Dartois, Emmanuel Filiot, Nathan Lhote:
Decidable Logics for Transductions and Data Words. - Xu Zhang:
Fault Tolerant Control of Automotive Air Conditioning Systems using a GIMC Structure. - Priyank Mathur, Arkajyoti Misra, Emrah Budur:
LIDE: Language Identification from Text Documents. - Jérémy Barbay, Javiel Rojas:
Multivariate Analysis for Computing Maxima in High Dimensions. - K. Li, J. Zhang, Shuang Cong:
Fast Reconstruction of High-qubit Quantum States via Low Rate Measurements. - Christof Schlaak, Maher Fakih, Ralf Stemmer:
Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs. - Zimi Li, Nir Oren
, Simon Parsons:
On the links between argumentation-based reasoning and nonmonotonic reasoning. - Damien Busatto-Gaston
, Benjamin Monmege, Pierre-Alain Reynier:
Optimal Reachability in Divergent Weighted Timed Games. - Azam S. Zavar Moosavi, Razvan Stefanescu, Adrian Sandu:
Multivariate predictions of local reduced-order-model errors and dimensions. - Mohsen Ghaffari:
Space-Optimal Semi-Streaming for (2+ε)-Approximate Matching. - Linquan Zhang, Zongpeng Li, Chuan Wu:
An Auction Approach to Spectrum Management in HetNets. - Navid Mirnouri:
Applying Data Compression Techniques on Systolic Neural Network Accelerator. - Arnim Bleier:
Truncation-free Hybrid Inference for DPMM. - Anqi He, Lifeng Wang, Yue Chen, Kai-Kit Wong, Maged Elkashlan:
Spectral and Energy Efficiency of Uplink D2D Underlaid Massive MIMO Cellular Networks. - Sharon Lin, Matthew Fisher, Angela Dai, Pat Hanrahan:
LayerBuilder: Layer Decomposition for Interactive Image and Video Color Editing. - Osman Yagan, Armand M. Makowski:
Counting triangles, tunable clustering and the small-world property in random key graphs (Extended version). - Rafah El-Khatib, Nicolas Macris:
The Velocity of the Propagating Wave for General Coupled Scalar Systems. - Rafah El-Khatib, Nicolas Macris:
The Velocity of the Decoding Wave for Spatially Coupled Codes on BMS Channels. - Yuhua Sun, Tongjiang Yan, Qiang Wang:
The 2-adic complexity of a class of binary sequences with almost optimal autocorrelation. - Rafah El-Khatib, Nicolas Macris, Tom Richardson, Rüdiger L. Urbanke:
Analysis of Coupled Scalar Systems by Displacement Convexity. - Robert Ferens, Marek Szykula:
Complexity of regular bifix-free languages. - Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder:
Model Theory and Proof Theory of CPL. - Mehrdad J. Gangeh, Hamid R. Tizhoosh, Kan Wu, Dun Huang, Hadi Tadayyon, Gregory J. Czarnota:
Tumour Ellipsification in Ultrasound Images for Treatment Prediction in Breast Cancer. - Quansheng Zhang, Xu Zhang:
Vapor Compression Cycle Control for Automotive Air Conditioning Systems with a Linear Parameter Varying Approach. - Yu Zhang, Kanat Tangwongsan, Srikanta Tirthapura:
Streaming Algorithms for k-Means Clustering with Fast Queries. - Yulong Wei, Min Xu:
The g-Good-Neighbor Conditional Diagnosability of Locally Twisted Cubes. - Ping-Chun Hsieh, I-Hong Hou, Xi Liu:
Delay-Optimal Scheduling for Queueing Systems with Switching Overhead. - Amirhossein Javaheri, Mohammad Bagher Shamsollahi:
On Higher Order Positive Differential Energy Operator. - Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications. - Steven Jens Jorgensen, Orion Campbell, Travis Llado, Donghyun Kim
, Junhyeok Ahn
, Luis Sentis:
Exploring Model Predictive Control to Generate Optimal Control Policies for HRI Dynamical Systems. - Jun Yao, Kah Chan Teh, Kwok Hung Li:
Performance Analysis of Low-Density Parity-Check Codes over 2D Interference Channels via Density Evolution. - Ladislav Lenc, Pavel Král:
Deep Neural Networks for Czech Multi-label Document Classification. - Qiong Li, Xiaowang Zhang, Zhiyong Feng:
PRSP: A Plugin-based Framework for RDF Stream Processing. - Oluwaseun Ajao, Deepak P, Jun Hong:
Location Inference from Tweets using Grid-based Classification. - Colin Cooper, Martin E. Dyer, Catherine S. Greenhill, Andrew J. Handley:
The flip Markov chain for connected regular graphs. - Steven Stenberg Hansen:
Long Timescale Credit Assignment in NeuralNetworks with External Memory. - Steven Stenberg Hansen:
Minimally Naturalistic Artificial Intelligence. - Wenwen Ding, Kai Liu:
Learning Linear Dynamical Systems with High-Order Tensor Data for Skeleton based Action Recognition. - Shengyao Chen, Feng Xi, Zhong Liu:
A General Sequential Delay-Doppler Estimation Scheme for Sub-Nyquist Pulse-Doppler Radar. - Min Li
, Lawrence Ong, Sarah J. Johnson:
Cooperative Multi-Sender Index Coding. - Yatish Turakhia, Subhasis Das, Tor M. Aamodt, William J. Dally:
HoLiSwap: Reducing Wire Energy in L1 Caches. - Sachini Jayasooriya, Mahyar Shirvanimoghaddam, Lawrence Ong, Sarah J. Johnson:
Raptor Codes for Higher-Order Modulation Using a Multi-Edge Framework. - Layla Majzoobi, Farshad Lahouti:
Analysis of Distributed ADMM Algorithm for Consensus Optimization in Presence of Error. - Justin Kong, Manabu Hagiwara:
Multipermutation Ulam Sphere Analysis Toward Characterizing Maximal Code Size. - Kumar Vijay Mishra, Yonina C. Eldar:
Performance of time delay estimation in a cognitive radar. - Christian T. Zenger, Hendrik Vogt, Jan Zimmer, Aydin Sezgin, Christof Paar:
The Passive Eavesdropper Affects my Channel: Secret-Key Rates under Real-World Conditions (Extended Version). - Yang Liu, Christian Lageman, Brian D. O. Anderson, Guodong Shi:
An Arrow-Hurwicz-Uzawa Type Flow as Least Squares Solver for Network Linear Equations. - Wulin Zou
, Ningbo Yu:
Modeling and control of a cable-driven series elastic actuator. - Frank Nielsen, Ke Sun, Stéphane Marchand-Maillet:
On Hölder projective divergences. - Yongqing Wang, Shenghua Liu, Huawei Shen, Xueqi Cheng:
Marked Temporal Dynamics Modeling based on Recurrent Neural Network. - Huaqing Zhang, Yong Xiao, Shengrong Bu, Dusit Niyato, F. Richard Yu, Zhu Han:
Computing Resource Allocation in Three-Tier IoT Fog Networks: a Joint Optimization Approach Combining Stackelberg Game and Matching. - Nadir Durrani, Fahim Dalvi, Hassan Sajjad, Stephan Vogel:
QCRI Machine Translation Systems for IWSLT 16. - Tuan Tran, Tu Ngoc Nguyen:
Hedera: Scalable Indexing and Exploring Entities in Wikipedia Revision History. - Anh Tuan Tran, Nam Khanh Tran, Asmelash Teka Hadgu, Robert Jäschke:
Semantic Annotation for Microblog Topics Using Wikipedia Temporal Information. - Rafael Pinto, Paulo Engel:
Scalable and Incremental Learning of Gaussian Mixture Models. - Khoi Duy Vo, Tuan Tran, Tu Ngoc Nguyen, Xiaofei Zhu, Wolfgang Nejdl:
Can We Find Documents in Web Archives without Knowing their Contents? - Janusz A. Brzozowski, Sylvie Davies:
Most Complex Non-Returning Regular Languages. - George Dean Bissias, Brian Neil Levine, Nikunj Kapadia:
Securing the Assets of Decentralized Applications using Financial Derivatives (DRAFT). - Tuan Tran, Claudia Niederée, Nattiya Kanhabua, Ujwal Gadiraju, Avishek Anand:
Balancing Novelty and Salience: Adaptive Learning to Rank Entities for Timeline Summarization of High-impact Events. - Stefan Ratschan:
A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations. - Jens Grubert, Eyal Ofek, Michel Pahud, Matthias Kranz, Dieter Schmalstieg:
Towards Interaction Around Unmodified Camera-equipped Mobile Devices. - Arturo Deza, Jeffrey R. Peters, Grant S. Taylor, Amit Surana, Miguel P. Eckstein:
Attention Allocation Aid for Visual Search. - Tianyi Chen, Qing Ling, Georgios B. Giannakis:
An Online Convex Optimization Approach to Dynamic Network Resource Allocation. - A. Pinar Ozisik, Brian Neil Levine:
An Explanation of Nakamoto's Analysis of Double-spend Attacks. - Nick D. Austin, Nikolaos V. Sahinidis, Daniel W. Trahan:
Computer-aided molecular design: An introduction and review of tools, applications, and solution techniques. - Josef Faller, Brendan Z. Allison, Clemens Brunner, Reinhold Scherer, Dieter Schmalstieg, Gert Pfurtscheller, Christa Neuper:
A feasibility study on SSVEP-based interaction with motivating and immersive virtual and augmented reality. - Chengju Li:
On Hermitian LCD codes from cyclic codes and their applications to orthogonal direct sum masking. - Erin C. Carson:
The Adaptive s-step Conjugate Gradient Method. - Ping-Chun Hsieh, Xi Liu, Jian Jiao, I-Hong Hou, Yunlong Zhang, P. R. Kumar:
Throughput-Optimal Scheduling for Multi-Hop Networked Transportation Systems With Switch-Over Delay. - Yongzheng Jia, Zhengyang Song, Xiaolan Bai, Wei Xu:
Towards Economic Models for MOOC Pricing Strategy Design. - Deepti Tamrakar, Kapil Ahuja:
Density-Wise Two Stage Mammogram Classification using Texture Exploiting Descriptors. - Florian Otterbein, Tim Ohlendorf, Marian Margraf:
The German eID as an Authentication Token on Android Devices. - Yigit Oktar, Mehmet Türkan:
Boosting Dictionary Learning with Error Codes. - Ran Ben-Basat, Gil Einziger, Roy Friedman, Yaron Kassner:
Optimal Elephant Flow Detection. - Mihail Eric, Christopher D. Manning:
A Copy-Augmented Sequence-to-Sequence Architecture Gives Good Performance on Task-Oriented Dialogue. - Feifei Zhai, Saloni Potdar, Bing Xiang, Bowen Zhou:
Neural Models for Sequence Chunking. - Boris Ryabko, Andrey Guskov, Irina Selivanova:
Using data-compressors for statistical analysis of problems on homogeneity testing and classification. - David Graus, Daan Odijk, Maarten de Rijke:
The Birth of Collective Memories: Analyzing Emerging Entities in Text Streams. - Longxi Chen, Yipeng Liu, Ce Zhu:
Iterative Block Tensor Singular Value Thresholding for Extraction of Low Rank Component of Image Data. - Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig:
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version). - Adam Gleave, Christian Steinruecken:
Making compression algorithms for Unicode text. - Bin Dai, Zheng Ma:
Multiple Access Wiretap Channel with Noiseless Feedback. - Bing Liu, Ian R. Lane:
Dialog Context Language Modeling with Recurrent Neural Networks. - Gerardo L. Febres:
Multiple-Scale Systems Modeling: Three Cases Represented by a Computerized Platform. - Yanpeng Yang, Jihong Park, Ki Won Sung:
On the Asymptotic Behavior of Ultra-Densification under a Bounded Dual-Slope Path Loss Model. - Yanpeng Yang, Ki Won Sung, Jihong Park, Seong-Lyun Kim, Kwang Soon Kim:
Cooperative Transmissions in Ultra-Dense Networks under a Bounded Dual-Slope Path Loss Model. - Mao Zou, Richard T. B. Ma, Xin Wang, Yinlong Xu:
On Optimal Service Differentiation in Congested Network Markets. - Federico Cabitza:
Breeding electric zebras in the fields of Medicine. - David Abel, John Salvatier, Andreas Stuhlmüller, Owain Evans:
Agent-Agnostic Human-in-the-Loop Reinforcement Learning. - Yusuke Uchida, Yuki Nagai, Shigeyuki Sakazawa, Shin'ichi Satoh:
Embedding Watermarks into Deep Neural Networks. - Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk:
The complexity of quantified constraints. - Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing (Long Version). - Yuchin Juan, Damien Lefortier, Olivier Chapelle:
Field-aware Factorization Machines in a Real-world Online Advertising System. - Mike Kasper, Nima Keivan, Gabe Sibley, Christoffer R. Heckman:
Light Source Estimation with Analytical Path-tracing. - Neil Lutz, Donald M. Stull:
Dimension Spectra of Lines. - David Abel, D. Ellis Hershkowitz, Michael L. Littman:
Near Optimal Behavior via Approximate State Abstraction. - Hoang Dau, Olgica Milenkovic:
Optimal Repair Schemes for Some Families of Full-Length Reed-Solomon Codes. - Li-Yi Lin:
Taxi-based Emergency Medical System. - Wenjie Luo, Yujia Li, Raquel Urtasun, Richard S. Zemel:
Understanding the Effective Receptive Field in Deep Convolutional Neural Networks. - Rajat Talak, Sertac Karaman, Eytan H. Modiano:
Capacity and delay scaling for broadcast transmission in highly mobile wireless networks. - Yansong Gao, Damith Chinthana Ranasinghe:
PUF-FSM: A Controlled Strong PUF. - Vahid Behzadan, Arslan Munir:
Vulnerability of Deep Reinforcement Learning to Policy Induction Attacks. - Tong Yang, Lingtong Liu, Yibo Yan, Muhammad Shahzad, Yulong Shen, Xiaoming Li, Bin Cui, Gaogang Xie:
SF-sketch: slim-fat-sketch with GPU assistance. - Lucky Galvez, Jon-Lark Kim, Nari Lee, Young Gun Roe, Byung-Sun Won:
Some Bounds on Binary LCD Codes. - Mário S. Alvim, Piotr Mardziel, Michael W. Hicks:
Quantifying vulnerability of secret generation using hyper-distributions (extended version). - Chuong V. Nguyen, Michael Milford, Robert E. Mahony:
3D tracking of water hazards with polarized stereo cameras. - Jon-Lark Kim, Nari Lee:
A Projection Decoding of a Binary Extremal Self-Dual Code of Length 40. - Xiaowang Zhang, Jiahui Zhang, Zhiyong Feng:
hMDAP: A Hybrid Framework for Multi-paradigm Data Analytical Processing on Spark. - Jon-Lark Kim, Nari Lee:
Secret sharing schemes based on additive codes over GF(4). - Rohit M. Thanki, Ved Vyas Dwivedi, Komal R. Borisagar:
A Watermarking Technique Using Discrete Curvelet Transform for Security of Multiple Biometric Features. - Gireeja Ranade, Anant Sahai:
Control Capacity. - Cheng Li, Xiaoxiao Guo, Qiaozhu Mei:
Deep Memory Networks for Attitude Identification. - Martin Kasparick, Gerhard Wunder:
Stable Wireless Network Control Under Service Constraints. - Anastasios Noulas, Vsevolod Salnikov, Desislava Hristova, Cecilia Mascolo, Renaud Lambiotte:
Developing and Deploying a Taxi Price Comparison Mobile App in the Wild: Insights and Challenges. - Laura Lopez-Fuentes, Andrew D. Bagdanov, Joost van de Weijer, Harald Skinnemoen:
Bandwidth limited object recognition in high resolution imagery. - Maher Fakih, Sebastian Warsitz:
Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development. - Mauro Conti, Daniele Lain, Riccardo Lazzeretti, Giulio Lovisotto, Walter Quattrociocchi:
It's Always April Fools' Day! On the Difficulty of Social Network Misinformation Classification via Propagation Features. - Aristide C. Y. Tossou, Christos Dimitrakakis:
Achieving Privacy in the Adversarial Multi-Armed Bandit. - Chunlin Tian, Weijun Ji, Yuan Yuan:
Auxiliary Multimodal LSTM for Audio-visual Speech Recognition and Lipreading. - Aristide C. Y. Tossou, Christos Dimitrakakis, Devdatt P. Dubhashi:
Thompson Sampling For Stochastic Bandits with Graph Feedback. - Andrea Asperti:
About the efficient reduction of lambda terms. - Xiaolei Ma, Zhuang Dai, Zhengbing He, Yunpeng Wang:
Learning Traffic as Images: A Deep Convolution Neural Network for Large-scale Transportation Network Speed Prediction. - Dmitry Yarotsky:
Geometric features for voxel-based surface recognition. - Tahar Zanouda, Noora Al Emadi, Sofiane Abbar, Jaideep Srivastava:
The Quantified City: Sensing Dynamics in Urban Setting. - Andrea Baraldi:
Automatic Spatial Context-Sensitive Cloud/Cloud-Shadow Detection in Multi-Source Multi-Spectral Earth Observation Images: AutoCloud+. - Alon Gonen, Shai Shalev-Shwartz:
Fast Rates for Empirical Risk Minimization of Strict Saddle Problems. - Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke:
Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. - Manuel Le Gallo, Abu Sebastian, Roland Mathis, Matteo Manica, Tomas Tuma, Costas Bekas, Alessandro Curioni, Evangelos Eleftheriou:
Mixed-Precision Memcomputing. - Dominik Alexander Klein, Boris Illing, Bastian Gaspers, Dirk Schulz, Armin Bernd Cremers:
Hierarchical Salient Object Detection for Assisted Grasping. - Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples. - Nadeem Jadoon Khan, Waqas Anwar, Nadir Durrani:
Machine Translation Approaches and Survey for Indian Languages. - Piotr Borkowski
, Krzysztof Ciesielski, Mieczyslaw A. Klopotek:
Semantic classifier approach to document classification. - Roberto di Lallo, Federico Griscioli, Gabriele Lospoto, Habib Mostafaei, Maurizio Pizzonia, Massimo Rimondini:
Leveraging SDN to Monitor Critical Infrastricture Networks in a Smarter Way. - Hengtao He, Chao-Kai Wen, Shi Jin:
Generalized Expectation Consistent Signal Recovery for Nonlinear Measurements. - Fei Hou, Qian Sun, Zheng Fang
, Yong-Jin Liu, Shi-Min Hu, Hong Qin, Aimin Hao, Ying He:
Poisson Vector Graphics (PVG) and Its Closed-Form Solver. - Kartik Audhkhasi, Andrew Rosenberg, Abhinav Sethy, Bhuvana Ramabhadran, Brian Kingsbury:
End-to-End ASR-free Keyword Search from Speech. - Rafah El-Khatib, Nicolas Macris:
The Velocity of the Propagating Wave for Spatially Coupled Systems with Applications to LDPC Codes. - Ryuhei Mori:
Better Protocol for XOR Game using Communication Protocol. - Vivek Shah:
Transactional Partitioning: A New Abstraction for Main-Memory Databases. - Amir Hashemi, Joos Heintz, Luis Miguel Pardo, Pablo Solernó:
On Bezout Inequalities for non-homogeneous Polynomial Ideals. - Aasheesh Singh:
An Object-oriented approach to Robotic planning using Taxi domain. - Hadrien Bertrand, Matthieu Perrot, Roberto Ardon, Isabelle Bloch:
Classification of MRI data using Deep Learning and Gaussian Process-based Model Selection. - Sepehr Assadi, Sanjeev Khanna, Yang Li:
On Estimating Maximum Matching Size in Graph Streams. - Mohaned Chraiti, Ali Ghrayeb, Chadi Assi, Mazen O. Hasna:
On the Achievable Secrecy Diversity of Cooperative Networks with Untrusted Relays. - Christian Bachmaier, Franz J. Brandenburg, Kathrin Hanauer, Daniel Neuwirth, Josef Reislhuber:
NIC-Planar Graphs. - Hasan Ali Akyürek, Erkan Ülker, Baris Koçer:
Automatic Knot Adjustment Using Dolphin Echolocation Algorithm for B-Spline Curve Approximation. - Daniel Selsam, Leonardo de Moura:
Congruence Closure in Intensional Type Theory. - Patrick M. Wensing, Jean-Jacques E. Slotine:
Linear Matrix Inequalities for Rigid-Body Inertia Parameter Identification: A Statistical Perspective. - Andreas Alpers, Peter Gritzmann:
On double-resolution imaging in discrete tomography. - Ranveer Singh, Ravindra B. Bapat:
On a Characteristic and Permanent Polynomials of Matrix. - Yahya H. Ezzeldin, Martina Cardone, Christina Fragouli, Daniela Tuninetti:
Efficiently Finding Simple Schedules in Gaussian Half-Duplex Relay Line Networks. - Donald M. Stull:
Some Results on Circuit Lower Bounds and Derandomization of Arthur-Merlin Problems. - Shaileshh Bojja Venkatakrishnan, Giulia Fanti, Pramod Viswanath:
Dandelion: Redesigning the Bitcoin Network for Anonymity. - Urs Niesen:
An Information-Theoretic Analysis of Deduplication. - Nikolas Wolfe, Aditya Sharma, Lukas Drude, Bhiksha Raj:
The Incredible Shrinking Neural Network: New Perspectives on Learning Representations Through The Lens of Pruning. - Rajai Nasser:
Continuity of Channel Parameters and Operations under Various DMC Topologies. - Masahito Hayashi, Takeshi Koshiba:
Universal Construction of Cheater-Identifiable Secret Sharing Against Rushing Cheaters without Honest Majority. - Paqui Lucio
:
A Tutorial on Using Dafny to Construct Verified Software. 1-19 - Tapabrata Ghosh:
Towards a New Interpretation of Separable Convolutions. - Huan Feng, Kassem Fawaz, Kang G. Shin:
Continuous Authentication for Voice Assistants. - Chandan Gautam, Aruna Tiwari, Suresh Sundaram, Kapil Ahuja:
Online Learning with Regularized Kernel for One-class Classification. - Chandan Gautam, Aruna Tiwari, Qian Leng:
On The Construction of Extreme Learning Machine for Online and Offline One-Class Classification - An Expanded Toolbox. - Rohitash Chandra:
Towards prediction of rapid intensification in tropical cyclones with recurrent neural networks. - Hao Yu, Michael J. Neely:
A New Backpressure Algorithm for Joint Rate Control and Routing with Vanishing Utility Optimality Gaps and Finite Queue Lengths. - Soumyabrata Dev, Yee Hui Lee, Stefan Winkler:
Systematic study of color spaces and components for the segmentation of sky/cloud images. - Pravesh K. Kothari, Ryuhei Mori, Ryan O'Donnell, David Witmer:
Sum of squares lower bounds for refuting any CSP. - Iliano Cervesato, Maribel Fernández:
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. - Abdulmalik Humayed, Jingqiang Lin, Fengjun Li, Bo Luo:
Cyber-Physical Systems Security - A Survey. - Hongyun Cai, Vincent Wenchen Zheng, Fanwei Zhu, Kevin Chen-Chuan Chang, Zi Huang:
From Community Detection to Community Profiling. - Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky
, Xiang Yin, Xunyuan Yin:
Cloud Resource Allocation for Cloud-Based Automotive Applications. - Joy Egede, Michel F. Valstar, Brais Martínez:
Fusing Deep Learned and Hand-Crafted Features of Appearance, Shape, and Dynamics for Automatic Pain Estimation. - Gaoang Bian, Alessandro Abate:
On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). - Ashwin Guha, Muni Sreenivas Pydi, Biswajit Paria, Ambedkar Dukkipati:
Analytic Connectivity in General Hypergraphs. - Mingchao Yu, Parastoo Sadeghi:
Approximating Throughput and Packet Decoding Delay in Linear Network Coded Wireless Broadcast. - Siamak Solat:
Security of Electronic Payment Systems: A Comprehensive Survey. - Vahid Behzadan, Banafsheh Rekabdar:
A Game-Theoretic Model for Analysis and Design of Self-Organization Mechanisms in IoT. - Mahesh Gorijala, Ambedkar Dukkipati:
Image Generation and Editing with Variational Info Generative AdversarialNetworks. - Timothy Ganesan, Pandian Vasant, I. Elamvazuthi:
Multiobjective Optimization of Solar Powered Irrigation System with Fuzzy Type-2 Noise Modelling. - Mohammed Shabbir Ali, Pierre Coucheney, Marceau Coupechoux:
Optimal Distributed Channel Assignment in D2D Networks Using Learning in Noisy Potential Games. - Suchi Kumari, Anurag Singh:
Modeling and Performance Studies of Data Communication Networks using Dynamic Complex Networks. - Binqiang Chen, Chenyang Yang, Zixiang Xiong:
Optimal Caching and Scheduling for Cache-enabled D2D Communications. - Siddhesh Khandelwal, Amit Awekar
:
Faster K-Means Cluster Estimation. - Rafael Pires, Marcelo Pasin, Pascal Felber, Christof Fetzer:
Secure Content-Based Routing Using Intel Software Guard Extensions. - Vincenzo De Florio, Mohamed Bakhouya, D. Eloudghiri, Chris Blondia:
Towards a Smarter organization for a Self-servicing Society. - Carlos Vega, Paula Roquero, Javier Aracil:
Multi-Gbps HTTP Traffic Analysis in Commodity Hardware Based on Local Knowledge of TCP Streams. - Simone Bova, Stefan Szeider:
Circuit Treewidth, Sentential Decision, and Query Compilation. - Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois:
Degree of sequentiality of weighted automata. - Charis Papadopoulos, Spyridon Tzimas:
Polynomial-time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs. - Hosna Ouni, Arnaud Martin, Laetitia Gros, Mouloud Kharoune, Zoltán Miklós:
Une mesure d'expertise pour le crowdsourcing. - Olivier Baudon, Monika Pilsniak, Jakub Przybylo, Mohammed Senhaji, Éric Sopena, Mariusz Wozniak:
Equitable neighbour-sum-distinguishing edge and total colourings. - Rafah El-Khatib, Nicolas Macris, Tom Richardson, Rüdiger L. Urbanke:
Displacement Convexity in Spatially Coupled Scalar Recursions. - Marouane Hachicha, Jérôme Darmont
:
A Survey of XML Tree Patterns. - Marzieh Saeidi, Alessandro Venerandi
, Licia Capra, Sebastian Riedel:
Community Question Answering Platforms vs. Twitter for Predicting Characteristics of Urban Neighbourhoods. - Kevis-Kokitsi Maninis, Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc Van Gool:
Convolutional Oriented Boundaries: From Image Segmentation to High-Level Tasks. - Varun Raj Kompella, Laurenz Wiskott:
Intrinsically Motivated Acquisition of Modular Slow Features for Humanoids in Continuous and Non-Stationary Environments. - Toni Adame, Sergio Barrachina-Muñoz, Boris Bellalta, Albert Bel:
HARE: Supporting efficient uplink multi-hop communications in self-organizing LPWANs. - Ron Dekel:
Human perception in computer vision. - John Mingers, Craig Standing:
A Framework for Validating IS Research Based on a Pluralist Account of Truth and Correctness. - Evangelos Pournaras, Mark Yao, Dirk Helbing:
Self-regulating Supply-Demand Systems. - Corneliu T. C. Arsene:
Operational Decision Support in the Presence of Uncertainties. - Anton Salikhmetov:
Optimal Reduction without Oracle? - Sepehr Valipour, Camilo Perez Quintero, Martin Jägersand:
Incremental Learning for Robot Perception through HRI. - Lars M. Mescheder, Sebastian Nowozin, Andreas Geiger:
Adversarial Variational Bayes: Unifying Variational Autoencoders and Generative Adversarial Networks. - Roman Kaplan, Leonid Yavits, Ran Ginosar, Uri C. Weiser:
A Resistive CAM Processing-in-Storage Architecture for DNA Sequence Alignment. - Nguyen Tran Quang, Alexander Jung:
On the Sample Complexity of Graphical Model Selection for Non-Stationary Processes. - Ahsan Humayun, Muhammad Asif, Muhammad Kashif Hanif:
BTAS: A Library for Tropical Algebra. - Ludovic Chandesris, Valentin Savin, David Declercq:
An Improved SCFlip Decoder for Polar Codes. - Rock Stevens, Octavian Suciu, Andrew Ruef, Sanghyun Hong, Michael W. Hicks, Tudor Dumitras:
Summoning Demons: The Pursuit of Exploitable Bugs in Machine Learning. - Suvam Patra, Himanshu Aggarwal, Himani Arora, Chetan Arora, Subhashis Banerjee:
Computing Egomotion with Local Loop Closures for Egocentric Videos. - Ludovic Chandesris, Valentin Savin, David Declercq:
On Puncturing Strategies for Polar Codes. - Xinhan Di, Pengqian Yu:
3D Reconstruction of Simple Objects from A Single View Silhouette Image. - Eugenio Gianniti, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando:
A Game-Theoretic Approach for Runtime Capacity Allocation in MapReduce. - Unaiza Ahsan, Chen Sun, James Hays, Irfan A. Essa:
Complex Event Recognition from Images with Few Training Examples. - Amihai Glazer, Refael Hassin, Liron Ravner:
Equilibrium and efficient clustering of arrival times to a queue. - Carlos Barrón-Romero:
The fast parallel algorithm for CNF SAT without algebra. - Lei Zheng, Vahid Noroozi, Philip S. Yu:
Joint Deep Modeling of Users and Items Using Reviews for Recommendation. - Flavien Breuvart, Ugo Dal Lago, Agathe Herrou:
On Higher-Order Probabilistic Subrecursion (Long Version). - Taskeen Zaidi, Dwivedi Nitya Nand
:
Performance of Step Network Using Simulation Tool. - Forrester Cole, David Belanger, Dilip Krishnan, Aaron Sarna
, Inbar Mosseri, William T. Freeman:
Face Synthesis from Facial Identity Features. - Samuel Kadoury, William Mandel, Marjolaine Roy-Beaudry, Marie-Lyne Nault, Stefan Parent:
3D Morphology Prediction of Progressive Spinal Deformities from Probabilistic Modeling of Discriminant Manifolds. - Sung-Ha Hwang, Luc Rey-Bellet:
Positive feedback in coordination games: stochastic evolutionary dynamics and the logit choice rule. - Burak Demirel, Euhanna Ghadimi, Daniel E. Quevedo, Mikael Johansson:
Optimal control of linear systems with limited control actions: threshold-based event-triggered control. - Ali Moharrer, Shuangqing Wei, George T. Amariucai, Jing Deng:
Successive Synthesis of Latent Gaussian Trees. - Philipp Walk, Peter Jung, Götz E. Pfander, Babak Hassibi:
Blind Deconvolution with Additional Autocorrelations via Convex Programs. - Samuel Albanie, Hillary Shakespeare, Tom Gunter:
Unknowable Manipulators: Social Network Curator Algorithms. - Kedar Kulkarni, Adrish Banerjee:
Multi-channel Sensing And Resource Allocation in Energy Constrained Cognitive Radio Networks. - Alexander M. Petersen:
Quantifying the distribution of editorial power and manuscript decision bias at the mega-journal PLOS ONE. - N. Prakash, Vitaly Abdrashitov, Muriel Médard:
The Storage vs Repair-Bandwidth Trade-off for Clustered Storage Systems. - Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis:
Faster Algorithms for Weighted Recursive State Machines. - Quentin Heath, Dale Miller
:
A Proof Theory for Model Checking: An Extended Abstract. 1-10 - Antoine Allioux:
Krivine Machine and Taylor Expansion in a Non-uniform Setting. 24-32 - Lawrence Dunn, Jamie Vicary:
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). 33-43 - Stefano Guerrini:
Linear β-reduction. 44-53 - Masahito Hasegawa
:
Linear Exponential Comonads without Symmetry. 54-63 - Miguel E. P. Silva
, Mário Florido
, Frank Pfenning:
Non-Blocking Concurrent Imperative Programming with Session Types. 64-72 - Vijay Chandrasekhar, Jie Lin, Qianli Liao, Olivier Morère, Antoine Veillard, Ling-Yu Duan, Tomaso A. Poggio:
Compression of Deep Neural Networks for Image Instance Retrieval. - Fahimeh Rezazadegan, Sareh Shirazi, Ben Upcroft, Michael Milford:
Action Recognition: From Static Datasets to Moving Robots. - Chung Chan, Ali Al-Bashabsheh, Qiaoqiao Zhou:
Agglomerative Info-Clustering. - Bhautik J. Joshi, Kristen Stewart, David Shapiro:
Bringing Impressionism to Life with Neural Style Transfer in Come Swim. - Max Willsey
, Rokhini Prabhu, Frank Pfenning:
Design and Implementation of Concurrent C0. 73-82 - Swati Agarwal, Ashish Sureka:
Characterizing Linguistic Attributes for Automatic Classification of Intent Based Racist/Radicalized Posts on Tumblr Micro-Blogging Website. - Swati Agarwal, Ashish Sureka:
Investigating the Application of Common-Sense Knowledge-Base for Identifying Term Obfuscation in Adversarial Communication. - Michael Chertkov, Vladimir Y. Chernyak:
Ensemble of Thermostatically Controlled Loads: Statistical Physics Approach. - Xiaokui Shu, Ke Tian, Andrew Ciambrone, Danfeng Yao:
Breaking the Target: An Analysis of Target Data Breach and Lessons Learned. - Michael Chertkov, Vladimir Y. Chernyak:
Ensemble Control of Cycling Energy Loads: Markov Decision Approach. - Volodymyr Turchenko, Eric Chalmers, Artur Luczak:
A Deep Convolutional Auto-Encoder with Pooling - Unpooling Layers in Caffe. - Jun Muramatsu, Shigeki Miyake:
On the error probability of stochastic decision and stochastic decoding. - Anshoo Tandon, Han Mao Kiah, Mehul Motani:
Bounds on the Size and Asymptotic Rate of Subblock-Constrained Codes. - Mohammed Karmoose, Linqi Song, Martina Cardone, Christina Fragouli:
Private Broadcasting: an Index Coding Approach. - Nguyen T. Nghia, Hoang Duong Tuan, Trung Quang Duong, H. Vincent Poor:
MIMO Beamforming for Secure and Energy-Efficient Wireless Communication. - Feng Zhang, Huanhai Xin, Zhen Wang, Deqiang Gan, Qian Xu, Pan Dai, Feng Liu:
A Generalized Short Circuit Ratio for Multi-Infeed LCC-HVDC System. - Abhiram Gnanasambandam, Ragini Chaluvadi, Srikrishna Bhashyam:
On the Sum Capacity of Many-to-one and One-to-many Gaussian Interference Channels. - Luca Barletta, Stefano Rini:
Capacity of Discrete-Time Wiener Phase Noise Channels to Within a Constant Gap. - Stas Tiomkin, Daniel Polani, Naftali Tishby:
Control Capacity of Partially Observable Dynamic Systems in Continuous Time. - Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems (Extended Version). - Yang Wang, Xuemin Lin, Lin Wu, Wenjie Zhang:
Effective Multi-Query Expansions: Collaborative Deep Networks for Robust Landmark Retrieval. - Sandra Siby, Rajib Ranjan Maiti, Nils Ole Tippenhauer:
IoTScanner: Detecting and Classifying Privacy Threats in IoT Neighborhoods. - Chung Chan, Manuj Mukherjee, Navin Kashyap, Qiaoqiao Zhou:
Secret Key Agreement under Discussion Rate Constraints. - Eugénio Ribeiro, Fernando Batista, Isabel Trancoso
, José Lopes, Ricardo Ribeiro, David Martins de Matos:
Assessing User Expertise in Spoken Dialog System Interactions. - Veronika Cheplygina, Isabel Pino Peña, Jesper Johannes Holst Pedersen, David A. Lynch, Lauge Sørensen, Marleen de Bruijne:
Transfer learning for multi-center classification of chronic obstructive pulmonary disease. - (Withdrawn) The maximum mutual information between the output of a discrete symmetric channel and several classes of Boolean functions of its input.
- Keehang Kwon:
Local Modules in Imperative Languages. - (Withdrawn) New quantum mds constacylıc codes.
- Burak C. Civek, Ibrahim Delibalta, Suleyman Serdar Kozat:
Highly Efficient Hierarchical Online Nonlinear Regression Using Second Order Methods. - Yuyi Mao, Jun Zhang, Khaled Ben Letaief:
Joint Task Offloading Scheduling and Transmit Power Allocation for Mobile-Edge Computing Systems. - Abir M'Baya, Jannik Laval
, Néjib Moalla, Yacine Ouzrout, Abdelaziz Bouras:
Ontology based system to guide internship assignment process. - Joëlle Despeyroux:
(Mathematical) Logic for Systems Biology (Invited Paper). - M. Amin Khorsandi, Nader Karimi, Shadrokh Samavi:
A Novel Architecture for Computing Approximate Radon Transform. - Ni Chen, Zhenbo Ren, Dayan Li, Edmund Y. Lam, Guohai Situ:
Analysis of the noise in back-projection light field acquisition and its optimization. - Tony Lindeberg:
Temporal scale selection in time-causal scale space. - Romain Perriot, Jérémy Pfeifer, Laurent d'Orazio, Bruno Bachelet, Sandro Bimonte, Jérôme Darmont
:
Cost Models for Selecting Materialized Views in Public Clouds. - Zetao Chen, Adam Jacobson, Niko Sünderhauf, Ben Upcroft, Lingqiao Liu, Chunhua Shen, Ian D. Reid, Michael Milford:
Deep Learning Features at Scale for Visual Place Recognition. - Leon Kellerhals, Viatcheslav Korenwein, Philipp Zschoche, Robert Bredereck, Jiehua Chen:
On the Computational Complexity of Variants of Combinatorial Voter Control in Elections. - Keyan Ghazi-Zahedi:
NMODE - Neuro-MODule Evolution. - Omid Semiari, Walid Saad, Mehdi Bennis:
Caching Meets Millimeter Wave Communications for Enhanced Mobility Management in 5G Networks. - Ludvig Ericson, Rendani Mbuvha:
On the Performance of Network Parallel Training in Artificial Neural Networks. - Wouter van Toll, Atlas F. Cook IV, Marc J. van Kreveld, Roland Geraerts:
The Explicit Corridor Map: A Medial Axis-Based Navigation Mesh for Multi-Layered Environments. - Gürkan Alpaslan:
Comparison of the Efficiency of Different Algorithms on Recommendation System Design: a Case Study. - Filippo Maria Bianchi, Michael Kampffmeyer, Enrico Maiorino, Robert Jenssen:
Temporal Overdrive Recurrent Neural Network. - Matthias Heizmann, Christian Schilling, Daniel Tischner:
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. - Ansuman Adhikary, Alexei E. Ashikhmin, Thomas L. Marzetta:
Uplink Interference Reduction in Large Scale Antenna Systems. - Ahmad Adib Shaar, Lenny Fukshansky:
A new family of one-coincidence sets of sequences with dispersed elements for frequency hopping CDMA systems. - Alexander Barg, Kathryn Haymaker, Everett W. Howe, Gretchen L. Matthews, Anthony Várilly-Alvarado:
Locally recoverable codes from algebraic curves and surfaces. - Radu V. Balan, Maneesh Singh, Dongmian Zou
:
Lipschitz Properties for Deep Convolutional Networks. - Bowei Chen:
Risk-aware dynamic reserve prices of programmatic guarantee in display advertising. - Ilias Theodorakopoulos, Vasileios K. Pothos, Dimitris Kastaniotis, Nikos Fragoulis:
Parsimonious Inference on Convolutional Neural Networks: Learning and applying on-line kernel activation rules. - Tiago Oliveira Cunha, Ingmar Weber, Gisele L. Pappa:
A Warm Welcome Matters! The Link Between Social Feedback and Weight Loss in /r/loseit. - Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen:
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples. - Alexander V. Evako:
Structure of a Parabolic Partial Differential Equation on Graphs and Digital spaces. Solution of PDE on Digital Spaces: a Klein Bottle, a Projective Plane, a 4D Sphere and a Moebius Band. - Mohammad Arif Hossain, Amirul Islam, Nam Tuan Le, Yong Tae Lee, Hyun Woo Lee, Yeong Min Jang:
Performance analysis of smart digital signage system based on software-defined IoT and invisible image sensor communication. - Nam Tuan Le, Mohammad Arif Hossain, Amirul Islam, Do-Yun Kim, Young-June Choi, Yeong Min Jang:
Survey of Promising Technologies for 5G Networks. - Ferdinando Cicalese, Luisa Gargano, Ugo Vaccaro:
How to Find a Joint Probability Distribution of Minimum Entropy (almost) given the Marginals. - Xiaoyi Liu, Hamid Jafarkhani:
Downlink Non-Orthogonal Multiple Access with Limited Feedback. - Daniel Hadar:
Implicit Media Tagging and Affect Prediction from video of spontaneous facial expressions, recorded with depth camera. - Andrea Condoluci:
CERES in Propositional Proof Schemata. - Martin Rais, Gabriele Facciolo, Enric Meinhardt-Llopis, Jean-Michel Morel, Antoni Buades, Bartomeu Coll:
Accurate Motion Estimation through Random Sample Aggregated Consensus. - Andrew Clark, Phillip Lee, Basel Alomair, Linda Bushnell, Radha Poovendran:
Combinatorial Algorithms for Control of Biological Regulatory Networks. - (Withdrawn) Half-Duplex Base Station with Adaptive Scheduling of the in-Band Uplink-Receptions and Downlink-Transmissions.
- Keigo Takeuchi:
Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery from Unitarily Invariant Measurements. - Farhad Shahrokhi:
Algorithms For Longest Chains In Pseudo- Transitive Graphs. - Joachim Gudmundsson, Rasmus Pagh:
Range-efficient consistent sampling and locality-sensitive hashing for polygons. - Zhipeng Huang, Nikos Mamoulis:
Heterogeneous Information Network Embedding for Meta Path based Proximity. - Chen Wang
, Junsong Yuan, Lihua Xie:
Non-Iterative SLAM: A Fast Dense Method for Inertial-Visual SLAM. - Iqra Altaf Gillani
, Amitabha Bagchi, Pooja Vyavahare, Tanmay Gupta:
Decentralized Random Walk-Based Data Collection in Networks. - Michael Fauß, Kyatsandra G. Nagananda, Abdelhak M. Zoubir, H. Vincent Poor:
Sequential joint signal detection and signal-to-noise ratio estimation. - Pawel Parys:
Intersection Types and Counting. - Qiang Wang, Xiaowen Chu:
GPGPU Performance Estimation with Core and Memory Frequency Scaling. - Valentina Franzoni, Yuanxi Li, Clement H. C. Leung, Alfredo Milani:
Semantic Evolutionary Concept Distances for Effective Information Retrieval in Query Expansion. - Meenakshi Chatterjee:
Distributed Framework for Optimal Demand Distribution in Self-Balancing Microgrid. - Liao Zhang:
An Implementation of SCADA Network Security Testbed. - Ki Yung Ahn, Ross Horne, Alwen Tiu:
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. - Arian Treffer, Michael Perscheid, Matthias Uflacker:
Bringing Back-in-Time Debugging Down to the Database. - Michael A. Forbes, Amir Shpilka, Ben Lee Volk:
Succinct Hitting Sets and Barriers to Proving Algebraic Circuits Lower Bounds. - Farman Ali, Daehan Kwak, Pervez Khan, S. M. Riazul Islam, K. H. Kim, Kyung Sup Kwak:
Fuzzy Ontology-Based Sentiment Analysis of Transportation and City Feature Reviews for Safe Traveling. - Mieczyslaw A. Klopotek:
On the Existence of Kernel Function for Kernel-Trick of k-Means. - Yishuo Shi, Zhao Zhang, Ding-Zhu Du:
Randomized Approximation Algorithm for Minimum Submodular Cost Partial Multi-Cover Problem. - Zhongyu Wei, Chen Li, Yang Liu:
A Joint Framework for Argumentative Text Analysis Incorporating Domain Knowledge. - Suyog Dutt Jain, Bo Xiong, Kristen Grauman:
Pixel Objectness. - Esther Galbrun, Behzad Golshan, Aristides Gionis, Evimaria Terzi:
Finding low-tension communities. - James Booth, Epameinondas Antonakos, Stylianos Ploumpis, George Trigeorgis, Yannis Panagakis, Stefanos Zafeiriou:
3D Face Morphable Models "In-the-Wild". - Florian Fink, Klaus U. Schulz, Uwe Springmann:
Profiling of OCR'ed Historical Texts Revisited. - Burak C. Civek, Suleyman Serdar Kozat:
Efficient Implementation Of Newton-Raphson Methods For Sequential Data Prediction. - Cynthia Kop, Jakob Grue Simonsen:
The Power of Non-Determinism in Higher-Order Implicit Complexity. - Suyog Dutt Jain, Bo Xiong, Kristen Grauman:
FusionSeg: Learning to combine motion and appearance for fully automatic segmention of generic objects in videos. - Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Maximizing the Conditional Expected Reward for Reaching the Goal. - Milad Rezaee, Mahtab Mirmohseni, Mohammad Reza Aref:
On Optimal Online Algorithms for Energy Harvesting Systems with Continuous Energy and Data Arrivals. - Christian M. M. Frey, Andreas Züfle, Tobias Emrich, Matthias Renz:
Efficient Information Flow Maximization in Probabilistic Graphs. - Vivek Shah, Marcos Vaz Salles:
Reactors: A Case for Predictable, Virtualized OLTP Actor Database Systems. - Mohammad Asif Habibi
, Milos Ulman, Jirí Vanek, Jan Pavlík:
Measurement and Analysis of Quality of Service of Mobile Networks in Afghanistan End User Perspective. - Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, Thorsten Strufe:
Privacy Preserving Stream Analytics: The Marriage of Randomized Response and Approximate Computing. - Ruggero Pagnan:
Ologisms. - Xin Yuan, Gang Huang, Hong Jiang, Paul A. Wilford:
Block-wise Lensless Compressive Camera. - Mario Corsolini, Andrea Carta:
Moving to VideoKifu: the last steps toward a fully automatic record-keeping of a Go game. - Krzysztof Domino, Piotr Gawron, Lukasz Pawela:
The tensor network representation of high order cumulant and algorithm for their calculation. - Mohamed Essadki, Jonathan Jung, Adam Larat, Milan Pelletier, Vincent Perrier:
A task-driven implementation of a simple numerical solver for hyperbolic conservation laws. - Anoop Cherian, Piotr Koniusz, Stephen Gould:
Higher-order Pooling of CNN Features via Kernel Linearization for Action Recognition. - Varunya Attasena, Nouria Harbi, Jérôme Darmont
:
A Novel Multi-Secret Sharing Approach for Secure Data Warehousing and On-Line Analysis Processing in the Cloud. - Blesson Varghese, Nan Wang, Dimitrios S. Nikolopoulos, Rajkumar Buyya:
Feasibility of Fog Computing. - Aakash Ahmad, Muhammad Ali Babar:
Software Architectures for Robotics Systems: A Systematic Mapping Study. - Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson:
Proving Linearizability Using Partial Orders (Extended Version). - Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. - Fatima Salahdine, Naima Kaabouch, Hassan El Ghazi:
Techniques for Dealing with Uncertainty in Cognitive Radio Networks. - Elmar Jürgens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner:
Do Code Clones Matter? - Mikkel Abrahamsen, Anna Adamaszek, Tillmann Miltzow:
Irrational Guards are Sometimes Needed. - Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, Alexandra Jimborean:
Decoupled Access-Execute on ARM big.LITTLE. - Jack Pfister, Marco A. C. Gomes, João P. Vilela, Willie K. Harrison:
Quantifying Equivocation for Finite Blocklength Wiretap Codes. - Martin Grohe, Martin Ritzert:
Learning first-order definable concepts over structures of small degree. - Ademir Hujdurovic, Edin Husic, Martin Milanic, Romeo Rizzi, Alexandru I. Tomescu:
The minimum conflict-free row split problem revisited: a branching formulation and (in)approximability issues. - Daniel Méndez Fernández, Saahil Ognawala, Stefan Wagner, Maya Daneva:
Where do we stand in requirements engineering improvement today? First results from a mapping study. - Tomas Hodan, Pavel Haluza, Stepán Obdrzálek, Jiri Matas, Manolis I. A. Lourakis, Xenophon Zabulis:
T-LESS: An RGB-D Dataset for 6D Pose Estimation of Texture-less Objects. - Xing Niu, Boris Glavic:
Optimizing Provenance Computations. - Tim Salimans, Andrej Karpathy, Xi Chen, Diederik P. Kingma:
PixelCNN++: Improving the PixelCNN with Discretized Logistic Mixture Likelihood and Other Modifications. - Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About λ-Terms: The General Case (Long Version). - Edwin Hammerich:
Capacity and Normalized Optimal Detection Error in Gaussian Channels. - Xingchao Peng, Kate Saenko:
Synthetic to Real Adaptation with Deep Generative Correlation Alignment Networks. - Linqi Song, Christina Fragouli:
A Pliable Index Coding Approach to Data Shuffling. - Ilya Soloveychik, Yu Xiang, Vahid Tarokh:
Pseudo-Wigner Matrices from Dual BCH Codes. - Krzysztof J. Cios:
Deep Neural Networks - A Brief History. - Abhijit Mishra, Diptesh Kanojia, Seema Nagar, Kuntal Dey, Pushpak Bhattacharyya:
Harnessing Cognitive Features for Sarcasm Detection. - Takeshi Hatanaka, Xuan Zhang, Wenbo Shi, Minghui Zhu, Na Li:
An Integrated Design of Optimization and Physical Dynamics for Energy Efficient Buildings: A Passivity Approach. - Abhijit Mishra, Diptesh Kanojia, Seema Nagar, Kuntal Dey, Pushpak Bhattacharyya:
Leveraging Cognitive Features for Sentiment Analysis. - Mohammad Reza Mahmoodi:
High Performance Novel Skin Segmentation Algorithm for Images With Complex Background. - Mohammad Reza Mahmoodi:
Fast and Efficient Skin Detection for Facial Detection. - Dimitrios Markonis, Roger Schaer, Alba Garcia Seco de Herrera, Henning Müller:
The Parallel Distributed Image Search Engine (ParaDISE). - Vidyasagar Sadhu, Xueyuan Zhao, Dario Pompili:
Energy-efficient Analog Sensing for Large-scale, High-density Persistent Wireless Monitoring. - Hamzeh Ghasemzadeh, Mehdi Tajik Khass, Hamed Mehrara:
Jigsaw Cryptanalysis of Audio Scrambling Systems. - Hamzeh Ghasemzadeh, Ali Payandeh, Mohammad Reza Aref:
A Hybrid DOS-Tolerant PKC-Based Key Management System for WSNs. - Hamzeh Ghasemzadeh, Mohammad H. Kayvanrad:
A Comprehensive Review of Audio Steganalysis Methods. - Hamzeh Ghasemzadeh, Meisam Khalil Arjmandi:
Universal Audio Steganalysis Based on Calibration and Reversed Frequency Resolution of Human Auditory System. - Mingchen Gao, Ziyue Xu, Le Lu, Adam P. Harrison, Ronald M. Summers, Daniel J. Mollura:
Holistic Interstitial Lung Disease Detection using Deep Convolutional Neural Networks: Multi-label Learning and Unordered Pooling. - Auke Bart Booij
, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman:
Parametricity, automorphisms of the universe, and excluded middle. - Saeedeh Shekarpour, Valerie L. Shalin, Krishnaprasad Thirunarayan, Amit P. Sheth:
CEVO: Comprehensive EVent Ontology Enhancing Cognitive Annotation. - Piotr Frackiewicz:
Strong isomorphism in Eisert-Wilkens-Lewenstein type quantum games. - Wei-Che Wang, Yair Yona, Suhas N. Diggavi, Puneet Gupta:
Design and Analysis of Stability-Guaranteed PUFs. - Brock Angus Campbell, Christoph Treude:
NLP2Code: Code Snippet Content Assist via Natural Language Tasks. - Yulei Sui, Jingling Xue:
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement. - Sifeng Xia, Wenhan Yang, Tiesong Zhao, Jiaying Liu:
Dual Recovery Network with Online Compensation for Image Super-Resolution. - Keigo Takeuchi:
Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery from Unitarily Invariant Measurements. - Lingxiao Huang, Yifei Jin, Jian Li, Haitao Wang:
Improved Algorithms For Structured Sparse Recovery. - Sehyung Lee, Jongwoo Lim, Il Hong Suh:
Efficient Feature Matching by Progressive Candidate Search. - Edwin Dauber, Aylin Caliskan Islam, Richard E. Harang, Rachel Greenstadt:
Git Blame Who?: Stylistic Authorship Attribution of Small, Incomplete Source Code Fragments. - Seokki Lee, Sven Köhler, Bertram Ludäscher, Boris Glavic:
Efficiently Computing Provenance Graphs for Queries with Negation. - Tianxian Zhang, Jiadong Liang, Yichuan Yang, Guolong Cui, Lingjiang Kong, Xiaobo Yang:
Antenna Deployment Method for MIMO Radar under the Situation of Multiple Interference Regions. - Tomo Miyazaki, Tatsunori Tsuchiya, Yoshihiro Sugaya, Shinichiro Omachi, Masakazu Iwamura
, Seiichi Uchida, Koichi Kise:
Automatic Generation of Typographic Font from a Small Font Subset. - Ahmed M. Bedewy, Yin Sun, Ness B. Shroff:
Age-Optimal Information Updates in Multihop Networks. - Vinh Nguyen, Amit P. Sheth:
Logical Inferences with Contexts of RDF Triples. - Michal Gregor, Juraj Spalek:
Using LLVM-based JIT Compilation in Genetic Programming. - Jan Kretínský, Tobias Meggendorfer, Clara Waldmann
, Maximilian Weininger:
Index appearance record for transforming Rabin automata into parity automata. - Jan-Peter Ostberg, Daniel Graziotin
, Stefan Wagner, Birgit Derntl:
Assessing Stress and Emotional Responses of a Salutogenesis-Enhanced Software Tool Using Psychophysiological Measurements. - Shuai Li, Mingxin Zhou, Jianjun Wu, Lingyang Song, Yonghui Li, Hongbin Li:
On the Performance of X-Duplex Relaying. - José Luís Barros Justo, Ania Cravero Leal, Fabiane Barreto Vavassori Benitti, Rafael Capilla-Sevilla:
Systematic Mapping Protocol: The impact of using software patterns during requirements engineering activities in real-world settings. - Filippo Basso, Emanuele Menegatti, Alberto Pretto:
Robust Intrinsic and Extrinsic Calibration of RGB-D Cameras. - Siwar Jendoubi, Arnaud Martin, Ludovic Liétard, Hend Ben Hadji, Boutheina Ben Yaghlane:
Two Evidential Data Based Models for Influence Maximization in Twitter. - Daniel Beale:
User-guided free-form asset modelling. - Wanli Wen, Ying Cui, Fu-Chun Zheng, Shi Jin, Yanxiang Jiang:
Random Caching Based Cooperative Transmission in Heterogeneous Wireless Networks. - Kanapathippillai Cumanan, Hong Xing, Peng Xu, Gan Zheng, Xuchu Dai, Arumugam Nallanathan, Zhiguo Ding, George K. Karagiannidis:
Physical Layer Security Jamming: Theoretical Limits and Practical Designs in Wireless Networks. - Osman Tursun, Cemal Aker, Sinan Kalkan:
A Large-scale Dataset and Benchmark for Similar Trademark Retrieval. - (Withdrawn) Power-saving transportation mode identification for large-scale applications.
- Sungho Jeon, Jong-Woo Shin, Young-Jun Lee, Woong-Hee Kim, YoungHyoun Kwon, Hae-Yong Yang:
Empirical Study of Drone Sound Detection in Real-Life Environment with Deep Neural Networks. - Dor Itzhak, Yossef Steinberg:
The Broadcast Channel with Degraded Message Sets and Unreliable Conference. - Daniel Graziotin
, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson:
Consequences of Unhappiness While Developing Software. - Fei Liu, Janne Riihijärvi, Marina Petrova:
Analysis of Proportional Fair Scheduling Under Bursty On-Off Traffic. - Kyle O'Brien, Vijay Gadepally, Jennie Duggan, Adam Dziedzic, Aaron J. Elmore, Jeremy Kepner, Samuel Madden, Tim Mattson, Zuohao She, Michael Stonebraker:
BigDAWG Polystore Release and Demonstration. - Paolo Barucca, Fabrizio Lillo, Piero Mazzarisi, Daniele Tantari:
Detectability thresholds in networks with dynamic link and community structure. - Beatrice Tomasi, Frédéric Gabry, Valerio Bioglio, Ingmar Land, Jean-Claude Belfiore:
Low-complexity Receiver for Multi-Level Polar Coded Modulation in Non-Orthogonal Multiple Access. - Nicolas Audebert
, Bertrand Le Saux, Sébastien Lefèvre:
Fusion of Heterogeneous Data in Convolutional Networks for Urban Semantic Labeling (Invited Paper). - Jean Barbier, Nicolas Macris, Mohamad Dia, Florent Krzakala:
Mutual Information and Optimality of Approximate Message-Passing in Random Linear Estimation. - Stavros Petridis, Zuwei Li, Maja Pantic:
End-To-End Visual Speech Recognition With LSTMs. - (Withdrawn) On the Optimality of Separation between Caching and Delivery in General Cache Networks.
- Didem Gözüpek, Ademir Hujdurovic, Martin Milanic:
Minimal dominating sets in lexicographic product graphs. - Joseph Tassarotti, Ralf Jung, Robert Harper:
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. - Hui Liu, Zhangxin Chen:
Scalable linear solvers for sparse linear systems from large-scale numerical simulations. - Maria Eugenia Cabrera, Keisha Novak, Daniel Foti, Richard M. Voyles, Juan P. Wachs:
What makes a gesture a gesture? Neural signatures involved in gesture recognition. - Rahul Dey, Fathi M. Salem:
Gate-Variants of Gated Recurrent Unit (GRU) Neural Networks. - Maria Eugenia Cabrera, Richard M. Voyles, Juan P. Wachs:
Coherency in One-Shot Gesture Recognition. - Ye Zhao:
A Planning and Control Framework for Humanoid Systems: Robust, Optimal, and Real-time Performance. - Vikram K. Narayana, Shuai Sun, Abdel-Hameed A. Badawy, Volker J. Sorger, Tarek A. El-Ghazawi:
MorphoNoC: Exploring the Design Space of a Configurable Hybrid NoC using Nanophotonics. - Loren Lugosch, Warren J. Gross:
Neural Offset Min-Sum Decoding. - Ke Li, Kalyanmoy Deb, Xin Yao:
Integration of Preferences in Decomposition Multi-Objective Optimization. - Curtis T. Rueden, Johannes E. Schindelin, Mark C. Hiner, Barry E. DeZonia, Alison E. Walter, Kevin W. Eliceiri:
ImageJ2: ImageJ for the next generation of scientific image data. - Sarah E. Anderson, Wael Halbawi, Nathan Kaplan, Hiram H. López, Felice Manganiello, Emina Soljanin, Judy L. Walker:
Representations of the Multicast Network Problem. - Josef Spillner:
Exploiting the Cloud Control Plane for Fun and Profit. - Christopher A. Wilkens, Ruggiero Cavallo, Rad Niazadeh:
GSP - The Cinderella of Mechanism Design. - Ruggiero Cavallo, Prabhakar Krishnamurthy, Maxim Sviridenko, Christopher A. Wilkens:
Sponsored Search Auctions with Rich Ads. - Md Mahmudul Hasan, Shuangqing Wei, Ramachandran Vaidyanathan:
Estimation of RFID Tag Population Size by Gaussian Estimator. - Amirsina Torfi, Sobhan Soleymani, Seyed Mehdi Iranmanesh, Hadi Kazemi, Rouzbeh Asghari Shirvani, Vahid Tabataba Vakili:
Polar Coding for Achieving the Capacity of Marginal Channels in Nonbinary-Input Setting. - He Zhang, Vishwanath Sindagi, Vishal M. Patel:
Image De-raining Using a Conditional Generative Adversarial Network. - Cunsheng Ding:
An infinite family of Steiner systems S(2, 4, 2m) from cyclic codes. - Amirhossein Reisizadehmobarakeh, Saurav Prakash, Ramtin Pedarsani, Salman Avestimehr:
Coded Computation over Heterogeneous Clusters. - Rui Fan, Ke Xu, Jichang Zhao:
A GPU-Based Solution to Fast Calculation of Betweenness Centrality on Large Weighted Networks. - Yulin Shao, Soung Chang Liew, Lu Lu:
Asynchronous Physical-layer Network Coding: Symbol Misalignment Estimation and Its Effect on Decoding. - Sudhakar Singh, Rakhi Garg, P. K. Mishra:
Observations on Factors Affecting Performance of MapReduce based Apriori on Hadoop Cluster. - Mohan Kumar S., S. N. Jagadeesha:
A Minimum Reconfiguration Probability Routing Algorithm for RWA in All-Optical Networks. - Pei Xie, Keyou You, Shiji Song, Cheng Wu:
Distributed Random-Fixed Projected Algorithm for Constrained Optimization Over Digraphs. - Anyu Wang, Zhifang Zhang, Dongdai Lin:
Bounds and Constructions for Linear Locally Repairable Codes over Binary Fields. - Jayanth Kalyanasundaram, Yogesh Simmhan:
ARM Wrestling with Big Data: A Study of ARM64 and x64 Servers for Data Intensive Workloads. - Zachary Abel, Victor Alvarez, Aman Gour, Adam Hesterberg, Erik D. Demaine, Sándor P. Fekete, Phillip Keldenich, Christian Scheffer:
Three Colors Suffice: Conflict-Free Coloring of Planar Graphs. - Davide Falessi, Muhammad Ali Babar, Giovanni Cantone, Philippe Kruchten:
Applying empirical software engineering to software architecture: challenges and lessons learned. - Ane Izagirre, Armand M. Makowski:
Light traffic behavior under the power-of-two load balancing strategy: The case of heterogeneous servers. - Song Yang, Philipp Wieder, Ramin Yahyapour, Stojan Trajanovski, Xiaoming Fu:
Reliable Virtual Machine Placement and Routing in Clouds. - Kezhi Wang, Kun Yang, Hsiao-Hwa Chen, Lianming Zhang:
Computation Diversity in Emerging Networking Paradigms. - Jeeson Kim, Taimur Ahmed, Hussein Nili, Nhan Duy Truong, Jiawei Yang, Doo Seok Jeong, Sharath Sriram, Damith Chinthana Ranasinghe, Omid Kavehei:
Nano-Intrinsic True Random Number Generation. - Yucheng Liu, Parastoo Sadeghi, Fatemeh Arbabjolfaei, Young-Han Kim:
On the Capacity for Distributed Index Coding. - James MacGlashan, Mark K. Ho, Robert Tyler Loftin, Bei Peng, David L. Roberts, Matthew E. Taylor, Michael L. Littman:
Interactive Learning from Policy-Dependent Human Feedback. - Mohammad Hassan Lotfi, Saswati Sarkar:
The Economics of Competition and Cooperation Between MNOs and MVNOs. - Jesse H. Engel, Sukru Burc Eryilmaz, SangBum Kim, Matthew BrightSky, Chung Lam, Hsiang-Lan Lung, Bruno A. Olshausen, H.-S. Philip Wong:
Opportunities for Analog Coding in Emerging Memory Systems. - Radhen Patel, Rebecca Cox, Branden Romero, Nikolaus Correll:
Improving grasp performance using in-hand proximity and contact sensing. - Dingxiong Deng, Fan Bai, Yiqi Tang, Shuigeng Zhou, Cyrus Shahabi, Linhong Zhu:
Label Propagation on K-partite Graphs with Heterophily. - Sungkyun Chang, Kyogu Lee:
Lyrics-to-Audio Alignment by Unsupervised Discovery of Repetitive Patterns in Vowel Acoustics. - Yuheng Bu, Shaofeng Zou, Venugopal V. Veeravalli:
Linear Complexity Exponentially Consistent Tests for Outlying Sequence Detection. - Arkadii G. D'yachkov, Nikita Polyanskii, Vladislav Yu. Shchukin, Ilya Vorobyev:
Bounds for Signature Codes. - Alekh Jindal, Jorge-Arnulfo Quiané-Ruiz, Samuel Madden:
INGESTBASE: A Declarative Data Ingestion System. - Piotr Frackiewicz:
Strong isomorphism in Marinatto-Weber type quantum games. - Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert:
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. - Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu:
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. - Sahil Garg, Irina Rish, Guillermo A. Cecchi, Aurélie C. Lozano:
Neurogenesis-Inspired Dictionary Learning: Online Model Adaption in a Changing World. - David Richmond, Anna Payne-Tobin Jost, Talley Lambert, Jennifer Waters, Hunter Elliott:
DeadNet: Identifying Phototoxicity from Label-free Microscopy Images of Cells using Deep ConvNets. - Pengfei Huang, Eitan Yaakobi, Paul H. Siegel:
Multi-Erasure Locally Recoverable Codes Over Small Fields For Flash Memory Array. - Mengfan Zheng, Meixia Tao, Wen Chen, Cong Ling:
Polar Coding for Block Fading Channels. - Hiroshi Nagaoka:
The exponential family of Markov chains and its information geometry. - Tingxi Wen, Zhongnan Zhang:
Effective and Extensible Feature Extraction Method Using Genetic Algorithm-Based Frequency-Domain Feature Search for Epileptic EEG Multi-classification. - Chang-Hwan Son, Xiao-Ping (Steven) Zhang:
Multimodal Fusion via a Series of Transfers for Noise Removal. - Mete Ozay, Takayuki Okatani:
Optimization on Product Submanifolds of Convolution Kernels. - Hiroyuki Hanada, Mineichi Kudo, Atsuyoshi Nakamura:
On Practical Accuracy of Edit Distance Approximation Algorithms. - Nan Li, Tianli Liao, Chao Wang:
Perception-based energy functions in seam-cutting. - Franco Barbanera, Ugo de'Liguoro:
Retractability, games and orchestrators for session contracts. - Emily Weimar, Ariadi Nugroho, Joost Visser, Aske Plaat, Martijn Goudbeek, Alexander P. Schouten:
The Influence of Teamwork Quality on Software Team Performance. - (Withdrawn) Binary Matrix Guessing Problem.
- Adam Kortylewski
, Clemens Blumer, Thomas Vetter:
Greedy Compositional Clustering for Unsupervised Learning of Hierarchical Compositional Models. - Oron Sabag, Haim H. Permuter, Navin Kashyap:
Feedback capacity and coding for the BIBO channel with a no-repeated-ones input constraint. - Danilo Amendola, Nicola Cordeschi, Enzo Baccarelli:
Bandwidth management VMs live migration in wireless fog computing for 5G networks. - (Withdrawn) The Optimality of Partial Clique Covering for Index Coding.
- Andreas Nold, Benjamin D. Goddard, Peter Yatsyshin, Nikos Savva, Serafim Kalliadasis:
Pseudospectral methods for density functional theory in bounded and unbounded domains. - Henri Bruno Razafindradina, Paul Auguste Randriamitantsoa, Nicolas Raft Razafindrakoto:
Image Compression with SVD : A New Quality Metric Based On Energy Ratio. - Yanling Chen, Onur Ozan Koyluoglu, A. J. Han Vinck:
Joint secrecy over the K-Transmitter Multiple Access Channel. - (Withdrawn) Online Edge Caching in Fog-Aided Wireless Network.
- Yoonsik Kim, Insung Hwang, Nam Ik Cho:
A New Convolutional Network-in-Network Structure and Its Applications in Skin Detection, Semantic Segmentation, and Artifact Reduction. - Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:
Hypothesis Test for Upper Bound on the Size of Random Defective Set. - Kedar Kulkarni, Adrish Banerjee:
On Optimal Spectrum Access of Cognitive Relay With Finite Packet Buffer. - Ayush Jain, Akash Das Sarma, Aditya G. Parameswaran, Jennifer Widom:
Understanding Workers, Developing Effective Tasks, and Enhancing Marketplace Dynamics: A Study of a Large Crowdsourcing Marketplace. - Xiaobin Zhang, Bo Wu, Hai Lin:
Counterexample-Guided Abstraction Refinement for POMDPs. - Alireza Tasdighi, Mohammad-Reza Sadeghi:
On Advisability of Designing Short Length QC-LDPC Codes Using Perfect Difference Families. - Rami Mochaourab, Eduard A. Jorswieck, Mats Bengtsson:
Distributed Clustering for Multiuser Networks through Coalition Formation. - Omar Montasser, Daniel Kifer:
Predicting Demographics of High-Resolution Geographies with Geotagged Tweets. - David Anuta, Josh Churchin, Jiebo Luo:
Election Bias: Comparing Polls and Twitter in the 2016 U.S. Election. - Tianran Hu, Haoyuan Xiao, Thuy-vy Thi Nguyen, Jiebo Luo:
What the Language You Tweet Says About Your Occupation. - Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz:
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. - Tianran Hu, Ruihua Song, Yingzi Wang, Xing Xie, Jiebo Luo:
Mining Shopping Patterns for Divergent Urban Regions by Incorporating Mobility Data. - Morteza Hashemi, Can Emre Koksal, Ness B. Shroff:
Hybrid RF-mmWave Communications to Achieve Low Latency and High Energy Efficiency in 5G Cellular Systems. - Patricia Johann, Kristina Sojakova:
Cubical Categories for Higher-Dimensional Parametricity. - Hongjie Shi, Takashi Ushio, Mitsuru Endo, Katsuyoshi Yamagami, Noriaki Horii:
A Multichannel Convolutional Neural Network For Cross-language Dialog State Tracking. - Yu-Ao Chen, Xiao-Shan Gao:
Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals. - Zhiwei Jin, Juan Cao, Han Guo, Yongdong Zhang, Yu Wang, Jiebo Luo:
Rumor Detection on Twitter Pertaining to the 2016 U.S. Presidential Election. - Hui Liu, Lihua Shen, Yan Chen, Kun Wang, Bo Yang, Zhangxin Chen:
A Parallel Simulator for Massive Reservoir Models Utilizing Distributed-Memory Parallel Systems. - Colin Wei, Stefano Ermon:
General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis. - Guo-Jun Qi:
Loss-Sensitive Generative Adversarial Networks on Lipschitz Densities. - Abhishek Bhrushundi, Prahladh Harsha, Srikanth Srinivasan:
On polynomial approximations over Z/2kZ. - Xiaodong Wu, Lyn Bartram, Chris Shaw:
Plexus: An Interactive Visualization Tool for Analyzing Public Emotions from Twitter Data. - Vijaya Kumar Mareedu, Prasad Krishnan:
Uniprior Index Coding. - Georgios Stylianou:
Stay-point Identification as Curve Extrema. - Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. - Hengjie Yang, Wangmei Guo:
Distributed Decoding of Convolutional Network Error Correction Codes. - Jesper Pedersen, Alexandre Graell i Amat, Iryna Andriyanova, Fredrik Brännström:
Optimizing MDS Coded Caching in Wireless Networks with Device-to-Device Communication. - Ni Ding, Rodney A. Kennedy, Parastoo Sadeghi:
A Practical Approach for Successive Omniscience. - Jasper Goseling, Osvaldo Simeone, Petar Popovski:
Delivery Latency Regions in Fog-RANs with Edge Caching and Cloud Processing. - Chuanzong Zhang, Zhengdao Yuan, Zhongyong Wang, Qinghua Guo:
A New Combination of Message Passing Techniques for Receiver Design in MIMO-OFDM Systems. - Anton V. Proskurnikov, Roberto Tempo:
A Tutorial on Modeling and Analysis of Dynamic Social Networks. Part I. - Lebsework Negash, Sang-Hyeon Kim, Han-Lim Choi:
Distributed Unknown-Input-Observers for Cyber Attack Detection and Isolation in Formation Flying UAVs. - Vahid Jamali, Arman Ahmadzadeh, Nariman Farsad, Robert Schober, Andrea J. Goldsmith:
SCW Codes for Optimal CSI-Free Detection in Diffusive Molecular Communications. - Mahed Abroshan, Ramji Venkataramanan, Albert Guillen i Fabregas:
Codes for Channels With Segmented Edits. - Hayato Takahashi:
Bayesian definition of random sequences with respect to conditional probabilities. - P. N. Karthik, Rajesh Sundaresan:
On The Equivalence of Projections In Relative α-Entropy and Rényi Divergence. - Yichao Yan, Bingbing Ni, Zhichao Song, Chao Ma, Yan Yan, Xiaokang Yang:
Person Re-Identification via Recurrent Feature Aggregation. - Matthias Frey, Igor Bjelakovic, Slawomir Stanczak:
User Activity Detection via Group Testing and Coded Computation. - Akshar Varma, Yashwant Keswani, Yashodhan Bhatnagar, Bhaskar Chaudhury:
Let's HPC: A web-based interactive platform to aid High Performance Computing education. - Yasutada Oohama:
The Reliability Function for the Additive White Gaussian Noise Channel at Rates above the Capacity. - Photios A. Stavrou, Jan Østergaard, Charalambos D. Charalambous, Milan S. Derpich:
Zero-Delay Rate Distortion via Filtering for Unstable Vector Gaussian Sources. - Kazuto Fukuchi, Jun Sakuma:
Minimax Optimal Estimators for Additive Scalar Functionals of Discrete Distributions. - Daniel Sanz Ausin, Fabian Goerge:
Design of an Audio Interface for Patmos. - Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland:
A Structured View on Weighted Counting with Relations to Counting, Quantum Computation and Applications. - Emmanuel Hébrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan, Bertrand Cabon:
Constraint programming for planning test campaigns of communications satellites. - David Schultz, Brijnesh J. Jain:
Nonsmooth Analysis and Subgradient Methods for Averaging in Dynamic Time Warping Spaces. - Jason P. Smith
, Emad Zahedi:
On Distance Preserving and Sequentially Distance Preserving Graphs. - Asma Naz, Regis Kopper, Ryan P. McMahan, Mihai Nadin:
Emotional Qualities of VR Space. - Eduardo M. Vasconcelos:
Steady state availability general equations of decision and sequential processes in Continuous Time Markov Chain models. - Albrecht Wolf, Diana Cristina González, Meik Dörpinghaus, José Cândido Silveira Santos Filho, Gerhard P. Fettweis:
On the Many-Help-One Problem with Independently Degraded Helpers. - Erfan Azarkhish, Davide Rossi, Igor Loi, Luca Benini:
Neurostream: Scalable and Energy Efficient Deep Learning with Smart Memory Cubes. - Meisam Hejazi Nia, Norris Bruce:
The Joint Diffusion of a Digital Platform and its Complementary Goods: The Effects of Product Ratings and Observational Learning. - Biplav Srivastava:
Tackling Corruption With Agents & ICT: A Vision. - Katherine Hughes:
A Survey on Data Processing Methods and Cloud Computation. - Leon Andretti Abdillah
:
Ujian Online Mahasiswa Ilmu Komputer Berbasis Smartphone. - Al Amin Neaz Ahmed, H. M. Fazlul Haque, Abdur Rahman, Md Susam Ashraf, Sanjay Saha, Swakkhar Shatabda:
A Participatory Sensing Framework for Environment Pollution Monitoring and Management. - Daniel Rudolf:
An Upper Bound of the Minimal Dispersion via Delta Covers. - Oluwaseun Ajao, Anna Jurek, Aisling Gough, Ruth F. Hunter, Eimear Barrett, Gary McKeown, Jun Hong, Frank Kee:
Feasibility Study of Social Media for Public Health Behaviour Changes. - Annalisa Greco, Alessandro Pluchino, Francesco Cannizzaro, Salvatore Caddemi, Ivo Caliò:
Closed-form solution based Genetic Algorithm Software: Application to multiple cracks detection on beam structures by static tests. - Ahmed D. Alharthi, Maria Spichkova:
Individual and Social Requirement Aspects of Sustainable eLearning Systems. - Walid A. Jerjawi, Yahia A. Eldemerdash, Octavia A. Dobre:
Second-order Cyclostationarity-based Detection of LTE SC-FDMA Signals for Cognitive Radio Systems. - Vasileios Nakos:
Almost Optimal Phaseless Compressed Sensing with Sublinear Decoding Time. - Christos K. Verginis, Charalampos P. Bechlioulis, Dimos V. Dimarogonas, Kostas J. Kyriakopoulos:
Robust Distributed Control Protocols for Large Vehicular Platoons with Prescribed Transient and Steady State Performance. - Teik Koon Cheang, Yong Shean Chong, Yong Haur Tay:
Segmentation-free Vehicle License Plate Recognition using ConvNet-RNN. - Krzysztof Domino, Piotr Gawron:
On updates of high order cumulant tensors. - Jorge A. Baier, Dietrich Daroch, Juan L. Reutter, Domagoj Vrgoc:
Evaluating navigational RDF queries over the Web. - Valerio Bioglio, Frederic Gabry, Ingmar Land:
Low-Complexity Puncturing and Shortening of Polar Codes. - Eu Koon Cheang, Teik Koon Cheang, Yong Haur Tay:
Using Convolutional Neural Networks to Count Palm Trees in Satellite Images. - Jorge Ángel González Ordiano, Wolfgang Doneit, Simon Waczowicz
, Lutz Gröll, Ralf Mikut, Veit Hagenmeyer:
Nearest-Neighbor Based Non-Parametric Probabilistic Forecasting with Applications in Photovoltaic Systems. - Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving uniformity and independence by self-composition and coupling. - Alireza Vahid, Georgios Mappouras, Daniel J. Sorin, A. Robert Calderbank:
Correcting Two Deletions and Insertions in Racetrack Memory. - Pablo Cañones, Boris Köpf, Jan Reineke:
Security Analysis of Cache Replacement Policies. - Lena Maier-Hein, S. Swaroop Vedula, Stefanie Speidel, Nassir Navab, Ron Kikinis, Adrian Park, Matthias Eisenmann, Hubertus Feussner, Germain Forestier, Stamatia Giannarou, Makoto Hashizume, Darko Katic, Hannes Kenngott, Michael Kranzfelder, Anand Malpani, Keno März, Thomas Neumuth, Nicolas Padoy, Carla M. Pugh, Nicolai Schoch, Danail Stoyanov, Russell H. Taylor, Martin Wagner, Gregory D. Hager, Pierre Jannin:
Surgical Data Science: Enabling Next-Generation Surgery. - George C. Alexandropoulos, Paul Ferrand, Constantinos B. Papadias:
On the Robustness of Coordinated Beamforming to Uncoordinated Interference and CSI Uncertainty. - Steven Diamond, Vincent Sitzmann, Stephen P. Boyd, Gordon Wetzstein, Felix Heide:
Dirty Pixels: Optimizing Image Classification Architectures for Raw Sensor Data. - Renato L. G. Cavalcante, Slawomir Stanczak:
Performance Limits of Solutions to Network Utility Maximization Problems. - Lu Liu, Yu Cheng, Xianghui Cao, Sheng Zhou, Zhisheng Niu:
Joint Optimization of Scheduling and Power Control in Wireless Network: Multi-Dimensional Modeling and Decomposition. - Quentin Bodinier, Faouzi Bader, Jacques Palicot:
On Spectral Coexistence of CP-OFDM and FB-MC Waveforms in 5G Networks. - Koosha Pourtahmasi Roshandeh, Moslem Noori, Masoud Ardakani, Chintha Tellambura:
Storage Allocation for Multi-Class Distributed Data Storage Systems. - Carlo Innamorati, Tobias Ritschel, Tim Weyrich, Niloy J. Mitra:
Plausible Shading Decomposition For Layered Photo Retouching. - Mohammad Hosseini, Viswanathan Swaminathan:
Adaptive 360 VR Video Streaming based on MPEG-DASH SRD. - Iacer Calixto, Qun Liu, Nick Campbell:
Incorporating Global Visual Features into Attention-Based Neural Machine Translation. - Mahesh Narayanamurthi, Paul Tranquilli, Adrian Sandu, Mayya Tokman:
EPIRK-W and EPIRK-K time discretization methods. - Jan Jakubuv, Josef Urban:
ENIGMA: Efficient Learning-based Inference Guiding Machine. - Noam Shazeer, Azalia Mirhoseini, Krzysztof Maziarz, Andy Davis, Quoc V. Le, Geoffrey E. Hinton, Jeff Dean:
Outrageously Large Neural Networks: The Sparsely-Gated Mixture-of-Experts Layer. - László Csató:
On the aggregation of incomplete preferences. - Yasutada Oohama:
Exponent Function for Stationary Memoryless Channels with Input Cost at Rates above the Capacity. - Jiwei Li, Will Monroe, Tianlin Shi, Alan Ritter, Dan Jurafsky:
Adversarial Learning for Neural Dialogue Generation. - Gabriel Pereyra, George Tucker, Jan Chorowski, Lukasz Kaiser, Geoffrey E. Hinton:
Regularizing Neural Networks by Penalizing Confident Output Distributions. - Jiwei Li, Will Monroe, Dan Jurafsky:
Learning to Decode for Future Success. - Masood Tehrani, Mary Ahmadi:
On the Parametric Study of Lubricating Oil Production using an Artificial Neural Network (ANN) Approach. - Sven Puchinger, Johan Sebastian Rosenkilde:
Decoding of Interleaved Reed-Solomon Codes Using Improved Power Decoding. - Qiang Cao, Vamsi Thummala, Jeffrey S. Chase, Yuanjun Yao, Bing Xie:
Certificate Linking and Caching for Logical Trust. - Xiaosong Wang, Le Lu, Hoo-Chang Shin, Lauren Kim, Mohammadhadi Bagheri, Isabella Nogues, Jianhua Yao, Ronald M. Summers:
Unsupervised Joint Mining of Deep Features and Image Labels for Large-scale Radiology Image Categorization and Scene Recognition. - Casey Battaglino, Grey Ballard, Tamara G. Kolda:
A Practical Randomized CP Tensor Decomposition. - Saber Salehkaleybar, Jalal Etesami, Negar Kiyavash:
Identifying Nonlinear 1-Step Causal Influences in Presence of Latent Variables. - Baris Nakiboglu:
The Augustin Center and The Sphere Packing Bound For Memoryless Channels. - Florian Lonsing, Uwe Egly:
Evaluating QBF Solvers: Quantifier Alternations Matter. - Albin Severinson, Alexandre Graell i Amat, Eirik Rosnes:
Block-Diagonal Coding for Distributed Computing With Straggling Servers. - Abhinav Jauhri, Brian Foo, Jérôme Berclaz, Chih Chi Hu, Radek Grzeszczuk, Vasu Parameswaran, John Paul Shen:
Space-Time Graph Modeling of Ride Requests Based on Real-World Data. - Valero Laparra, Alexander Berardino, Johannes Ballé, Eero P. Simoncelli:
Perceptually Optimized Image Rendering. - Sergey Korolev, Amir Safiullin, Mikhail Belyaev, Yulia Dodonova:
Residual and Plain Convolutional Neural Networks for 3D Brain MRI Classification. - Taolue Chen, Tingting Han, Yongzhi Cao:
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. - Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski:
Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling. - Chiwoo Park, Daniel W. Apley:
Patchwork Kriging for Large-scale Gaussian Process Regression. - Cheng-Yang Fu, Wei Liu, Ananth Ranga, Ambrish Tyagi, Alexander C. Berg:
DSSD : Deconvolutional Single Shot Detector. - Danilo Gligoroski, Katina Kralevska, Rune Erlend Jensen, Per Simonsen:
Locally Repairable and Locally Regenerating Codes Obtained by Parity-Splitting of HashTag Codes. - Ali Dehghan, Mohammad-Reza Sadeghi, Arash Ahadi:
Algorithmic complexity of proper labeling problems. - Edgar Martínez-Moro, Kamil Otal, Ferruh Özbudak:
Additive cyclic codes over finite commutative chain rings. - Antonious M. Girgis, Özgür Erçetin, Mohammed Nafie, Tamer A. ElBatt:
Decentralized Coded Caching in Wireless Networks: Trade-off between Storage and Latency. - Achilleas Anastasopoulos, Jui Wu:
Variable-length codes for channels with memory and feedback: error-exponent upper bounds. - Achilleas Anastasopoulos, Jui Wu:
Variable-length codes for channels with memory and feedback: error-exponent lower bounds. - Mostafa Shahabinejad, Majid Khabbazian, Masoud Ardakani:
On the Average Locality of Locally Repairable Codes. - Peter Harremoës:
Quantum Information on Spectral Sets. - Alex Kuefler, Jeremy Morton, Tim Allan Wheeler, Mykel John Kochenderfer:
Imitating Driver Behavior with Generative Adversarial Networks. - Tomás Dvorák
, Václav Koubek:
Generalized Gray codes with prescribed ends of small dimensions. - Jonghye Woo, Fangxu Xing, Maureen L. Stone, Jordan R. Green, Timothy G. Reese, Thomas J. Brady, Van J. Wedeen, Jerry L. Prince, Georges El Fakhri:
Speech Map: A Statistical Multimodal Atlas of 4D Tongue Motion During Speech from Tagged and Cine MR Images. - Avijit Ghosh
, Agam Gupta, Divya Sharma, Uttam Kumar Sarkar:
WebSelect: A Research Prototype for Optimizing Ad Exposures based on Network Structure. - Juheon Lee, David Coomes, Carola-Bibiane Schönlieb, Xiaohao Cai, Jan Lellmann, Michele Dalponte, Yadvinder Malhi, Nathalie Butt, Mike Morecroft:
A graph cut approach to 3D tree delineation, using integrated airborne LiDAR and hyperspectral imagery. - Ehsan Nekouei, Girish N. Nair, Tansu Alpcan, Robin J. Evans:
Lower Bounds on the Complexity of Solving Two Classes of Non-cooperative Games. - Hamed Nilforoshan, James Sands, Kevin Lin, Rahul Khanna, Eugene Wu:
Dialectic: Enhancing Text Input Fields with Automatic Feedback to Improve Social Content Writing Quality. - Linqi Song, Jie Xu:
A Contextual Bandit Approach for Stream-Based Active Learning. - Iddo Bentov, Ranjit Kumaresan, Andrew Miller:
Instantaneous Decentralized Poker. - Takahiro Ota, Hiroyoshi Morita:
Two-Dimensional Source Coding by Means of Subblock Enumeration. - Yin Sun, Yury Polyanskiy, Elif Uysal-Biyikoglu:
Remote Estimation of the Wiener Process over a Channel with Random Delay. - Mohamed A. Abd-Elmagid, Özgür Erçetin, Tamer A. ElBatt:
Cache-Aided Heterogeneous Networks: Coverage and Delay Analysis. - Rhonda P. Zhang:
Variability-Aware Design for Energy Efficient Computational Artificial Intelligence Platform. - Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh:
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. - Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents] - Qiongkai Xu, Qing Wang, Chenchen Xu, Lizhen Qu:
Collective Vertex Classification Using Recursive Neural Network. - Matias Martinez, Sylvain Lecomte:
Towards the quality improvement of cross-platform mobile applications. - Takayuki Nozaki, Takafumi Nakano, Tadashi Wadayama:
Analysis of Breakdown Probability of Wireless Sensor Networks with Unreliable Relay Nodes. - Yunpeng Chen, Xiaojie Jin, Jiashi Feng, Shuicheng Yan:
Training Group Orthogonal Neural Networks with Privileged Information. - Kieran Greer:
The Autonomic Architecture of the Licas System. - Rachid Echahed, Aude Maignan:
Parallel Graph Rewriting with Overlapping Rules. - Gaurav Pandey, Ambedkar Dukkipati:
Discriminative Neural Topic Models. - Manfred Schwarz, Martin Zeiner, Ulrich Schmid:
Linear-Time Data Dissemination in Dynamic Networks. - Måns Larsson, Fredrik Kahl, Shuai Zheng, Anurag Arnab, Philip H. S. Torr, Richard I. Hartley:
Learning Arbitrary Potentials in CRFs with Gradient Descent. - Daizhan Cheng, Ting Liu:
Linear Representation of Symmetric Games. - Evangelos Pournaras, Seoho Jung, Huiting Zhang, Xingliang Fang, Lloyd Sanders:
Socio-technical Smart Grid Optimization via Decentralized Charge Control of Electric Vehicles. - V. Lalitha, Prasad Krishnan:
Rate 1/3 Index Coding: Forbidden and Feasible Configurations. - Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. - Nidhi Rastogi, James A. Hendler:
WhatsApp security and role of metadata in preserving privacy. - Nidhi Rastogi, James A. Hendler:
Graph Analytics for anomaly detection in homogeneous wireless networks - A Simulation Approach. - Haoyuan Pan, Lu Lu, Soung Chang Liew:
Practical Power-Balanced Non-Orthogonal Multiple Access. - Nidhi Rastogi, Marie Joan Kristine Gloria, James A. Hendler:
Security and Privacy of performing Data Analytics in the cloud - A three-way handshake of Technology, Policy, and Management. - Huynh Van Luong, Nikos Deligiannis, Jürgen Seiler, Søren Forchhammer, André Kaup:
Incorporating Prior Information in Compressive Online Robust Principal Component Analysis. - Rahul Mitra, Jiakai Zhang, Sharat Chandran, Arjun Jain:
A Hybrid Approach to Wide-Baseline Image Matching. - Laurent Perrinet:
Sparse models for Computer Vision. - Hend Kareem, Lars Asker, Panagiotis Papapetrou:
Detecting Hierarchical Ties Using Link-Analysis Ranking at Different Levels of Time Granularity. - Yeow Meng Chee, Han Mao Kiah, Alexander Vardy, Van Khu Vu, Eitan Yaakobi:
Coding for Racetrack Memories. - Kai Wan, Mingyue Ji, Pablo Piantanida, Daniela Tuninetti:
Combination Networks with Caches: Novel Inner and Outer Bounds with Uncoded Cache Placement. - Hui Liu, Tao Cui, Wei Leng, Linbo Zhang:
An hp-adaptive strategy for elliptic problems. - John van de Wetering:
Ordering information on distributions. - Antzela Kosta, Nikolaos Pappas, Anthony Ephremides, Vangelis Angelakis:
Age and Value of Information: Non-linear Age Case. - Mikolaj Bojanczyk, Michal Pilipczuk:
Optimizing tree decompositions in MSO. - Michael Ying Yang, Hanno Ackermann, Weiyao Lin, Sitong Feng, Bodo Rosenhahn:
Motion Segmentation via Global and Local Sparse Subspace Optimization. - Miguel Calvo-Fullana, Javier Matamoros, Carles Antón-Haro:
Reconstruction of Correlated Sources with Energy Harvesting Constraints in Delay-constrained and Delay-tolerant Communication Scenarios. - Itzhak Tamo, Min Ye, Alexander Barg:
Fractional decoding: Error correction from partial information. - Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk:
Deep Network Guided Proof Search. - Arun Padakandla:
Communicating Correlated Sources Over an Interference Channel. - Andre Manoel
, Florent Krzakala, Marc Mézard, Lenka Zdeborová:
Multi-Layer Generalized Linear Estimation. - Lars Jaffke, Bart M. P. Jansen:
Fine-Grained Parameterized Complexity Analysis of Graph Coloring Problems. - (Withdrawn) Non-Adaptive Group Testing Framework based on Concatenation Code.
- Federico Librino, Giorgio Quer:
Optimal Context Aware Transmission Strategy for non-Orthogonal D2D Communications. - Mohamed S. Nafea, Aylin Yener:
A New Wiretap Channel Model and its Strong Secrecy Capacity. - Siddharth Srivastava, Gaurav Sharma, Brejesh Lall:
Large Scale Novel Object Discovery in 3D. - Panagiotis Papadopoulos, Nicolas Kourtellis, Pablo Rodriguez, Nikolaos Laoutaris:
Computing the advertising value of users by tapping on RTB. - Suelen Gasparin, Julien Berger
, Denys Dutykh, Nathan Mendes:
Numerical schemes for the solution of non-linear moisture transfer in porous materials: implicit or explicit? That is the question! - Yu-Jia Chen, Li-Chun Wang:
Privacy Protection for Mobile Cloud Data: A Network Coding Approach. - Tim Althoff, Eric Horvitz, Ryen W. White, Jamie M. Zeitzer:
Harnessing the Web for Population-Scale Physiological Sensing: A Case Study of Sleep and Performance. - Oliver Johnson, Saikat Guha:
A de Bruijn identity for discrete random variables. - Mahmoud A. Bokhari, Yuanzhong Xia, Bo Zhou, Bradley Alexander, Markus Wagner:
Validation of Internal Meters of Mobile Android Devices. - Piotr Frackiewicz:
A new quantum scheme for normal-form games. - Ozgun Y. Bursalioglu, Chenwei Wang, Haralabos C. Papadopoulos, Giuseppe Caire:
A novel alternative to Cloud RAN for throughput densification: Coded pilots and fast user-packet scheduling at remote radio heads. - Jiachun Liao, Lalitha Sankar, Flávio du Pin Calmon, Vincent Yan Fu Tan:
Hypothesis Testing under Maximal Leakage Privacy Constraints. - Catherine S. Greenhill, Matteo Sfragara:
The switch Markov chain for sampling irregular graphs and digraphs. - Amir Husain, Bruce Porter:
Artificial Intelligence Approaches To UCAV Autonomy. - Joydeep Banerjee, Chenyang Zhou, Arunabha Sen:
On Targeted Entity Hardening Problem in Multi-layered Interdependent Networks. - Enrico Bertini, Giuseppe Santucci:
By chance is not enough: Preserving relative density through non uniform sampling. - Mandar N. Kulkarni, Jeffrey G. Andrews, Amitava Ghosh:
Performance of Dynamic and Static TDD in Self-backhauled mmWave Cellular Networks. - Irene Marquez Corbella, Jean-Pierre Tillich:
Attaining Capacity with Algebraic Geometry Codes through the (U|U+V) Construction and Koetter-Vardy Soft Decoding. - Nayyar Abbas Zaidi, Yang Du, Geoffrey I. Webb:
On the Effectiveness of Discretizing Quantitative Attributes in Linear Classifiers. - Karthikeyan Shanmugam, Antonia M. Tulino, Alexandros G. Dimakis:
Coded Caching with Linear Subpacketization is Possible using Ruzsa-Szeméredi Graphs. - Son Hoang Dau, Iwan M. Duursma, Han Mao Kiah, Olgica Milenkovic:
Repairing Reed-Solomon Codes With Two Erasures. - Tong Shen, Guosheng Lin, Chunhua Shen, Ian D. Reid:
Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation. - Guillermo Vigueras
, Manuel Carro
, Salvador Tamarit
, Julio Mariño:
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. 52-67 - Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout:
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. 1-13 - Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot:
jsCoq: Towards Hybrid Theorem Proving Interfaces. 15-27 - Sven Linker
, Jim Burton
, Mateja Jamnik:
Tactical Diagrammatic Reasoning. 29-42 - Martin Ring, Christoph Lüth:
Interactive Proof Presentations with Cobra. 43-52 - Marcella Astrid, Seung-Ik Lee:
CP-decomposition with Tensor Power Method for Convolutional Neural Networks Compression. - Chen Xing, Wei Wu, Yu Wu, Ming Zhou, Yalou Huang, Wei-Ying Ma:
Hierarchical Recurrent Attention Network for Response Generation. - Hongxing Xia, Yongzhao Li, Hailin Zhang:
Throughput Maximization for Wireless Powered Communications Harvesting from Non-dedicated Sources. - Liang Yu, Tao Jiang, Ming Sun, Yulong Zou:
Cost-Aware Resource Allocation for Fog-Cloud Computing Systems. - Byunghwee Lee, Daniel Kim, Hawoong Jeong, Seunghye Sun, Juyong Park:
Understanding the Historic Emergence of Diversity in Painting via Color Contrast. - Shaowei Wang, Liusheng Huang, Pengzhan Wang, Hongli Xu, Wei Yang:
Personalized Classifier Ensemble Pruning Framework for Mobile Crowdsourcing. - Shuai Li, Mingxin Zhou, Jianjun Wu, Lingyang Song, Yonghui Li, Hongbin Li:
X-duplex Relaying: Adaptive Antenna Configuration. - Prabhat Kushwaha, Ayan Mahalanobis:
A Probabilistic Baby-Step Giant-Step Algorithm. - Yuanyi Zhong, Jiansheng Chen, Bo Huang:
Towards End-to-End Face Recognition through Alignment Learning. - Doyen Sahoo, Chenghao Liu, Steven C. H. Hoi:
Malicious URL Detection using Machine Learning: A Survey. - Yuval Cassuto, Evyatar Hemo, Sven Puchinger, Martin Bossert:
Multi-Block Interleaved Codes for Local and Global Read Access. - Leon Andretti Abdillah
:
Exploring Students Blended Learning Through Social Media. - Allan Grønlund, Kasper Green Larsen, Alexander Mathiasen, Jesper Sindahl Nielsen:
Fast Exact k-Means, k-Medians and Bregman Divergence Clustering in 1D. - Hilal Asi, Eitan Yaakobi:
Nearly Optimal Constructions of PIR and Batch Codes. - Klaus Jansen, Lars Rohwedder:
A Quasi-Polynomial Approximation for the Restricted Assignment Problem. - Aristides Gionis, Polina Rozenshtein, Nikolaj Tatti, Evimaria Terzi:
Community-aware network sparsification. - Patrice Godefroid, Hila Peleg, Rishabh Singh:
Learn&Fuzz: Machine Learning for Input Fuzzing. - Inaki Estella Aguerri, Abdellatif Zaidi, Giuseppe Caire, Shlomo Shamai:
On the Capacity of Cloud Radio Access Networks with Oblivious Relaying. - Nicola Prezza:
A Framework of Dynamic Data Structures for String Processing. - Klaus Jansen, Marten Maack, Roberto Solis-Oba:
Structural Parameters for Scheduling with Assignment Restrictions. - Anirban Ghatak:
Optimal Binary (5, 3) Projective Space Codes from Maximal Partial Spreads. - Ewoud J. J. Smeur, Guido C. H. E. de Croon, Qiping Chu:
Cascaded Incremental Nonlinear Dynamic Inversion Control for MAV Disturbance Rejection. - Giacomo Ricciutelli, Marco Baldi, Franco Chiaraluce, Gianluigi Liva:
On the Error Probability of Short Concatenated Polar and Cyclic Codes with Interleaving. - Yuxi Li:
Deep Reinforcement Learning: An Overview. - Hakan Bilen, Andrea Vedaldi:
Universal representations: The missing link between faces, text, planktons, and cat breeds. - Enrico Bertini, Giuseppe Santucci:
Modelling internet based applications for designing multi-device adaptive interfaces. - Stefan Dobrev, Evangelos Kranakis, Danny Krizanc, Manuel Lafond, Ján Manuch, Lata Narayanan, Jaroslav Opatrny, Ladislav Stacho:
Weak Coverage of a Rectangular Barrier. - Yuri Faenza, Igor Malinovic:
Improved approximation algorithms and disjunctive relaxations for some knapsack problems. - Matthias Feldotto
, Lennart Leder, Alexander Skopalik:
Congestion Games with Complementarities. - Bin Chen, Tanya Ignatenko, Frans M. J. Willems, Roel Maes, Erik van der Sluis, Georgios N. Selimis:
High-Rate Error Correction Schemes for SRAM-PUFs based on Polar Codes. - Brian Thompson, Richard E. Harang:
Identifying Key Cyber-Physical Terrain (Extended Version). - Geonu Kim, Jungwoo Lee:
Locally Repairable Codes with Unequal Locality Requirements. - Eric Graves, Tan F. Wong:
Wiretap channel capacity: Secrecy criteria, strong converse, and phase change. - David Villacis, Santeri Kaupinmäki, Samuli Siltanen, Teemu Helenius:
Photographic dataset: playing cards. - Jie Xu, Yuxuan Sun, Lixing Chen, Sheng Zhou:
E2M2: Energy Efficient Mobility Management in Dense Small Cells with Mobile Edge Computing. - Zhen-Zhong Lan, Yi Zhu, Alexander G. Hauptmann:
Deep Local Video Feature for Action Recognition. - Patrick Schulte, Bernhard C. Geiger:
Divergence Scaling of Fixed-Length, Binary-Output, One-to-One Distribution Matching. - Abdolrahim Kadkhodamohammadi, Afshin Gangi, Michel de Mathelin, Nicolas Padoy:
A Multi-view RGB-D Approach for Human Pose Estimation in Operating Rooms. - Rick Fritschek, Gerhard Wunder:
On the Deterministic Sum-Capacity of the Multiple Access Wiretap Channel. - Daniel Sonntag, Martin Huber, Manuel Möller, Alassane Ndiaye, Sonja Zillner, Alexander Cavallaro:
Design and Implementation of a Semantic Dialogue System for Radiologists. - Maged M. Eljazzar, Mostafa Abdulhamid, Mahmoud Mouneer, Ayman Salama:
Hadith Web Browser Verification Extension. - Shiva H. C. Prasad, Potti Srinivasa Rao, B. Gopalkrishna, Aakash Ahluwalia:
Productivity Enhancement through Production Monitoring System. - Konstantinos Xirogiannopoulos, Amol Deshpande:
Extracting and Analyzing Hidden Graphs from Relational Databases. - Shuai Du, Youyi Zheng:
Recovering 3D Planar Arrangements from Videos. - Zhiyong Chen, Hui Liu:
Signal Shaping for Two-User Gaussian Multiple Access Channels with Computation: Beyond the Cut-Set Bound. - Christian Reul, Marco Dittrich, Martin Gruner:
Case Study of a highly automated Layout Analysis and OCR of an incunabulum: 'Der Heiligen Leben' (1488). - Christian Reul, Uwe Springmann, Frank Puppe:
LAREX - A semi-automatic open-source Tool for Layout Analysis and Region Extraction on Early Printed Books. - Alon Hazan, Yuval Harel, Ron Meir:
Learning an attention model in an artificial visual system. - Ken Dahm, Alexander Keller:
Learning Light Transport the Reinforced Way. - Lixing Chen, Sheng Zhou, Jie Xu:
Energy Efficient Mobile Edge Computing in Dense Cellular Networks. - Farshad Kooti, Mihajlo Grbovic, Luca Maria Aiello, Eric Bax, Kristina Lerman:
iPhone's Digital Marketplace: Characterizing the Big Spenders. - Thomas Debris-Alazard, Jean-Pierre Tillich:
Statistical Decoding. - Amirhossein Javaheri, Hadi Zayyani, Farokh Marvasti:
An Iterative Algorithm for Sparse Recovery of Missing Image Samples Using a New Similarity Index. - Alexander J. T. Gurney:
Asynchronous iterations in ultrametric spaces. - Birenjith Sasidharan, Myna Vajha, P. Vijay Kumar:
An Explicit, Coupled-Layer Construction of a High-Rate MSR Code with Low Sub-Packetization Level, Small Field Size and d<(n-1). - M. Ehsan Raoufat, Kevin Tomsovic, Seddik M. Djouadi:
Control Allocation for Wide Area Coordinated Damping. - Robert Brijder:
Sorting by Reversals and the Theory of 4-Regular Graphs. - Simon Halfon, Philippe Schnoebelen, Georg Zetzsche:
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering. - Jimmy Dobler, Atri Rudra:
Implementation of Tetris as a Model Counter. - Zhengping Che, Yu Cheng, Zhaonan Sun, Yan Liu:
Exploiting Convolutional Neural Network for Risk Prediction with Medical Feature Embedding. - Avinash Vem, Nagaraj Thenkarai Janakiraman, Krishna R. Narayanan:
Group Testing using left-and-right-regular sparse-graph codes. - David F. Harwath, James R. Glass:
Learning Word-Like Units from Joint Audio-Visual Analysis. - Alessandro Vittorio Papadopoulos, Federico Terraneo, Alberto Leva, Maria Prandini:
Switched control for quantized feedback systems: invariance and limit cycles analysis. - Kenneth Johnson, John V. Tucker, Victoria Wang:
Monitoring and Intervention: Concepts and Formal Models. - Nesrine Cherif, Imène Trigui, Sofiène Affes:
Relay-Assisted Mixed FSO/RF Systems over Málaga-M and κ-μ Shadowed Fading Channels. - Zhichao Sheng, Hoang Duong Tuan, Trung Quang Duong, H. Vincent Poor:
Joint Power Allocation and Beamforming for Energy-Efficient Two-Way Multi-Relay Communications. - Michele Miller, Tanvi Banerjee, RoopTeja Muppalla, William L. Romine, Amit P. Sheth:
What Are People Tweeting about Zika? An Exploratory Study Concerning Symptoms, Treatment, Transmission, and Prevention. - Ivo Kubjas, Vitaly Skachek:
Two-Party Function Computation on the Reconciled Data. - Wenchang Luo, Taibo Luo, Randy Goebel, Guohui Lin:
On rescheduling due to machine disruption while to minimize the total weighted completion time. - Paras Jain, Chirag Tailor, Sam Ford, Liexiao Ding, Michael Phillips, Fang (Cherry) Liu, Nagi Gebraeel, Duen Horng Chau:
Scalable Architecture for Anomaly Detection and Visualization in Power Generating Assets. - Natalia Silberstein, Tuvi Etzion, Moshe Schwartz:
Locality and Availability of Array Codes Constructed from Subspaces. - Yuqing Zhu, Jianxun Liu, Mengying Guo, Wenlong Ma, Guolei Yi, Yungang Bao:
ACIA, not ACID: Conditions, Properties and Challenges. - Domenico Ciuonzo, Pierluigi Salvo Rossi:
Non-colocated Time-Reversal MUSIC: High-SNR Distribution of Null Spectrum. - Zi Yan, Guilherme Cox, Ján Veselý, Abhishek Bhattacharjee:
Hardware Translation Coherence for Virtualized Systems. - Amr Abdelaziz, Can Emre Koksal, Hesham El Gamal, Ashraf D. Elbayoumy:
On The Compound MIMO Wiretap Channel with Mean Feedback. - Nikita Polyanskii, Vasiliy Usatyuk, Ilya Vorobyev:
Floor Scale Modulo Lifting for QC-LDPC codes. - Manik Singhal, Aly El Gamal:
Joint Uplink-Downlink Cell Associations for Interference Networks with Local Connectivity. - Yasemin Karacora, Tolunay Seyfi, Aly El Gamal:
The Role of Transmitter Cooperation in Linear Interference Networks with Block Erasures. - Sudarsan V. S. Ranganathan, Dariush Divsalar, Richard D. Wesel:
Design of Improved Quasi-Cyclic Protograph-Based Raptor-Like LDPC Codes for Short Block-Lengths. - Emmanuel Abbe, João M. Pereira, Amit Singer:
Sample Complexity of the Boolean Multireference Alignment Problem. - Pranay Gankidi, Jekan Thangavelautham:
FPGA Architecture for Deep Learning and its application to Planetary Robotics. - Laksh Raura, Andrew Warren, Jekan Thangavelautham:
Spherical Planetary Robot for Rugged Terrain Traversal. - Ravi Teja Nallapu, Andrew Thoesen, Laurence Garvie, Erik Asphaug, Jekanthan Thangavelautham:
Optimized Bucket Wheel Design for Asteroid Excavation. - Yu-Yao Lin, Chien-Chun Ni, Na Lei, Xianfeng David Gu, Jie Gao:
Robot Coverage Path Planning for General Surfaces Using Quadratic Differentials. - Himangshu Kalita, Ravi Teja Nallapu, Andrew Warren, Jekan Thangavelautham:
GNC of the SphereX Robot for Extreme Environment Exploration on Mars. - Himangshu Kalita, Ravi Teja Nallapu, Andrew Warren, Jekan Thangavelautham:
Guidance, Navigation and Control of Multirobot Systems in Cooperative Cliff Climbing. - Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Strongly Adaptive Regret Implies Optimally Dynamic Regret. - Muryong Kim, Yitao Chen, Sriram Vishwanath:
Approximate Capacity of a Class of Partially Connected Interference Channels. - Eldho K. Thomas, Vitaly Skachek:
Explicit Constructions and Bounds for Batch Codes with Restricted Size of Reconstruction Sets. - Wanchun Liu, Kaibin Huang, Xiangyun Zhou, Salman Durrani:
Backscatter Communications for Internet-of-Things: Theory and Applications. - Vinayaka G. Yaji, Shalabh Bhatnagar:
Analysis of stochastic approximation schemes with set-valued maps in the absence of a stability guarantee and their stabilization. - Dusan Nemec, Ales Janota, Marián Hrubos, Vojtech Simák:
Intelligent real-time MEMS sensor fusion and calibration. - Dusko Pavlovic, Peter-Michael Seidel:
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. - Johannes Rauh, Pradeep Kr. Banerjee, Eckehard Olbrich, Jürgen Jost, Nils Bertschinger, David H. Wolpert:
Coarse-graining and the Blackwell order. - Libin Sun, James Hays:
Super-resolution Using Constrained Deep Texture Synthesis. - Alex Karrila, Niko R. Väisänen, David A. Karpuk, Camilla Hollanti:
Lattice coding for Rician fading channels from Hadamard rotations. - Angela Di Fiore, Francesco Ceschel, Francesca Fiore, Marcos Báez, Fabio Casati, Giampaolo Armellin:
Understanding how Software Can Support the Needs of Family Caregivers for Patients with Severe Conditions. - Pieter Kleer, Guido Schäfer:
Tight Inefficiency Bounds for Perception-Parameterized Affine Congestion Games. - Christopher S. Meiklejohn:
On the Design of Distributed Programming Models. - Valerio Bioglio, Frederic Gabry, Ingmar Land, Jean-Claude Belfiore:
Minimum-Distance Based Construction of Multi-Kernel Polar Codes. - Laurent Schmalen, Vahid Aref, Fanny Jardel:
Non-Uniformly Coupled LDPC Codes: Better Thresholds, Smaller Rate-loss, and Less Complexity. - Razan Tajeddine, Oliver W. Gnilke, David A. Karpuk, Ragnar Freij-Hollanti, Camilla Hollanti, Salim El Rouayheb:
Private Information Retrieval Schemes for Coded Data with Arbitrary Collusion Patterns. - Yuni Iwamasa, Kazuo Murota, Stanislav Zivný:
Discrete Convexity in Joint Winner Property. - Giovanni Sileno:
Logic Programming Petri Nets. - Bogdan Groza:
Traffic models with adversarial vehicle behaviour. - Fatmah Bamashmoos, Ian Holyer, Theo Tryfonas, Przemyslaw Woznowski:
Towards Secure SPARQL Queries in Semantic Web Applications using PHP (Extended Version). - Sohrab Ferdowsi, Slava Voloshynovskiy, Dimche Kostadinov, Taras Holotyak:
Sparse Ternary Codes for similarity search have higher coding gain than dense binary codes. - Gianmarco Baldini, Gary Steri, Raimondo Giuliani, Vladimir Kyovtorov:
Mobile phone identification through the built-in magnetometers. - Patrick Schäfer, Ulf Leser:
Fast and Accurate Time Series Classification with WEASEL. - Marc Hellmuth:
From event-labeled gene trees with horizontal gene transfer to species trees. - Sergey Tridenski, Ram Zamir:
Exponential Source/Channel Duality. - Mario Boley, Bryan R. Goldsmith
, Luca M. Ghiringhelli, Jilles Vreeken:
Identifying Consistent Statements about Numerical Data with Dispersion-Corrected Subgroup Discovery. - Yentl Van Tendeloo, Hans Vangheluwe:
An Introduction to Classic DEVS. - Sergey Tridenski, Ram Zamir:
Analogy and duality between random channel coding and lossy source coding. - Jacob Torrejon, Mathieu Riou, Flavio Abreu Araujo
, Sumito Tsunegi, Guru Khalsa, Damien Querlioz, Paolo Bortolotti, Vincent Cros, Akio Fukushima, Hitoshi Kubota, Shinji Yuasa, Mark D. Stiles, Julie Grollier:
Neuromorphic computing with nanoscale spintronic oscillators. - Zhedong Zheng, Liang Zheng, Yi Yang:
Unlabeled Samples Generated by GAN Improve the Person Re-identification Baseline in vitro. - Georgia Kougka, Anastasios Gounaris, Alkis Simitsis:
The Many Faces of Data-centric Workflow Optimization: A Survey. - Apostolos Destounis, Mari Kobayashi, Georgios S. Paschos, Asma Ghorbel:
Alpha Fair Coded Caching. - Jonathan Detchart, Jérôme Lacan:
Fast Erasure Coding based on Polynomial Ring Transforms. - Liang Zheng, Yujia Huang, Huchuan Lu, Yi Yang:
Pose Invariant Embedding for Deep Person Re-identification. - Hiroshi Nagaoka:
Information-geometrical characterization of statistical models which are statistically equivalent to probability simplexes. - Tobias Gruber, Sebastian Cammerer, Jakob Hoydis, Stephan ten Brink:
On Deep Learning-Based Channel Decoding. - Jérôme Darmont
:
Object Database Benchmarks. - Siwar Jendoubi, Arnaud Martin, Ludovic Liétard, Boutheina Ben Yaghlane, Hend Ben Hadji:
Dynamic time warping distance for message propagation classification in Twitter. - Chris Norval, Tristan Henderson:
Contextual Consent: Ethical Mining of Social Media for Health Research. - Konstantinos Slavakis, Shiva Salsabilian, David S. Wack, Sarah Feldt Muldoon, Henry E. Baidoo-Williams, Jean M. Vettel, Matthew Cieslak, Scott T. Grafton:
Riemannian-geometry-based modeling and clustering of network-wide non-stationary time series: The brain-network case. - Emanuelle Burton, Judy Goldsmith, Sven Koenig, Benjamin Kuipers, Nicholas Mattei, Toby Walsh:
Ethical Considerations in Artificial Intelligence Courses. - Ying Dong, Yuqing Zhang:
Adaptively Detecting Malicious Queries in Web Attacks. - Stefanos Nikolaidis, Swaprava Nath
, Ariel D. Procaccia, Siddhartha S. Srinivasa:
Game-Theoretic Modeling of Human Adaptation in Human-Robot Collaboration. - Aaron Jaech, Hetunandan Kamisetty, Eric K. Ringger, Charlie Clarke:
Match-Tensor: a Deep Relevance Model for Search. - Venkat Anantharam:
A Variational Characterization of Rényi Divergences. - Jekanthan Thangavelautham, Mark S. Robinson, Alexander Taits, Tyler McKinney, Sean Amidan, Adam Polak:
Flying, Hopping Pit-Bots for Cave and Lava Tube Exploration on the Moon and Mars. - Manuel Kauers, Gleb Pogudin:
Bounds for D-finite Substitution. - Johannes Rauh, Pradeep Kr. Banerjee, Eckehard Olbrich, Jürgen Jost, Nils Bertschinger:
On extractable shared information. - Hua Sun, Syed Ali Jafar:
Private Information Retrieval from MDS Coded Data with Colluding Servers: Settling a Conjecture by Freij-Hollanti et al. - Mücahid Kutlu, Tamer Elsayed, Matthew Lease:
Learning to Effectively Select Topics For Information Retrieval Test Collections. - Michael Holzhauser, Sven O. Krumke:
An FPTAS for the parametric knapsack problem. - Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný:
Learning Asynchronous Typestates for Android Classes. - Stefanos Nikolaidis, Yu Xiang Zhu, David Hsu, Siddhartha S. Srinivasa:
Human-Robot Mutual Adaptation in Shared Autonomy. - Jeff Heaton:
An Empirical Analysis of Feature Engineering for Predictive Modeling. - Elisa Mussumeci, Flávio Codeço Coelho:
Modeling news spread as an SIR process over temporal networks. - Nieves Atienza, Rocío González-Díaz, Matteo Rucco:
Persistent Entropy for Separating Topological Features from Noise in Vietoris-Rips Complexes. - Xunchao Hu, Yao Cheng, Yue Duan, Andrew Henderson, Heng Yin:
JSForce: A Forced Execution Engine for Malicious JavaScript Detection. - Elena Boshkovska, Nikola Zlatanov, Linglong Dai, Derrick Wing Kwan Ng, Robert Schober:
Secure SWIPT Networks Based on a Non-linear Energy Harvesting Model. - Yeow Meng Chee, Tuvi Etzion, Han Mao Kiah, Alexander Vardy:
Cooling Codes: Thermal-Management Coding for~High-Performance Interconnects. - Yanru Zhang, Nguyen Hoang Tran, Dusit Niyato, Zhu Han:
Multi-Dimensional Payment Plan in Fog Computing with Moral Hazard. - Himanshu Agrawal:
Spectrum Allocation in Cognitive Networks. - Dávid Márk Nemeskey:
emLam - a Hungarian Language Modeling baseline. - Adarsh Barik, Jean Honorio, Mohit Tawarmalani:
Information Theoretic Limits for Linear Prediction with Graph-Structured Sparsity. - Jingkuan Song, Tao He, Lianli Gao, Xing Xu, Heng Tao Shen:
Deep Region Hashing for Efficient Large-scale Instance Search from Images. - Yahia Alghorani, Mehdi Sayfi:
On the Performance of Reduced-Complexity Transmit/Receive Diversity Systems over MIMO-V2V Channel Model. - Ryota Iwamoto, Takeshi Koshiba:
Non-Malleable Codes Against Affine Errors. - Catherine Dubois, Paolo Masci
, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents] - Taichi Uemura
:
Homotopies for Free! - Jianfeng Chen, Vivek Nair, Tim Menzies:
Beyond Evolutionary Algorithms for Search-based Software Engineering. - Naman Agarwal, Karan Singh:
The Price of Differential Privacy For Online Learning. - Dimitry S. Ananichev:
A new lower bound for reset threshold of synchronizing automata with sink state. - Syed Mehedi Hasan Nirob, Md. Kazi Nayeem, Md. Saiful Islam:
Statistical Analysis on Bangla Newspaper Data to Extract Trending Topic and Visualize Its Change Over Time. - Itai Arieli, Yakov Babichenko:
Simple approximate equilibria in games with many players. - Zhangjie Liu, Mei Su, Yao Sun, Hua Han, Xiaochao Hou, Josep M. Guerrero:
Stability Analysis of DC Microgrids with Constant Power Load under Distributed Control Method. - Ming Ding, David López-Pérez:
The Major and Minor Factors in the Performance Analysis of Ultra-Dense Networks. - Haiping Huang
, Taro Toyoizumi:
Reinforced backpropagation improves test performance of deep networks: a toy-model study. - Joseph J. Boutros, Fanny Jardel, Cyril Measson:
Probabilistic Shaping and Non-Binary Codes. - Vahid Aref, Zhenhua Dong, Henning Bülow:
Design Aspects of Multi-Soliton Pulses for Optical Fiber Transmission. - Francesca Fossati, Stefano Moretti, Stefano Secci:
A Mood Value for Fair Resource Allocations. - Marco Casazza, Pierre Fouilhoux, Mathieu Bouet, Stefano Secci:
Securing Virtual Network Function Placement with High Availability Guarantees. - Luke Hutton, Tristan Henderson:
Beyond the EULA: Improving consent for data mining. - Anas Chaaban, Aydin Sezgin, Mohamed-Slim Alouini
:
On the Degrees-of-Freedom of the MIMO Three-Way Channel with Intermittent Connectivity. - Nan Li, Yifang Xu, Chao Wang:
Quasi-homography warps in image stitching. - Michaël Bon, Michael Taylor, Gary S. McDowell:
Novel processes and metrics for a scientific evaluation rooted in the principles of science - Version 1. - Haris Aziz, Edith Elkind, Piotr Faliszewski, Martin Lackner, Piotr Skowron:
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality. - Hanqing Zhang, Tim Stangner, Krister Wiklund, Alvaro Rodríguez, Magnus Andersson:
UmUTracker: A versatile MATLAB program for automated particle tracking of 2D light microscopy or 3D digital holography data. - Cláudia Soares, João Pedro Gomes, Beatriz Quintino Ferreira, João Paulo Costeira:
LocDyn: Robust Distributed Localization for Mobile Underwater Networks. - Jérôme Darmont
, Emerson Olivier:
Biomedical Data Warehouses. - Kamel Aouiche, Jérôme Darmont
:
Index and Materialized View Selection in Data Warehouses. - Valentin Touzeau, Claire Maïza, David Monniaux
:
Model Checking of Cache for WCET Analysis Refinement. - Hadj Mahboubi, Jean-Christian Ralaivao, Sabine Loudcher
, Omar Boussaïd, Fadila Bentayeb, Jérôme Darmont
:
X-WACoDa: An XML-based approach for Warehousing and Analyzing Complex Data. - Florian Kohnhäuser, Niklas Büscher, Sebastian Gabmeyer, Stefan Katzenbeisser:
Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks. - Markus Giftthaler, Farbod Farshidian, Timothy Sandy, Lukas Stadelmann, Jonas Buchli:
Efficient Kinematic Planning for Mobile Manipulators with Non-holonomic Constraints Using Optimal Control. - Jérôme Darmont
:
Database Benchmarks. - Jérôme Darmont:
Data Warehouse Benchmarking with DWEB. - Hadj Mahboubi, Jérôme Darmont
:
Indices in XML Databases. - Emrah Akyol, Kenneth Rose, Tamer Basar, Cedric Langbort:
Optimal Communication Strategies in Networked Cyber-Physical Systems with Adversarial Elements. - Mohamad Jaafar Ali, Hassine Moungla, Mohamed F. Younis, Ahmed Mehaoua:
Efficient Medium Access Arbitration Among Interfering WBANs Using Latin Rectangles. - Mohamad Khas Mohamadi, Hamid Saeedi, Reza Asvadi:
Design of Capacity Approaching Ensembles of LDPC Codes for Correlated Sources using EXIT Charts. - Enver Solan, Sven Dirkmann, Mirko Hansen, Dietmar Schroeder, Hermann Kohlstedt, Martin Ziegler, Thomas Mussenbrock, Karlheinz Ochs:
An Enhanced Lumped Element Electrical Model of a Double Barrier Memristive Device. - Vladimir Chernykh, Grigoriy Sterling, Pavel Prihodko:
Emotion Recognition From Speech With Recurrent Neural Networks. - Bert J. Claessens, Dirk Vanhoudt, Johan Desmedt, Frederik Ruelens:
Model-Free Control of Thermostatically Controlled Loads Connected to a District Heating Network. - Naresh Kumari, A. N. Jha, Nitin Malik:
Development of Wind Power Generation Model with DFIG for Varying Wind Speed and Frequency Control for Wind Diesel Power Plant. - Naresh Kumari, Nitin Malik, A. N. Jha, Gaddam Mallesham:
Design of PI Controller for Automatic Generation Control of Multi Area Interconnected Power System using Bacterial Foraging Optimization. - Kevin R. Moon, Kumar Sricharan, Alfred O. Hero III:
Ensemble Estimation of Mutual Information. - Matt M. T. Yiu, Helen H. W. Chan, Patrick P. C. Lee:
Erasure Coding for Small Objects in In-Memory KV Storage. - Hadj Mahboubi, Jérôme Darmont
:
Query Performance Optimization in XML Data Warehouses. - Guillaume Noyel, Michel Jourlin:
Double-sided probing by map of Asplünd's distances using Logarithmic Image Processing in the framework of Mathematical Morphology. - Apratim Bhattacharyya, Jilles Vreeken:
Efficiently Summarising Event Sequences with Rich Interleaving Patterns. - Bruce Spang, Anirudh Sabnis, Ramesh K. Sitaraman, Don Towsley, Brian DeCleene:
MON: Mission-optimized Overlay Networks. - Ardavan Salehi Nobandegani, Ioannis N. Psaromiligkos:
The Causal Frame Problem: An Algorithmic Perspective. - Tal Mizrahi, Yoram Revah, Yehonathan Refael Kalim, Elad Kapuza, Yuval Cassuto:
FM-Delta: Fault Management Packet Compression. - Vivek Nair, Tim Menzies, Norbert Siegmund, Sven Apel:
Faster Discovery of Faster System Configurations with Spectral Learning. - Ahmed Karam Eldaly, Yoann Altmann, Antonios Perperidis, Nikola Krstajic, Tushar Choudhary, Kevin Dhaliwal, Stephen McLaughlin:
Deconvolution and Restoration of Optical Endomicroscopy Images. - Themistoklis Melissourgos, Paul G. Spirakis:
Existence of Evolutionarily Stable Strategies Remains Hard to Decide for a Wide Range of Payoff Values. - Ryan Gabrys, Olgica Milenkovic:
The Hybrid k-Deck Problem: Reconstructing Sequences from Short and Long Traces. - Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Effective Analysis of C Programs by Rewriting Variability. - Björn Ross
, Michael Rist, Guillermo Carbonell, Benjamin Cabrera, Nils Kurowsky, Michael Wojatzki:
Measuring the Reliability of Hate Speech Annotations: The Case of the European Refugee Crisis. - David H. Lorenz, Boaz Rosenan:
Application Embedding: A Language Approach to Declarative Web Programming. - Johannes Härtel, Lukas Härtel, Ralf Lämmel, Andrei Varanovich, Marcel Heinz:
Interconnected Linguistic Architecture. - Ralf Lämmel:
Relationship Maintenance in Software Language Repositories. - Sven Tomforde, Bernhard Sick, Christian Müller-Schloer:
Organic Computing in the Spotlight. - Seyyed Ali Hashemi, Carlo Condo, Warren J. Gross:
Fast Simplified Successive-Cancellation List Decoding of Polar Codes. - Gabriele Santi, Leonardo De Laurentiis:
Evaluating a sublinear-time algorithm for the Minimum Spanning Tree Weight problem. - Sadia Tasnim Swarna, Shamim Ehsan, Md. Saiful Islam, Marium-E-Jannat:
A Comprehensive Survey on Bengali Phoneme Recognition. - Emilio Ferrara:
Computational Social Science to Gauge Online Extremism. - Junting Chen, Urbashi Mitra:
Rotated Eigenstructure Analysis for Source Localization without Energy-decay Models. - Sean Mason, Nicholas Rotella, Stefan Schaal, Ludovic Righetti:
Balancing and Walking Using Full Dynamics LQR Control With Contact Constraints. - Jhony-Heriberto Giraldo-Zuluaga, Alexander Gómez, Augusto Salazar, Angélica Diaz-Pulido:
Camera-Trap Images Segmentation using Multi-Layer Robust Principal Component Analysis. - Jorik Oostenbrink, Niels L. M. van Adrichem, Fernando A. Kuipers:
Fast failover of multicast sessions in software-defined networks. - Beniamino Accattoli, Giulio Guerrieri:
Implementing Open Call-by-Value (Extended Version). - Mohamed Anis Bach Tobji:
Comparative Study Of Data Mining Query Languages. - Mohamed Anis Bach Tobji, Mohamed Salah Gouider:
Incremental Maintenance Of Association Rules Under Support Threshold Change. - Anjuli Kannan, Oriol Vinyals:
Adversarial Evaluation of Dialogue Models. - Akhilesh Jaiswal, Indranil Chakraborty, Kaushik Roy:
Energy-Efficient Memories using Magneto-Electric Switching of Ferromagnets. - Sandeep Singh Sandha, Biplav Srivastava, Sukanya Randhawa:
The GangaWatch Mobile App to Enable Usage of Water Data in Every Day Decisions Integrating Historical and Real-time Sensing Data. - Ayush Bhandari, Aurélien Bourquard, Ramesh Raskar:
Sampling Without Time: Recovering Echoes of Light via Temporal Phase Retrieval. - Danielle L. Mowery, Craig Bryan, Mike Conway:
Feature Studies to Inform the Classification of Depressive Symptoms from Twitter Data for Population Health. - Sam Corbett-Davies, Emma Pierson, Avi Feller, Sharad Goel, Aziz Huq:
Algorithmic decision making and the cost of fairness. - Tong Ke, Stergios I. Roumeliotis:
An Efficient Algebraic Solution to the Perspective-Three-Point Problem. - Yansong Gao, Hua Ma, Gefei Li, Shaza Zeitouni, Said F. Al-Sarawi, Derek Abbott, Ahmad-Reza Sadeghi, Damith Chinthana Ranasinghe:
Exploiting PUF Models for Error Free Response Generation. - Nasrin Mostafazadeh, Chris Brockett, Bill Dolan, Michel Galley, Jianfeng Gao, Georgios P. Spithourakis, Lucy Vanderwende:
Image-Grounded Conversations: Multimodal Context for Natural Question and Response Generation. - Murat Kocaoglu, Alexandros G. Dimakis, Sriram Vishwanath, Babak Hassibi:
Entropic Causality and Greedy Minimum Entropy Coupling. - Nattiya Kanhabua, Philipp Kemkes, Wolfgang Nejdl, Tu Ngoc Nguyen, Felipe Reis, Nam Khanh Tran:
How to Search the Internet Archive Without Indexing It. - Smriti Tikoo, Nitin Malik:
Detection of Face using Viola Jones and Recognition using Back Propagation Neural Network. - Smriti Tikoo, Nitin Malik:
Detection, Segmentation and Recognition of Face and its Features Using Neural Network. - Seong Joon Oh, Rodrigo Benenson, Anna Khoreva, Zeynep Akata, Mario Fritz, Bernt Schiele:
Exploiting saliency for object segmentation from image level labels. - Liumeng Wang, Sheng Zhou:
On the Fronthaul Statistical Multiplexing Gain. - Rui Liu, Xiaoli Zhang:
Systems of natural-language-facilitated human-robot cooperation: A review. - Sanjay Ghosh, Amit K. Mandal, Kunal N. Chaudhury:
Pruned non-local means. - Stefan Siersdorfer, Philipp Kemkes, Hanno Ackermann, Sergej Zerr:
Who With Whom And How?: Extracting Large Social Networks Using Search Engines. - Vijaya Krishna Yalavarthi, Xiangyu Ke, Arijit Khan:
Probabilistic Entity Resolution with Imperfect Crowd. - Xudong Sun, Pengcheng Wu, Steven C. H. Hoi:
Face Detection using Deep Learning: An Improved Faster RCNN Approach. - Ilke Çugu, Eren Sener, Çagri Erciyes, Burak Balci, Emre Akin, Itir Önal, Ahmet Oguz Akyüz:
Treelogy: A Novel Tree Classifier Utilizing Deep and Hand-crafted Representations. - Jia Xu, Yong Yao:
A proof of Hilbert's theorem on ternary quartic forms with the ladder technique. - Mohamad Jaafar Ali, Hassine Moungla, Ahmed Mehaoua:
Energy Aware Competitiveness Power Control in Relay-Assisted Interference Body Networks. - A. Mani:
Pure Rough Mereology and Counting. - Mani A, Rebeka Mukherjee:
A Study of FOSS'2013 Survey Data Using Clustering Techniques. - Sunil Kumar Sahu, Ashish Anand:
Drug-Drug Interaction Extraction from Biomedical Text Using Long Short Term Memory Network. - Pan Li, Olgica Milenkovic:
Multiclass MinMax Rank Aggregation. - Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos:
Practical Reasoning with Norms for Autonomous Software Agents (Full Edition). - Christos Perentis, Michele Vescovi, Chiara Leonardi, Corrado Moiso, Mirco Musolesi, Fabio Pianesi, Bruno Lepri:
Anonymous or not? Understanding the Factors Affecting Personal Mobile Data Disclosure. - Christoph Becker, Dawn Walker, Curtis McCord:
A Systematic Literature Review on Intertemporal Choice in Software Engineering - Protocol and Results. - Ronald L. Rivest:
ClipAudit: A Simple Risk-Limiting Post-Election Audit. - Antonio Campello, Ling Liu, Cong Ling:
Multilevel Code Construction for Compound Fading Channels. - Baigong Zheng:
Linear-time approximation schemes for planar minimum three-edge connected and three-vertex connected spanning subgraphs. - Tathagata Chakraborti, Sarath Sreedharan, Yu Zhang, Subbarao Kambhampati:
Explanation Generation as Model Reconciliation in Multi-Model Planning. - Emre Erturk, Jitesh Kumar Arora:
An Exploratory Study on the Implementation and Adoption of ERP Solutions for Businesses. - Valentina Castiglioni, Daniel Gebler, Simone Tini:
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. - Daniel Zahavi, Ron Dabora:
On Cooperation and Interference in the Weak Interference Regime (Full Version with Detailed Proofs). - Ebrahim Ansari, M. H. Sadreddini, Mostafa Sheikhalishahi, Richard Wallace, Fatemeh Alimardani
:
Using English as Pivot to Extract Persian-Italian Parallel Sentences from Non-Parallel Corpora. - Ebrahim Ansari, M. H. Sadreddini, Lucio Grandinetti, Mehdi Sheikhalishahi:
Extracting Bilingual Persian Italian Lexicon from Comparable Corpora Using Different Types of Seed Dictionaries. - Upal Mahbub, Sayantan Sarkar, Rama Chellappa:
Pooling Facial Segments to Face: The Shallow and Deep Ends. - Eita Nakamura, Kazuyoshi Yoshii, Shigeki Sagayama:
Rhythm Transcription of Polyphonic Piano Music Based on Merged-Output HMM for Multiple Voices. - Azadeh Farzan, Victor Nicolet:
Automated Synthesis of Divide and Conquer Parallelism. - Yoju Fujino, Tadashi Wadayama:
Construction of Fixed Rate Non-Binary WOM Codes based on Integer Programming. - Xiaoxia Sun, Nasser M. Nasrabadi, Trac D. Tran:
Supervised Multilayer Sparse Coding Networks for Image Classification. - Baran Tan Bacinoglu, Elif Uysal-Biyikoglu:
Scheduling Status Updates to Minimize Age of Information with an Energy Harvesting Sensor. - Sebastian Schaetz, Dirk Voit, Jens Frahm, Martin Uecker:
Accelerated Computing in Magnetic Resonance Imaging - Real-Time Imaging Using Non-Linear Inverse Reconstruction. - Hideki Yagi:
Channel Resolvability Theorems for General Sources and Channels. - Daniil Frumin, Benno van den Berg:
A homotopy-theoretic model of function extensionality in the effective topos. - Hassan Noura, Lama Sleem, Raphaël Couturier:
A Revision of a New Chaos-Based Image Encryption System: Weaknesses and Limitations. - Seyed Mohammad Azimi-Abarghouyi, Mohsen Hejazi, Behrooz Makki, Masoumeh Nasiri-Kenari, Tommy Svensson:
Integer-Forcing Message Recovering in Interference Channels. - Habib Ghaffari Hadigheh
, Ghazali Bin Sulong:
Feature base fusion for splicing forgery detection based on neuro fuzzy. - Elias A. Doumith, Sawsan Al Zahr:
Exact Approach for Survivable Regenerator Placement in Translucent WDM Networks. - Ronald Clark, Sen Wang, Hongkai Wen, Andrew Markham, Niki Trigoni:
VINet: Visual-Inertial Odometry as a Sequence-to-Sequence Learning Problem. - Dilip K. Prasad, Deepu Rajan, Chandrashekar Krishna Prasath, Lily Rachmawati, Eshan Rajabally, Chai Quek:
MSCM-LiFe: Multi-scale cross modal linear feature for horizon detection in maritime images. - Martin Thoma:
The HASYv2 dataset. - Shuo Yang, Ping Luo, Chen Change Loy, Xiaoou Tang:
Faceness-Net: Face Detection through Deep Facial Part Responses. - Zhun Zhong, Liang Zheng, Donglin Cao, Shaozi Li:
Re-ranking Person Re-identification with k-reciprocal Encoding. - Dimitri Van De Ville, Robin Demesmaeker, Maria Giulia Preti:
When Slepian Meets Fiedler: Putting a Focus on the Graph Spectrum. - Chansu Park, Ji-won Park, Sewon Park, Dongseong Seon, Martin Ziegler:
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fréchet Distance and Shape Optimization. - Lu Lu, Haiquan Zhao:
Steady-state performance analysis of the recursive maximum correntropy algorithm and its application in adaptive beamforming with alpha-stable noise. - Nicolás Ruiz:
On some consequences of the permutation paradigm for data anonymization: centrality of permutation matrices, universal measures of disclosure risk and information loss, evaluation by dominance. - Iddo Bentov, Alex Mizrahi, Meni Rosenfeld:
Decentralized Prediction Market without Arbiters. - Vincent Cohen-Addad, Chris Schwiegelshohn:
One Size Fits All : Effectiveness of Local Search on Structured Data. - Joost R. van Amersfoort, Anitha Kannan, Marc'Aurelio Ranzato, Arthur Szlam, Du Tran, Soumith Chintala:
Transformation-Based Models of Video Sequences. - Johannes Reich:
Interaction semantics and its implications for an interaction oriented architecture of IoT-type applications. - Rajesh Doriya, Paresh Sao, Vinit Payal, Vibhav Anand, Pavan Chakraborty:
A review on cloud robotics based frameworks to solve simultaneous localization and mapping (slam) problem. - Junaed Sattar, Jiawei Mo:
SafeDrive: A Robust Lane Tracking System for Autonomous and Assisted Driving Under Limited Visibility. - Maiara F. Bollauf, Vinay A. Vaishampayan, Sueli I. R. Costa:
On the Communication Cost of Determining an Approximate Nearest Lattice Point. - Vinay A. Vaishampayan, Maiara F. Bollauf:
Communication Cost of Transforming a Nearest Plane Partition to the Voronoi Partition. - Xiang Li, J. David Smith, Thang N. Dinh, My T. Thai:
Why approximate when you can get the exact? Optimal Targeted Viral Marketing at Scale. - Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci
, Michael D. Harrison, José Creissac Campos
, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. 1-19 - Andrew Healy, Rosemary Monahan, James F. Power:
Predicting SMT Solver Performance for Software Verification. 20-37 - Gurvan Le Guernic
, Benoît Combemale, José Angel Galindo
:
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. 38-52 - Gioacchino Mauro, Harold Thimbleby, Andrea Domenici
, Cinzia Bernardeschi
:
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. 53-66 - Stefan Mitsch, André Platzer
:
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. 67-81 - Lilian Burdy, David Déharbe, Étienne Prun:
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". 82-90 - Frank Hilken, Martin Gogolla:
User Assistance Characteristics of the USE Model Checking Tool. 91-97 - Ba-Ngu Vo, Quang N. Tran, Dinh Q. Phung, Ba-Tuong Vo:
Model-based Classification and Novelty Detection For Point Pattern Data. - Arslan Munir, Prasanna Kansakar, Samee U. Khan:
IFCIoT: Integrated Fog Cloud IoT Architectural Paradigm for Future Internet of Things. - Wan-Lei Zhao, Jie Yang, Cheng-Hao Deng:
Scalable Nearest Neighbor Search based on kNN Graph. - C.-C. Jay Kuo:
CNN as Guided Multi-layer RECOS Transform. - Thomas Zheng, Jeff Shaw, Sergey Kozlov:
Auto-Documenation for Software Development. - Hongbo Li, Zhang Li, Yang Li:
Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. - Takafumi Nakano, Tadashi Wadayama:
On Zero Error Capacity of Nearest Neighbor Error Channels with Multilevel Alphabet. - Onur Özyesil, Vladislav Voroninski, Ronen Basri, Amit Singer:
A Survey on Structure from Motion. - Boris Brimkov, Caleb C. Fast, Illya V. Hicks:
Graphs with Extremal Connected Forcing Numbers. - Diego Valsesia, Enrico Magli:
Binary adaptive embeddings from order statistics of random projections. - Diego Valsesia, Enrico Magli:
Fast and Lightweight Rate Control for Onboard Predictive Coding of Hyperspectral Images. - Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz:
Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion. - Pieter Leyman, San Tu Pham, Patrick De Causmaecker:
The Intermittent Traveling Salesman Problem with Different Temperature Profiles: Greedy or not? - David Cachera, Uli Fahrenberg, Axel Legay:
An ω-Algebra for Real-Time Energy Problems. - Mohamed A. Abd-Elmagid, Alessandro Biason, Tamer A. ElBatt, Karim G. Seddik, Michele Zorzi:
Non-Orthogonal Multiple Access Schemes in Wireless Powered Communication Networks. - David Bannach, Martin Jänicke, Vitor F. Rey, Sven Tomforde, Bernhard Sick, Paul Lukowicz:
Self-Adaptation of Activity Recognition Systems to New Sensors. - Anshu Shukla, Shilpa Chaturvedi, Yogesh Simmhan:
RIoTBench: A Real-time IoT Benchmark for Distributed Stream Processing Platforms. - Mohammad Aliannejadi, Masoud Kiaeeha, Shahram Khadivi, Saeed Shiry Ghidary:
Graph-Based Semi-Supervised Conditional Random Fields For Spoken Language Understanding Using Unaligned Data. - Olivier Rioul:
Optimal Transport to the Entropy-Power Inequality and a Reverse Inequality. - Marc Solé, Victor Muntés-Mulero, Annie Ibrahim Rana, Giovani Estrada:
Survey on Models and Techniques for Root-Cause Analysis. - Robert V. Lim, Boyana Norris, Allen D. Malony:
Autotuning GPU Kernels via Static and Predictive Analysis. - Maxime Ferreira Da Costa, Wei Dai:
Low Dimensional Atomic Norm Representations in Line Spectral Estimation. - M. I. Grinchuk, Igor S. Sergeev:
Thin circulant matrices and lower bounds on the complexity of some Boolean operators. - Alexander V. Evako:
Properties of Periodic Fibonacci-like Sequences. - Yichen Wang, Grady Williams, Evangelos A. Theodorou, Le Song:
A Unifying Framework for Guiding Point Processes with Stochastic Intensity Functions. - (Withdrawn) Experimentally-based Cross-layer Optimization Across Multiple Wireless Body Area Networks.
- Samiya M. Shimly, David B. Smith, Samaneh Movassaghi:
Cross-layer optimized routing with low duty cycle TDMA across multiple wireless body area networks. - Inkyu Sa, Christopher F. Lehnert, Andrew English, Chris McCool, Feras Dayoub, Ben Upcroft, Tristan Perez:
Peduncle Detection of Sweet Pepper for Autonomous Crop Harvesting - Combined Colour and 3D Information. - Hadj Mahboubi, Marouane Hachicha, Jérôme Darmont
:
XML Warehousing and OLAP. - Endrit Dosti, Uditha Lakmal Wijewardhana, Hirley Alves, Matti Latva-aho:
Ultra Reliable Communication via Optimum Power Allocation for Type-I ARQ in Finite Block-Length. - Panos Rondogiannis, Ioanna Symeonidou:
Extensional Semantics for Higher-Order Logic Programs with Negation. - Inkyu Sa, Mina Kamel, Raghav Khanna, Marija Popovic, Juan I. Nieto, Roland Siegwart:
Dynamic System Identification, and Control for a cost effective open-source VTOL MAV. - Thai Son Hoang, Laurent Voisin
, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger:
Theory Plug-in for Rodin 3.x. - Jérôme Darmont
:
Data Processing Benchmarks. - Fadila Bentayeb, Nora Maïz, Hadj Mahboubi, Cécile Favre, Sabine Loudcher
, Nouria Harbi, Omar Boussaïd, Jérôme Darmont
:
Innovative Approaches for efficiently Warehousing Complex Data from the Web. - Sinong Wang, Ness B. Shroff:
Security Game with Non-additive Utilities and Multiple Attacker Resources. - Cristina Roldán, Agustín A. Sánchez de la Nieta, Roberto Mínguez, Raquel García-Bertrand:
Robust Dynamic Transmission and Renewable Generation Expansion Planning: Walking Towards Sustainable Systems. - Shrikant Malviya, Rohit Mishra, Uma Shanker Tiwary:
Structural Analysis of Hindi Phonetics and A Method for Extraction of Phonetically Rich Sentences from a Very Large Hindi Text Corpus. - Jasper De Bock:
Credal Networks under Epistemic Irrelevance. - Xiaodong Pan, Yang Xu:
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization. - David N. Fisher, Matthew J. Silk, Daniel W. Franks:
The perceived assortativity of social networks: Methodological problems and solutions. - Sergiu Bursuc, Christian Johansen, Shiwei Xu:
Automated verification of dynamic root of trust protocols (long version). - Nicholas Constant, Debanjan Borthakur, Mohammadreza Abtahi, Harishchandra Dubey, Kunal Mankodiya:
Fog-Assisted wIoT: A Smart Fog Gateway for End-to-End Analytics in Wearable Internet of Things. - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
The Benefits of Duality in Verifying Concurrent Programs under TSO. - Ibrahim Chegrane:
Approximate String Matching: Theory and Applications (La Recherche Approchée de Motifs : Théorie et Applications). - Md. Saiful Islam, Fazla Elahi Md Jubayer, Syed Ikhtiar Ahmed:
A Comparative Study on Different Types of Approaches to Bengali document Categorization. - May Alhazzani, Fahad Alhasoun, Zeyad Alawwad, Marta C. González:
Urban Attractors: Discovering Patterns in Regions of Attraction in Cities. - Saeid Haghighatshoar, Giuseppe Caire:
Signal Recovery from Unlabeled Samples. - Dipaloke Saha, Md. Saddam Hossain, Md. Saiful Islam, Sabir Ismail:
Bangla Word Clustering Based on Tri-gram, 4-gram and 5-gram Language Model. - Manfred Droste, Werner Kuich:
Weigthed omega-Restricted One Counter Automata. - Md. Fahad Hasan, Tasmin Afroz, Sabir Ismail, Md. Saiful Islam:
Document Decomposition of Bangla Printed Text. - Fred W. Glover:
Diversification Methods for Zero-One Optimization. - Vinci Chow:
Predicting Auction Price of Vehicle License Plate with Deep Recurrent Neural Network. - Hideki Yagi, Te Sun Han:
Variable-Length Resolvability for General Sources and Channels. - Rachid Hba, Abdellah El Manouar:
ICT Green Governance: new generation model based on Corporate Social Responsibility and Green IT. - Shi Zong, Branislav Kveton, Shlomo Berkovsky, Azin Ashkan, Nikos Vlassis, Zheng Wen:
Does Weather Matter? Causal Analysis of TV Logs. - Çaglar Gülçehre, Sarath Chandar, Yoshua Bengio:
Memory Augmented Neural Networks with Wormhole Connections. - Peng Gao, Ling Bian:
Scale effects on spatially embedded contact networks. - Simon Cowell:
On the Computation of the Shannon Capacity of a Discrete Channel with Noise. - Chrisantha Fernando, Dylan Banarse, Charles Blundell, Yori Zwols, David Ha, Andrei A. Rusu, Alexander Pritzel, Daan Wierstra:
PathNet: Evolution Channels Gradient Descent in Super Neural Networks. - Alexander Liniger, John Lygeros:
Real-Time Control for Autonomous Racing Based on Viability Theory. - Alexandre Fotue Tabue, Christophe Mouaha:
Contraction of Cyclic Codes Over Finite Chain Rings. - Alexandre Fotue Tabue, Christophe Mouaha:
On the Lattice of Cyclic Linear Codes Over Finite Chain Rings. - Christopher Zimmermann, Roger A. Sauer:
Adaptive local surface refinement based on LR NURBS and its application to contact. - Muhammad Junaid Effendi, Syed Abbas Ali:
Click Through Rate Prediction for Contextual Advertisment Using Linear Regression. - Rui Liu, Xiaoli Zhang:
Methodologies for realizing natural-language-facilitated human-robot cooperation: A review. - Mikhail V. Goubko, Sergei O. Kuznetsov, Alexey A. Neznanov, Dmitry I. Ignatov:
Bayesian Learning of Consumer Preferences for Residential Demand Response. - Rupam Bhattacharyya
, Adity Saikia, Shyamanta M. Hazarika:
C3A: A Cognitive Collaborative Control Architecture For an Intelligent Wheelchair. - Sara Shahi, Daniela Tuninetti, Natasha Devroye:
On the Capacity of the Slotted Strongly Asynchronous Channel with a Bursty User. - Danny Hucke, Markus Lohrey:
Universal Tree Source Coding Using Grammar-Based Compression. - Shafaq Malik, Nargis Bibi, Sehrish Khan, Razia Sultana, Sadaf Abdul-Rauf:
Mr. Doc: A Doctor Appointment Application System. - Alan Kuhnle, Nam P. Nguyen, Thang N. Dinh, My T. Thai:
Vulnerability of Clustering under Node Failure in Complex Networks. - Sara Shahi, Daniela Tuninetti, Natasha Devroye:
On the Capacity of the AWGN Channel with Additive Radar Interference. - Irineo Cabreros, Karan Singh, Angela Zhou:
A Mixture Model and Task Allocation Scheme for Crowdsourcing. - Tong Liu, Qijin Cheng, Christopher M. Homan, Vincent M. B. Silenzio:
Learning from various labeling strategies for suicide-related messages on social media: An experimental study. - Alan Kuhnle, Tianyi Pan, Md Abdul Alim, My T. Thai:
Scalable Bicriteria Algorithms for the Threshold Activation Problem in Online Social Networks. - Aravind Vasudevan, David Gregg:
Mutual Inclusivity of the Critical Path and its Partial Schedule on Heterogeneous Systems. - Fidaa Abed, Lin Chen, Yann Disser, Martin Groß, Nicole Megow, Julie Meißner, Alexander T. Richter, Roman Rischke:
Scheduling Maintenance Jobs in Networks. - Alexey A. Novikov, David Major, Dimitrios Lenis, Jirí Hladuvka, Maria Wimmer, Katja Bühler:
Fully Convolutional Architectures for Multi-Class Segmentation in Chest Radiographs. - Paul Harris, Steffen Malkowsky, Joao Vieira, Fredrik Tufvesson, Wael Boukley Hassan, Liang Liu, Mark A. Beach, Simon Armour, Ove Edfors:
Performance Characterization of a Real-Time Massive MIMO System with LOS Mobile Channels. - Francois Belletti, Daniel Haziza, Gabriel Gomes, Alexandre M. Bayen:
Expert Level control of Ramp Metering based on Multi-task Deep Reinforcement Learning. - Ram Krishna Pandey, A. G. Ramakrishnan:
Language Independent Single Document Image Super-Resolution using CNN for improved recognition. - Rémi Bonnefoi, Amor Nafkha:
New Lower Bound on the Ergodic Capacity of Optical MIMO Channels. - Dipan K. Pal, Vishnu Naresh Boddeti, Marios Savvides:
Emergence of Selective Invariance in Hierarchical Feed Forward Networks. - André R. Gonçalves, Arindam Banerjee, Fernando J. Von Zuben:
Spatial Projection of Multiple Climate Variables using Hierarchical Multitask Learning. - Vipin Vijayan, Dominic Critchlow, Tijana Milenkovic:
Alignment of dynamic networks. - Amor Nafkha, Yves Louët:
Accurate Measurement of Power Consumption Overhead During FPGA Dynamic Partial Reconfiguration. - AmirEmad Ghassami, Negar Kiyavash:
Interaction Information for Causal Inference: The Case of Directed Triangle. - Xiaqing Pan, Yueru Chen, C.-C. Jay Kuo:
3D Shape Retrieval via Irrelevance Filtering and Similarity Ranking (IF/SR). - Yilei Li, Li Du:
1.5 bit-per-stage 8-bit Pipelined CMOS A/D Converter for Neuromophic Vision Processor. - Smruti Amarjyoti:
Deep Reinforcement Learning for Robotic Manipulation - The state of the art. - Zhenyi He, Fengyuan Zhu, Aaron Gaudette, Ken Perlin:
Robotic Haptic Proxies for Collaborative Virtual Reality. - AmirEmad Ghassami, Ali Yekkehkhany, Negar Kiyavash, Yi Lu:
A Covert Queueing Channel in Round Robin Schedulers. - Moustafa Alzantot, Supriyo Chakraborty, Mani B. Srivastava:
SenseGen: A Deep Learning Architecture for Synthetic Sensor Data Generation. - Guang-Neng Hu:
Integrating Reviews into Personalized Ranking for Cold Start Recommendation. - Shihao Yan, Biao He, Yirui Cong, Xiangyun Zhou:
Covert Communication with Finite Blocklength in AWGN Channels. - Pierre Wilmot, Eric Risser, Connelly Barnes:
Stable and Controllable Neural Texture Synthesis and Style Transfer Using Histogram Losses. - Desmond W. H. Cai, Subhonmesh Bose, Adam Wierman:
On the Role of a Market Maker in Networked Cournot Competition. - Takuro Fukunaga, Takanori Maehara:
Computing a tree having a small vertex cover. - Shengli Zhang, Chongtao Guo, Taotao Wang, Wei Zhang:
On-off Analog Beamforming for Massive MIMO. - Zhiyuan Huang, Ding Zhao
, Henry Lam, David J. LeBlanc
:
Accelerated Evaluation of Automated Vehicles Using Piecewise Mixture Models. - Padmavathi K, Mahima Bhat, Maya V. Karki:
Feature Selection based on PCA and PSO for Multimodal Medical Image Fusion using DTCWT. - Yasir Latif, Guoquan Huang, John J. Leonard, José Neira:
Sparse Optimization for Robust and Efficient Loop Closing. - Bilal Khan, Hsuan-Wei Lee, Kirk Dombrowski:
One-step Estimation of Networked Population Size with Anonymity Using Respondent-Driven Capture-Recapture and Hashing. - José Emilio Labra Gayo, Eric Prud'hommeaux, Harold R. Solbrig, Iovka Boneva:
Validating and describing linked data portals using shapes. - Sichen Zhong, Yue Zhao:
Generic Cospark of a Matrix Can Be Computed in Polynomial Time. - Akira Yamawaki, Hiroshi Kamabe, Shan Lu:
Lower Bounds on the Number of Writing Operations by ILIFC with Inversion Cells. - Hadar Averbuch-Elor, Johannes Kopf, Tamir Hazan, Daniel Cohen-Or:
Co-segmentation for Space-Time Co-located Collections. - Da Zhang, Hamid Maei, Xin Wang, Yuan-Fang Wang:
Deep Reinforcement Learning for Visual Object Tracking in Videos. - Jeffrey A. Bilmes, Wenruo Bai:
Deep Submodular Functions. - Sheila Mahapatra, Nitin Malik:
A Hybrid Approach for Secured Optimal Power Flow and Voltage Stability with TCSC Placement. - Marco Baroni, Armand Joulin, Allan Jabri, Germán Kruszewski, Angeliki Lazaridou, Klemen Simonic, Tomás Mikolov:
CommAI: Evaluating the first steps towards a useful general AI. - Nhan Duy Truong, Levin Kuhlmann, Mohammad Reza Bonyadi, Jiawei Yang, Andrew Faulks, Omid Kavehei:
Supervised Learning in Automatic Channel Selection for Epileptic Seizure Detection. - Pedro Costa, Adrian Galdran, Maria Inês Meyer
, Michael David Abràmoff, Meindert Niemeijer, Ana Maria Mendonça
, Aurélio Campilho
:
Towards Adversarial Retinal Image Synthesis. - Mahdi Ajamgard, Hamid Shahrokh Shahraki:
Improved Phantom Cell deployment for Capacity Enhancement. - Naveen Mellempudi, Abhisek Kundu, Dipankar Das, Dheevatsa Mudigere, Bharat Kaul:
Mixed Low-precision Deep Learning Inference using Dynamic Fixed Point. - Paul Acquatella B., Wim van Ekeren, Qi Ping Chu:
PI(D) tuning for Flight Control Systems via Incremental Nonlinear Dynamic Inversion. - Alin-Ionut Popa, Mihai Zanfir, Cristian Sminchisescu:
Deep Multitask Architecture for Integrated 2D and 3D Human Sensing. - Aleksei Tiulpin, Jérôme Thevenot, Esa Rahtu, Simo Saarakkala:
A novel method for automatic localization of joint area on knee plain radiographs. - Fábio Gagliardi Cozman, Denis Deratani Mauá:
On the Semantics and Complexity of Probabilistic Logic Programs. - Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). - Dimitrios J. Vergados, Natalia O. Amelina, Yuming Jiang, Katina Kralevska, Oleg N. Granichin:
Towards Optimal Distributed Node Scheduling in a Multihop Wireless Network through Local Voting. - Paolo Medagliani, Stefano Paris, Jérémie Leguay, Lorenzo Maggi, Chuangsong Xue, Haojun Zhou:
Overlay Routing for Fast Video Transfers in CDN. - Seyede Mahya Hazavei, Hamid Reza Shahdoosti:
A New Method for Removing the Moire' Pattern from Images. - Aria Rezaei, Bryan Perozzi, Leman Akoglu:
Ties That Bind - Characterizing Classes by Attributes and Social Ties. - Gerardo L. Febres:
A proposal about the meaning of scale, scope and resolution in the context of the interpretation process. - Jeff Heaton:
Comparing Dataset Characteristics that Favor the Apriori, Eclat or FP-Growth Frequent Itemset Mining Algorithms. - Hao Li:
Big Data Technology Accelerate Genomics Precision Medicine. - Panthadeep Bhattacharjee, Amit Awekar
:
Batch Incremental Shared Nearest Neighbor Density Based Clustering Algorithm for Dynamic Datasets. - (Withdrawn) Fairness-Aware Caching and Radio Resource Allocation for the Downlink of Multi-Cell OFDMA Systems.
- Alexander Shen:
Automatic Kolmogorov complexity and normality revisited. - Salil Rabade, Jekan Thangavelautham:
Combined Thermal Control and GNC: An Enabling Technology for CubeSat Surface Probes and Small Robots. - Eric N. Guyes, Amit N. Shocron, Anastasia Simanovski, P. M. Biesheuvel, Matthew E. Suss:
A one-dimensional model for water desalination by flow-through electrode capacitive deionization. - Pan Li, Arya Mazumdar, Olgica Milenkovic:
Efficient Rank Aggregation via Lehmer Codes. - Farnaz Basiri, Jose Casadiego, Marc Timme, Dirk Witthaut:
From State Estimation to Network Reconstruction. - Ravi Teja Nallapu, Saumil Shah, Erik Asphaug, Jekan Thangavelautham:
Attitude Control of the Asteroid Origins Satellite 1 (AOSAT 1). - Arvin Rasoulzadeh, Georg Nawratil:
Rational Parametrization of Linear Pentapod's Singularity Variety and the Distance to it. - Joshua D. A. Jung, Jesse Hoey:
Socio-Affective Agents as Models of Human Behaviour in the Networked Prisoner's Dilemma. - Rodrigo Agerri, German Rigau:
Robust Multilingual Named Entity Recognition with Shallow Semi-Supervised Features. - Viwanou Hounkpati
, Vladimir N. Salnikov, Alexandre Vivet
, Philippe Karamian-Surville:
On the choice of homogenization method to achieve effective mechanical properties of composites reinforced by ellipsoidal and spherical particles. - Samarth Brahmbhatt, James Hays:
DeepNav: Learning to Navigate Large Cities. - Maged M. Eljazzar, Afnan Hassan, Amira A. AlSharkawy:
Towards A Time Based Video Search Engine for Al Quran Interpretation. - A. Emin Orhan:
Skip Connections as Effective Symmetry-Breaking. - Hongteng Xu, Hongyuan Zha:
A Dirichlet Mixture Model of Hawkes Processes for Event Sequence Clustering. - Tim Allan Wheeler, Martin Holder, Hermann Winner, Mykel J. Kochenderfer:
Deep Stochastic Radar Models. - Maruf Pasha, Furrakh Shahzad, Arslan Ahmad:
An analysis of Challenges face by WEBRTC Videoconferencing and a Remedial Architecture. - Daniel George, Eliu A. Huerta:
Deep Neural Networks to Enable Real-time Multimessenger Astrophysics. - Connor Sell, Jeremy Kepner:
Non-Negative Matrix Factorization Test Cases. - Eftychios A. Pnevmatikakis:
Compressed sensing and optimal denoising of monotone signals. - Jean-Gabriel Young
, Patrick Desrosiers, Laurent Hébert-Dufresne, Edward Laurence, Louis J. Dubé:
Finite size analysis of the detectability limit of the stochastic block model. - Soumyakanti Bose:
Unified Quantification of Nonclassicality and Non-Gaussianity: An Entropic Approach. - Pietro Hiram Guzzi, Giuseppe Agapito, Marianna Milano, Mario Cannataro:
Learning Weighted Association Rules in Human Phenotype Ontology. - Stefano Cavallari:
A computational investigation of the relationships between single-neuron and network dynamics in the cerebral cortex. - Matthew Amy, Jianxin Chen
, Neil J. Ross
:
A finite presentation of CNOT-dihedral operators. 84-97 - David Picard:
Very Fast Kernel SVM under Budget Constraints. - Jan-Peter Calliess:
Lazily Adapted Constant Kinky Inference for Nonparametric Regression and Model-Reference Adaptive Control. - Shen-Fu Tsai:
Computing optimal strategy for cop in the game of Cop v.s. Gambler. - Ross Duncan
, Chris Heunen:
Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. EPTCS 236, 2017 [contents] - Mehdi Moussaïd, Kyanoush Seyed Yahosseini:
Can simple transmission chains foster collective intelligence in binary-choice tasks? - Stefan Engblom, Carl Nettelblad, Jing Liu:
Assessing Uncertainties in X-ray Single-particle Three-dimensional reconstructions. - Guillermo Cabrera-Vives, Ignacio Reyes, Francisco Förster
, Pablo A. Estévez, Juan-Carlos Maureira:
Deep-HiTS: Rotation Invariant Convolutional Neural Network for Transient Detection. - Pierre-André G. Maugis, Carey E. Priebe, Sofia C. Olhede, Patrick J. Wolfe:
Statistical inference for network samples using subgraph counts. - Gianfranco Basti, Antonio Capolupo, Giuseppe Vitiello:
Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science. - Maxwell Shinn, Rafael Romero-Garcia, Jakob Seidlitz, Frantisek Vása, Petra E. Vértes, Edward T. Bullmore:
Versatility of nodal affiliation to communities. - Yeeleng Scott Vang, Xiaohui Xie:
HLA class I binding prediction via convolutional neural networks. - Carl Johan Casselgren:
Coloring graphs of various maximum degree from random lists. - Assaf Naor, Robert Young:
Vertical perimeter versus horizontal perimeter. - Giovanni Carù:
On the Cohomology of Contextuality. 21-39 - Amar Hadzihasanovic
:
A Topological Perspective on Interacting Algebraic Theories. 70-86 - Mathys Rennela, Sam Staton, Robert Furber
:
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. 161-173 - Mohammad Amin Fakharian, Ashkan Esmaeili, Farokh Marvasti:
New Methods of Enhancing Prediction Accuracy in Linear Models with Missing Data. - Seyed Hossein Hosseini, Tohid Nouri, Afshin Ebrahimi, S. Ali Hosseini:
Simulated Tornado Optimization. - Pedro Mercado, Francesco Tudisco, Matthias Hein:
Clustering Signed Networks with the Geometric Mean of Laplacians. - Thibault Lesieur, Florent Krzakala, Lenka Zdeborová:
Constrained Low-rank Matrix Estimation: Phase Transitions, Approximate Message Passing and Applications. - Li Liu, Yongzhong Yang, Lakshmi Narasimhan Govindarajan, Shu Wang, Bin Hu, Li Cheng, David S. Rosenblum:
An Interval-Based Bayesian Generative Model for Human Complex Activity Recognition. - Amy Glen, Jamie Simpson, William F. Smyth:
Counting Lyndon factors. - Zhiyong Zhou, Jun Yu
:
Estimation of block sparsity in compressive sensing. - Jianbo Ye, Jia Li, Michelle G. Newman, Reginald B. Adams Jr., James Z. Wang:
Probabilistic Multigraph Modeling for Improving the Quality of Crowdsourced Affective Data. - Hiroki Sayama:
Graph Product Multilayer Networks: Spectral Properties and Applications. - Yong Sheng Soh, Venkat Chandrasekaran:
A Matrix Factorization Approach for Learning Semidefinite-Representable Regularizers. - Max Yi Ren, Clayton Scott:
Adaptive Questionnaires for Direct Identification of Optimal Product Design. - Giuseppe Casalicchio, Jakob Bossek, Michel Lang
, Dominik Kirchhoff, Pascal Kerschke, Benjamin Hofner, Heidi Seibold
, Joaquin Vanschoren, Bernd Bischl:
OpenML: An R Package to Connect to the Networked Machine Learning Platform OpenML. - Nahuel Lascano, Guillermo Gallardo-Diez, Rachid Deriche, Dorian Mazauric, Demian Wassermann:
Extracting the Groupwise Core Structural Connectivity Network: Bridging Statistical and Graph-Theoretical Approaches. - Thakshila Wimalajeewa, Pramod K. Varshney:
Compressive Sensing Based Detection With Multimodal-Dependent Data. - Daniel Ruprecht:
Wave propagation characteristics of Parareal. - Silvio R. Dahmen, Ana L. C. Bazzan, R. Gramsch:
Community Detection in the Network of German Princes in 1225: a Case Study. - Sriram Somanchi, Daniel B. Neill:
Graph Structure Learning from Unlabeled Data for Event Detection. - Anindya De, Elchanan Mossel, Joe Neeman:
Noise Stability is computable and low dimensional. - Bernd Flemisch, Inga Berre, Wietse M. Boon, Alessio Fumagalli, Nicolas Schwenck, Anna Scotti, Ivar Stefansson, Alexandru Tatomir:
Benchmarks for single-phase flow in fractured porous media. - Yuguang Wang, Hou-Ying Zhu:
Localized Tight Frames and Fast Framelet Transforms on the Simplex. - Gadi Fibich:
Diffusion of new products with recovering consumers. - Ramiro Marco Figuera, Bang Pham Huu, Angelo Pio Rossi
, Mikhail Minin, Jessica Flahaut, Anik Halder:
Online characterization of planetary surfaces: PlanetServer, an open-source analysis and visualization tool. - Himangshu Kalita, Jekan Thangavelautham:
Automated Design of CubeSats and Small Spacecrafts. - Sean Ballentine, Aurore Guillevic, Elisa Lorenzo García, Chloe Martindale, Maike Massierer, Benjamin Smith
, Jaap Top:
Isogenies for point counting on genus two hyperelliptic curves with maximal real multiplication. - Bernhard Schmitzer
, Benedikt Wirth:
A Framework for Wasserstein-1-Type Metrics. - Iasson Karafyllis, Miroslav Krstic:
Sampled-Data Boundary Feedback Control of 1-D Parabolic PDEs. - Ping Li:
Tunable GMM Kernels. - Ryutaroh Matsumoto:
Unitary Reconstruction of Secret for Stabilizer Based Quantum Secret Sharing. - Yu-Hang Tang, Lu Lu, He Li, Constantinos Evangelinos, Leopold Grinberg, Vipin Sachdeva, George E. Karniadakis:
OpenRBC: A Fast Simulator of Red Blood Cells at Protein Resolution. - Mathieu Laurière, Dave Touchette:
The Flow of Information in Interactive Quantum Protocols: the Cost of Forgetting. - X. Flora Meng, Robert A. Van Gorder, Mason A. Porter:
Opinion formation and distribution in a bounded confidence model on various networks. - Michele Svanera
, Sergio Benini, Gal Raz, Talma Hendler, Rainer Goebel, Giancarlo Valente:
Deep driven fMRI decoding of visual categories. - Pavel S. Ruzankin:
A fast algorithm for detecting maximal number of matched pairs under a given caliper. - Michael Kerber, Hannah Schreiber:
Barcodes of Towers and a Streaming Algorithm for Persistent Homology. - Matthew Frank:
Interpolating Between Choices for the Approximate Intermediate Value Theorem. - Hiroyasu Hamada, Satoshi Makita, Shigeki Matsutani:
Mathematics in Caging of Robotics. - Thomas E. Portegys:
Morphognosis: the shape of knowledge in space and time. - Markus Viljanen, Antti Airola, Jukka Heikkonen, Tapio Pahikkala:
Playtime Measurement with Survival Analysis. - Ilya O. Tolstikhin, Sylvain Gelly, Olivier Bousquet, Carl-Johann Simon-Gabriel, Bernhard Schölkopf:
AdaGAN: Boosting Generative Models. - Luc Devroye, Cecilia Holmgren, Henning Sulzbach:
The heavy path approach to Galton-Watson trees with an application to Apollonian networks. - Alejandro Fernández Villaverde, Julio R. Banga:
Dynamical compensation in biological systems as a particular case of structural non-identifiability. - Alexander V. Gasnikov, Maksim Zhukovskii, Sergey Kim, Fedor Noskov, Stepan Plaunov, Daniil Smirnov:
Around power law for PageRank components in Buckley-Osthus model of web graph. - Alonso Castillo-Ramirez, Maximilien Gadouleau:
Von Neumann Regular Cellular Automata. - Yaroslav Shitov:
Column subset selection is NP-complete. - Rajat Sen, Karthikeyan Shanmugam, Alexandros G. Dimakis, Sanjay Shakkottai:
Causal Best Intervention Identification via Importance Sampling. - Arko Ghosh, Jean-Pascal Pfister, Matthew Cook:
Optimised information gathering in smartphone users. - Kristjan H. Greenewald, Stephen Kelley, Brandon Oselio, Alfred O. Hero III:
Similarity Function Tracking using Pairwise Comparisons. - Rongjie Lai, Jia Li:
Solve Partial Differential Equations on Manifold From Incomplete Inter-Point Distance. - Prabhav Kalaghatgi, Thomas Lengauer:
Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees. - Xiaowei Zhang, Chi Xu, Yu Zhang, Tingshao Zhu, Li Cheng:
Multivariate Regression with Grossly Corrupted Observations: A Robust Approach and its Applications. - Ryutaroh Matsumoto:
Quantum Stabilizer Codes Can Realize Access Structures Impossible by Classical Secret Sharing. - Shibdas Roy, Dominic W. Berry, Ian R. Petersen, Elanor H. Huntington:
Robust Guaranteed-Cost Adaptive Quantum Phase Estimation. - (Withdrawn) Exponent for classical-quantum multiple access channel.
- Hao-Chung Cheng, Min-Hsiu Hsieh, Marco Tomamichel:
Sphere-Packing Bound for Symmetric Classical-Quantum Channels. - Pascal Halffmann, Stefan Ruzika, Clemens Thielen, David Willems:
A General Approximation Method for Bicriteria Minimization Problems. - Xin Yuan, Yunchen Pu, Lawrence Carin:
Compressive Sensing via Convolutional Factor Analysis. - Amitava Bhattacharya, Anupam Mondal, T. Srinivasa Murthy:
On Critical Independent Sets of a Graph and Structure of Unicyclic Non-König-Egerváry Graphs. - Mayank Baranwal, Alireza Askarian, Srinivasa M. Salapaka:
Robust Distributed Control of DC Microgrids with Time-Varying Power Sharing. - Christopher T. Chubb, Vincent Y. F. Tan, Marco Tomamichel:
Moderate deviation analysis for classical communication over quantum channels. - Martin Kliesch, Richard Kueng, Jens Eisert, David Gross:
Guaranteed recovery of quantum processes from few measurements. - Yifan Yang, Tian Qin, Yu-Heng Lei:
Real-time eSports Match Result Prediction. - Hao-Chung Cheng, Min-Hsiu Hsieh:
Moderate Deviation Analysis for Classical-Quantum Channels and Quantum Hypothesis Testing. - Wei Guo, Krithika Manohar, Steven L. Brunton, Ashis Gopal Banerjee:
Sparse-TDA: Sparse Realization of Topological Data Analysis for Multi-Way Classification. - Tongfeng Weng, Jie Zhang, Michael Small, Farshid Hassani Bijarbooneh, Pan Hui:
Partial cover time that is sublinear in the number of targets on complex networks: a universal law. - Volker Diekert, Murray Elder:
Solutions of twisted word equations, EDT0L languages, and context-free groups. - Bernard De Meyer, Gaëtan Fournier:
Price dynamics on a risk-averse market with asymmetric information. - Yuxiang Yang, Ge Bai, Giulio Chiribella, Masahito Hayashi:
Compression for quantum population coding. - Andreas C. Damianou, Neil D. Lawrence, Carl Henrik Ek:
Manifold Alignment Determination: finding correspondences across different data views. - Sean L. Bowman, Cameron Nowzari, George J. Pappas:
Coordination of multi-agent systems via asynchronous cloud communication. - Avner May, Alireza Bagheri Garakani, Zhiyun Lu, Dong Guo, Kuan Liu, Aurélien Bellet, Linxi Fan, Michael Collins, Daniel J. Hsu, Brian Kingsbury, Michael Picheny, Fei Sha:
Kernel Approximation Methods for Speech Recognition. - Pavankumar Tallapragada, Jorge Cortés:
Distributed control of vehicle strings under finite-time and safety specifications. - Yuka Fujiki, Shogo Mizutaka, Kousuke Yakubo:
Fractality and degree correlations in scale-free networks. - Ori Katz, Ronen Talmon, Yu-Lun Lo, Hau-Tieng Wu:
Diffusion-based nonlinear filtering for multimodal data fusion with application to sleep stage assessment. - Dustin Tran, Matthew D. Hoffman, Rif A. Saurous, Eugene Brevdo, Kevin Murphy, David M. Blei:
Deep Probabilistic Programming. - Mikael Mortensen:
A spectral-Galerkin turbulent channel flow solver for large-scale simulations. - Yihui Quek, Peter W. Shor:
Quantum and Super-quantum enhancements to two-sender, two-receiver channels. - Jack Davis, Steven K. Thompson:
Network Inference from a Link-Traced Sample using Approximate Bayesian Computation. - Ali Mousavi, Richard G. Baraniuk:
Learning to Invert: Signal Recovery via Deep Convolutional Networks. - Guanghui Lan, Soomin Lee, Yi Zhou:
Communication-Efficient Algorithms for Decentralized and Stochastic Optimization. - Graham Neubig, Chris Dyer, Yoav Goldberg, Austin Matthews, Waleed Ammar, Antonios Anastasopoulos, Miguel Ballesteros, David Chiang, Daniel Clothiaux, Trevor Cohn, Kevin Duh, Manaal Faruqui, Cynthia Gan, Dan Garrette, Yangfeng Ji, Lingpeng Kong, Adhiguna Kuncoro, Gaurav Kumar, Chaitanya Malaviya, Paul Michel, Yusuke Oda, Matthew Richardson, Naomi Saphra, Swabha Swayamdipta, Pengcheng Yin:
DyNet: The Dynamic Neural Network Toolkit. - Jianxin Chen, Andrew M. Childs, Shih-Han Hung:
Quantum algorithm for multivariate polynomial interpolation. - Nitash C. G, Thomas LaBar, Arend Hintze, Christoph Adami:
Origin of life in a digital microcosm. - Jon Cockayne, Chris J. Oates, Tim Sullivan, Mark A. Girolami:
Probabilistic Numerical Methods for PDE-constrained Bayesian Inverse Problems. - Utz-Uwe Haus, Carla Michini, Marco Laumanns:
Scenario Aggregation using Binary Decision Diagrams for Stochastic Programs with Endogenous Uncertainty. - Maritza Hernandez, Maliheh Aramon:
Enhancing Quantum Annealing Performance for the Molecular Similarity Problem. - Rajai Nasser:
Topological Structures on DMC spaces. - Johannes Blümlein, Carsten Schneider:
The Method of Arbitrarily Large Moments to Calculate Single Scale Processes in Quantum Field Theory. - Zvonko Iljazovic, Igor Susic:
Computability of semicomputable manifolds in computable topological spaces. - Arun Hegde, Wenyu Li, James Oreluk, Andrew K. Packard, Michael Frenklach:
Consistency Analysis for Massively Inconsistent Datasets in Bound-to-Bound Data Collaboration. - Aleks Kissinger, Sander Uijlen:
A categorical semantics for causal structure. - Anders Martinsson:
A linear threshold for uniqueness of solutions to random jigsaw puzzles. - Martín Arjovsky, Léon Bottou:
Towards Principled Methods for Training Generative Adversarial Networks. - Joel Nishimura:
Uniformly sampling graphs with self-loops and a given degree sequence. - Shoulin Wei, Feng Wang, Hui Deng, Cuiyin Liu, Wei Dai, Bo Liang, Ying Mei, Congming Shi, Yingbo Liu, Jingping Wu:
OpenCluster: A Flexible Distributed Computing Framework for Astronomical Data Processing. - Ronan Kerviche, Saikat Guha, Amit Ashok:
Fundamental limit of resolving two point sources limited by an arbitrary point spread function. - Min Lu, Hemant Ishwaran:
A Machine Learning Alternative to P-values. - Zhao Peng:
Multilayer Perceptron Algebra. - Ardavan Salehi Nobandegani, Thomas R. Shultz:
Converting Cascade-Correlation Neural Nets into Probabilistic Generative Models. - Ofer Feinerman, Amos Korman:
Individual versus collective cognition in social insects. - Lucas Lamata:
Basic protocols in quantum reinforcement learning with superconducting circuits. - Mojtaba Aghaei, Maryam Rostamigiv:
Rejecting inadmissible rules in reduced normal forms in S4. - Konstantina Christakopoulou, Jaya Kawale, Arindam Banerjee:
Recommendation under Capacity Constraints. - Paul Springer, Ahmed E. Ismail, Paolo Bientinesi:
A Scalable, Linear-Time Dynamic Cutoff Algorithm for Molecular Dynamics. - Wilson Hsu, Agastya Kalra, Pascal Poupart:
Online Structure Learning for Sum-Product Networks with Gaussian Leaves. - Zoltán Néda, Levente Varga, Tamás Sándor Biró:
Science and Facebook: the same popularity law! - Arthur Mensch, Julien Mairal, Bertrand Thirion, Gaël Varoquaux:
Stochastic Subsampling for Factorizing Huge Matrices. - Dmitry Molchanov, Arsenii Ashukha
, Dmitry P. Vetrov:
Variational Dropout Sparsifies Deep Neural Networks. - Jose Capco, Matteo Gallet, Georg Grasegger, Christoph Koutschan
, Niels Lubbes, Josef Schicho:
The number of realizations of a Laman graph. - Dirk Tasche:
Fisher consistency for prior probability shift. - Kolja Knauer, Tilen Marc:
On tope graphs of complexes of oriented matroids. - Tyler H. McCormick, Bailey K. Fosdick, Frank W. Marrs:
Standard errors for regression on relational data with exchangeable errors. - Aleksandar Nikolov:
Tighter Bounds for the Discrepancy of Boxes and Polytopes. - Casey Kneale, Dominic Poerio, Karl S. Booksh:
Optimized Spatial Partitioning via Minimal Swarm Intelligence. - Juan B. Cabral
, Bruno Sánchez, Martin Beroiz
, Mariano Domínguez, Marcelo Lares, Sebastián Gurovich, Pablo M. Granitto:
Corral Framework: Trustworthy and Fully Functional Data Intensive Parallel Astronomical Pipelines. - Aaron Schein, Mingyuan Zhou, Hanna M. Wallach:
Poisson-Gamma Dynamical Systems. - Joseph M. Renes:
Duality of channels and codes. - Klaus Ackermann, Simon D. Angus, Paul A. Raschky:
The Internet as Quantitative Social Science Platform: Insights from a Trillion Observations. - Yong Cai, Yunlong Wang, Dong Dai:
Rare Disease Physician Targeting: A Factor Graph Approach. - Young Woong Park, Diego Klabjan:
Bayesian Network Learning via Topological Order. - Diane M. Donovan, Asha Rao, Emine Sule Yazici:
High Rate LDPC Codes from Difference Covering Arrays. - Lei Lin, Qian Wang, Adel W. Sadek:
A Novel Variable Selection Method based on Frequent Pattern Tree for Real-time Traffic Accident Risk Prediction. - Kevin Schmidt, Iasson Karafyllis, Miroslav Krstic:
Yield Trajectory Tracking for Hyperbolic Age-Structured Population Systems. - Fabio Fagnani, Barbara Franci:
A game theoretic approach to a network cloud storage problem. - Yuh Shyang Wang, Nikolai Matni, John C. Doyle:
Separable and Localized System Level Synthesis for Large-Scale Systems. - Arash Ahadi, Ali Dehghan, Mohsen Mollahajiaghaei:
Algorithmic Complexity of Weakly Semiregular Partitioning and the Representation Number. - Jhelum Chakravorty, Aditya Mahajan:
Structure of optimal strategies for remote estimation over Gilbert-Elliott channel with feedback. - Manjesh Kumar Hanawal, Hao Liu, Henghui Zhu, Ioannis Ch. Paschalidis:
Learning Policies for Markov Decision Processes from Data. - Dmitry B. Rokhlin, Anatoly Usov:
Asymptotic efficiency of the proportional compensation scheme for a large number of producers. - Andrea Ferraguti, Giacomo Micheli, Reto Schnyder:
Irreducible compositions of degree two polynomials over finite fields have regular structure. - André B. Chassein, Marc Goerigk, Adam Kasperski, Pawel Zielinski:
On Recoverable and Two-Stage Robust Selection Problems with Budgeted Uncertainty. - Tatsuya Sasaki, Hitoshi Yamamoto, Isamu Okada, Satoshi Uchida:
The Evolution of Reputation-Based Cooperation in Regular Networks. - Insoon Yang:
A dynamic game approach to distributionally robust safety specifications for stochastic systems. - Patrick Ng:
dna2vec: Consistent vector representations of variable-length k-mers. - Boaz Barak, Pravesh Kothari, David Steurer:
Quantum entanglement, sum of squares, and the log rank conjecture. - Yan Zhang, Antonios Garas, Ingo Scholtes:
Controllability of temporal networks: An analysis using higher-order networks. - Tony Lindeberg:
Normative theory of visual receptive fields. - Peyman Mohajerin Esfahani, Tobias Sutter, Daniel Kuhn, John Lygeros:
From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming. - Thi-Thu-Hong Phan, Émilie Caillault Poisson, André Bigand:
Comparative study on supervised learning methods for identifying phytoplankton species. - Laura Alessandretti, Kaiyuan Sun, Andrea Baronchelli, Nicola Perra:
The interplay between activity and attractiveness on random walks in time-varying networks. - Andrea Baisero, Stefan Otte, Peter Englert, Marc Toussaint:
Identification of Unmodeled Objects from Symbolic Descriptions. - Petros-Pavlos Ypsilantis, Giovanni Montana:
Learning what to look in chest X-rays with a recurrent visual attention model. - Hayato Takahashi:
Recent progress on conditional randomness. - Bikash Joshi, Massih-Reza Amini, Ioannis Partalas, Franck Iutzeler, Yury Maximov:
Aggressive Sampling for Multi-class to Binary Reduction with Applications to Text Classification. - Daniel Dolz, Daniel E. Quevedo, Ignacio Peñarrocha, Alex S. Leong, Roberto Sanchis:
Co-design of jump estimators and transmission policies for wireless multi-hop networks with fading channels [Extended]. - Dmitry Yu. Ignatov, Alexander N. Filippov, Andrey D. Ignatov, Xuecang Zhang:
Automatic Analysis, Decomposition and Parallel Optimization of Large Homogeneous Networks. - Amita Gajewar, Gagan Bansal:
Revenue Forecasting for Enterprise Products. - Boris Bukh, Xavier Goaoc:
Shatter functions with polynomial growth rates. - Andrew J. Goodall, Miki Hermann, Tomer Kotek, Johann A. Makowsky, Steven D. Noble:
On the complexity of generalized chromatic polynomials. - Jonas Søgaard Juul, Mason A. Porter:
Synergistic effects in threshold models on networks. - Thomas W. Cusick:
Weight recursions for any rotation symmetric Boolean functions. - Melissa Aczon, David R. Ledbetter
, Long Van Ho, Alec M. Gunny, Alysia Flynn, Jon Williams, Randall C. Wetzel:
Dynamic Mortality Risk Predictions in Pediatric Critical Care Using Recurrent Neural Networks. - Sina Faridimehr, Saravanan Venkatachalam, Ratna Babu Chinnam:
A Stochastic Programming Approach for Electric Vehicle Charging Network Design. - Sze Zheng Yong, Lingyun Gao, Necmiye Ozay:
Weak Adaptive Submodularity and Group-Based Active Diagnosis with Applications to State Estimation with Persistent Sensor Faults. - Ju Xiang, Zhi-Zhong Wang, Hui-Jia Li, Yan Zhang, Fang Li, Li-Ping Dong, Jian-Ming Li:
Community detection based on significance optimization in complex networks. - Xavier Caruso:
Computations with p-adic numbers. - Srinivasan Arunachalam, Ronald de Wolf:
A Survey of Quantum Learning Theory. - Andris Ambainis, Janis Iraids:
Optimal one-shot quantum algorithm for EQUALITY and AND. - J. J. P. Veerman:
Social Balance and the Bernoulli Equation. - Parsiad Azimzadeh:
A fast and stable test to check if a weakly diagonally dominant matrix is an M-matrix. - Markus Grassl, Sirui Lu
, Bei Zeng:
Codes for Simultaneous Transmission of Quantum and Classical Information. - Rebekka Burkholz, Frank Schweitzer:
A framework for cascade size calculations on random networks. - Anthony M. Bloch, Leonardo Colombo, Rohit Gupta, Tomoki Ohsawa:
Optimal Control Problems with Symmetry Breaking Cost Functions. - Michel Boyer, Matty Katz, Rotem Liss
, Tal Mor:
A New and Feasible Protocol for Semi-quantum Key Distribution. - Wiktor Mlynarski, Josh H. McDermott:
Learning Mid-Level Auditory Codes from Natural Sound Statistics. - Jae Kyu Choi, Bin Dong, Xiaoqun Zhang:
An Edge Driven Wavelet Frame Model for Image Restoration. - Shan You, Chang Xu, Yunhe Wang, Chao Xu, Dacheng Tao:
Privileged Multi-label Learning. - David Hübner, Thibault Verhoeven, Konstantin Schmid, Klaus-Robert Müller, Michael Tangermann, Pieter-Jan Kindermans:
Learning from Label Proportions in Brain-Computer Interfaces: Online Unsupervised Learning with Guarantees. - François G. Meyer, Alexander M. Benison, Zachariah Smith, Daniel S. Barth:
Decoding Epileptogenesis in a Reduced State Space. - Johan Thunberg, Florian Bernard, Jorge M. Gonçalves:
Distributed methods for synchronization of orthogonal matrices over graphs. - Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal:
Characterizations of idempotent discrete uninorms. - Michele Coscia, Frank Neffke:
Network Backboning with Noisy Data. - Hans-Dieter Lang, Costas D. Sarris:
Semidefinite Relaxation-Based Optimization of Multiple-Input Wireless Power Transfer Systems. - Andrea Baronchelli:
A gentle introduction to the minimal Naming Game. - Faicel Chamroukhi:
Robust mixture of experts modeling using the t distribution. - Laurent Bonnasse-Gahot, Henri Berestycki, Marie-Aude Depuiset, Mirta B. Gordon, Sebastian Roché, Nancy Rodríguez, Jean-Pierre Nadal:
Epidemiological modeling of the 2005 French riots: a spreading wave and the role of contagion. - Srikanth Jagabathula, Lakshminarayanan Subramanian, Ashwin Venkataraman:
A Model-based Projection Technique for Segmenting Customers. - Krithika Manohar, Bingni W. Brunton, J. Nathan Kutz, Steven L. Brunton:
Data-Driven Sparse Sensor Placement. - Gal Mazor, Lior Weizman, Assaf Tal, Yonina C. Eldar:
Low Rank Magnetic Resonance Fingerprinting. - Hans-Dieter Lang, Costas D. Sarris:
Optimization of Wireless Power Transfer Systems Enhanced by Passive Elements and Metasurfaces. - Francisco Macedo, Maria Rosário de Oliveira, António Pacheco, Rui Valadas:
A theoretical framework for evaluating forward feature selection methods based on mutual information. - Ivan Herreros-Alonso, Xerxes D. Arsiwalla, Paul F. M. J. Verschure:
A Forward Model at Purkinje Cell Synapses Facilitates Cerebellar Anticipatory Control. - Chao Qu, Huan Xu:
Linear convergence of SDCA in statistical estimation. - Dmitry Petrov, Boris Gutman, Alexander Ivanov, Joshua Faskowitz, Neda Jahanshad, Mikhail Belyaev, Paul M. Thompson:
Structural Connectome Validation Using Pairwise Classification. - Martín Arjovsky, Soumith Chintala, Léon Bottou:
Wasserstein GAN. - Gerard Rinkus:
A Radically New Theory of how the Brain Represents and Computes with Probabilities. - Alexey Balitskiy, Roman N. Karasev, Alexander Tsigler:
Optimality of codes with respect to error probability in Gaussian noise. - Thibault Lesieur, Léo Miolane, Marc Lelarge, Florent Krzakala, Lenka Zdeborová:
Statistical and computational phase transitions in spiked tensor estimation. - Marek Kokot, Maciej Dlugosz, Sebastian Deorowicz:
KMC 3: counting and manipulating k-mer statistics. - Hugo T. M. Kussaba, Luis Felipe da Cruz Figueredo
, João Yoshiyuki Ishihara, Bruno Vilhena Adorno:
Hybrid Kinematic Control for Rigid Body Pose Stabilization using Dual Quaternions. - Han Peters, Guus Regts:
On a conjecture of Sokal concerning roots of the independence polynomial. - Franz J. Király, Zhaozhi Qian:
Modelling Competitive Sports: Bradley-Terry-Élő Models for Supervised and On-Line Learning of Paired Competition Outcomes. - Rostislav V. Lapshin:
An improved parametric model of hysteresis loop. - Ulrik Buchholtz, Edward Morehouse:
Varieties of Cubical Sets. - Xueliang Liu:
Deep Recurrent Neural Network for Protein Function Prediction from Sequence. - Azam Asanjarani, Yoni Nazarathy, Philip K. Pollett:
Parameter and State Estimation in Queues and Related Stochastic Models: A Bibliography. - Haiqiang Niu, Peter Gerstoft, Emma Reeves:
Source localization in an ocean waveguide using supervised machine learning. - Peter Georg, Daniel Richtmann, Tilo Wettig:
pMR: A high-performance communication library. - Lamb Wubin, Naixin Ren:
Decision structure of risky choice. - Nilesh Vyas, Colin Benjamin:
Debunking van Enk-Pike's criterion for quantum games. - Tim Austin:
An asymptotic equipartition property for measures on model spaces. - Sebastian M. Cioaba, Travis Johnston, Matt McGinnis:
Cospectral mates for the union of some classes in the Johnson association scheme. - Yang Yang, Takashi Nishikawa, Adilson E. Motter:
Vulnerability and co-susceptibility determine the size of network cascades. - Romain Laroche, Raphaël Féraud:
Algorithm selection of off-policy reinforcement learning algorithm. - Andrew Collins, Jan Foniok, Nicholas Korpelainen, Vadim V. Lozin, Victor Zamaraev:
Infinitely many minimal classes of graphs of unbounded clique-width. - James G. Dowty:
Chentsov's theorem for exponential families. - William Pettersson, Melih Ozlen:
A parallel approach to bi-objective integer programming. - Yingzhou Li, Haizhao Yang:
Spectrum Slicing for Sparse Hermitian Definite Matrices Based on Zolotarev's Functions. - Abdelghafour Talibi, Boujemâa Achchab, Rafik Lasri:
Variable selection for clustering with Gaussian mixture models: state of the art. - Robert Beinert, Gerlind Plonka:
Sparse phase retrieval of one-dimensional signals by Prony's method. - Martin Gurtner, Jiri Zemanek:
Twin-beam real-time position estimation of micro-objects in 3D. - Leo van Iersel, Vincent Moulton, Eveline de Swart, Taoyang Wu:
Binets: fundamental building blocks for phylogenetic networks. - André R. Gonçalves, Celso C. Cavelucci, Christiano Lyra Filho, Fernando J. Von Zuben:
An Extremal Optimization approach to parallel resonance constrained capacitor placement problem. - Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
An Intermediate Level of Abstraction for Computational Systems Chemistry. - Arash Ahadi, Ali Dehghan, Morteza Saghafian:
Is there any polynomial upper bound for the universal labeling of graphs? - Richard W. Kenyon, Charles Radin, Kui Ren, Lorenzo Sadun:
The phases of large networks with edge and triangle constraints. - Greg Yang:
A Homological Theory of Functions. - Peter Frankl, Andrey Kupavskii:
Families of sets with no matchings of sizes 3 and 4. - Peter Frankl, Andrey Kupavskii:
Counting intersecting and pairs of cross-intersecting families. - Simona Colabrese, Kristian Gustavsson, Antonio Celani, Luca Biferale:
Flow Navigation by Smart Microswimmers via Reinforcement Learning. - Garrett B. Goh, Nathan O. Hodas, Abhinav Vishnu:
Deep Learning for Computational Chemistry. - Rambod Mojgani, Maciej Balajewicz:
Lagrangian basis method for dimensionality reduction of convection dominated nonlinear flows. - David Reutter, Jamie Vicary:
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). 329-348 - Bob Coecke, John H. Selby
, Sean Tull:
Two Roads to Classicality. 104-118 - Stefano Gogioso
, Carlo Maria Scandolo
:
Categorical Probabilistic Theories. 367-385
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.