Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2015
- Huda Nassar, Kyle Kloster, David F. Gleich:
Strong Localization in Personalized PageRank Vectors. - Markus Vogt, Gerald Hempel, Jerónimo Castrillón, Christian Hochberger:
GCC-Plugin for Automated Accelerator Generation and Integration on Hybrid FPGA-SoCs. - Shaodong Qin, Mladen Berekovic:
A Comparison of High-Level Design Tools for SoC-FPGA on Disparity Map Calculation Example. - Kentaro Sano:
DSL-based Design Space Exploration for Temporal and Spatial Parallelism of Custom Stream Computing. - Cheng Liu, Ho-Cheung Ng, Hayden Kwok-Hay So:
Automatic Nested Loop Acceleration on FPGAs Using Soft CGRA Overlay. - Hao Yi Ong:
Value function approximation via low-rank models. - William Bradley Glisson, Todd R. Andel, Jeffrey Todd McDonald, Mike Jacobs, Matt Campbell, Johnny Mayr:
Compromising a Medical Mannequin. - Tianyu Wang, Lingyang Song, Zhu Han, Walid Saad:
Overlapping Coalition Formation Games for Emerging Communication Networks. - Brian L. Ji, H. Li, Q. Ye, S. Gausepohl, S. Deora, Dmitry Veksler, S. Vivekanand, H. Chong, H. Stamper, T. Burroughs, C. Johnson, M. Smalley, S. Bennett, V. Kaushik, J. Piccirillo, M. Rodgers, M. Passaro, M. Liehr:
In-Line-Test of Variability and Bit-Error-Rate of HfOx-Based Resistive Memory. - Samuel Kadoury, Eugene Vorontsov, An Tang:
Metastatic liver tumour segmentation from discriminant Grassmannian manifolds. - S. Khosravani, I. N. Moghaddam, A. Afshar, M. Karrari:
Fault Tolerant Control of Power Systems in presence of Sensor Failure. - Raghu Meka:
Explicit resilient functions matching Ajtai-Linial. - Li Chen, Pooja Jain, Kingsum Chow, Emad Guirguis, Tony Wu:
Brewing Analytics Quality for Cloud Performance. - Bjarki Ágúst Guðmundsson, Tómas Ken Magnússon, Björn Orri Sæmundsson:
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring (Extended Version). - Babak Bagheri Hariri, Val Tannen:
Decidability of Equivalence of Aggregate Count-Distinct Queries. - (Withdrawn) Truth Discovery to Resolve Object Conflicts in Linked Data.
- Gerard David Howard, Larry Bull, Ben de Lacy Costello:
Evolving Unipolar Memristor Spiking Neural Networks. - Pan Zhang, Cristopher Moore, M. E. J. Newman:
Community detection in networks with unequal groups. - Audrey G. Chung, Mohammad Javad Shafiee, Devinder Kumar, Farzad Khalvati, Masoom A. Haider, Alexander Wong:
Discovery Radiomics for Multi-Parametric MRI Prostate Cancer Detection. - M. Salman Asif, Ali Ayremlou, Aswin C. Sankaranarayanan, Ashok Veeraraghavan, Richard G. Baraniuk:
FlatCam: Thin, Bare-Sensor Cameras using Coded Aperture and Computation. - Devinder Kumar, Mohammad Javad Shafiee, Audrey G. Chung, Farzad Khalvati, Masoom A. Haider, Alexander Wong:
Discovery Radiomics for Computed Tomography Cancer Detection. - Piotr Indyk, Sepideh Mahabadi, Ali Vakilian:
Towards Tight Bounds for the Streaming Set Cover Problem. - Yifei Huang, Ali A. Nasir, Salman Durrani, Xiangyun Zhou:
Mode Selection, Resource Allocation and Power Control for D2D-Enabled Two-Tier Cellular Network. - Yangbo Song, Mihaela van der Schaar:
Dynamic Network Formation with Foresighted Agents. - Ronald L. Rivest:
DiffSum - A Simple Post-Election Risk-Limiting Audit. - Ruiyang Song, Yao Xie, Sebastian Pokutta:
Sequential Information Guided Sensing. - Yao Xie, Ruiyang Song, Hanjun Dai, Qingbin Li, Le Song:
Online Supervised Subspace Tracking. - Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus:
Automatic Software Diversity in the Light of Test Suites. - Vojtech Kovarík, Viliam Lisý:
Analysis of Hannan Consistent Selection for Monte Carlo Tree Search in Simultaneous Move Games. - Zhangyang Wang, Shiyu Chang, Jiayu Zhou, Thomas S. Huang:
Learning A Task-Specific Deep Architecture For Clustering. - Zhangyang Wang, Qing Ling, Thomas S. Huang:
Learning Deep ℓ0 Encoders. - (Withdrawn) Tumor Motion Tracking in Liver Ultrasound Images Using Mean Shift and Active Contour.
- Zhihan Lv, Xiaoming Li:
Preprint Virtual Reality Assistant Technology for Learning Primary Geography. - Nikolaos I. Miridakis, Dimitrios D. Vergados, Angelos Michalas:
Cooperative Relaying in Underlay Cognitive Systems with Hardware Impairments. - Mohammad Karzand, Douglas J. Leith, Jason Cloud, Muriel Médard:
Low Delay Random Linear Coding Over a Stream. - Mauro Brunato, Roberto Battiti:
A Telescopic Binary Learning Machine for Training Neural Networks. - Pan Zhou, Yingxue Zhou, Dapeng Wu, Hai Jin:
Differentially Private Online Learning for Video Recommendation with Social Big Data over Media Cloud. - Michela Del Vicario, Alessandro Bessi, Fabiana Zollo, Fabio Petroni, Antonio Scala, Guido Caldarelli, Harry Eugene Stanley, Walter Quattrociocchi:
Echo chambers in the age of misinformation. - Alex Stolz, Martin Hepp:
GR2RSS: Publishing Linked Open Commerce Data as RSS and Atom Feeds. - Vladimir Savic, Erik G. Larsson:
Fingerprinting-Based Positioning in Distributed Massive MIMO Systems. - Roel Matthysen, Daan Huybrechs:
Fast Algorithms for the computation of Fourier Extensions of arbitrary length. - Osuolale Abdulrahamon Tiamiyu:
Trusted routing vs. VPN for secured data transfer over IP-networks/Internet. - Vladimir Savic, Henk Wymeersch, Erik G. Larsson:
Target Tracking in Confined Environments with Uncertain Sensor Positions. - Jeremiah Blocki, Anupam Datta:
CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. - (Withdrawn) Location-Aware Dynamic Resource Management for High-Speed Railway Wireless Communications.
- Changxing Ding, Dacheng Tao:
Robust Face Recognition via Multimodal Deep Face Representation. - Guy Even, Yaniv Fais:
Algorithms for Network-on-Chip Design with Guaranteed QoS. - Michael G. Kallitsis, Stilian Stoev, Shrijita Bhattacharya, George Michailidis:
AMON: An Open Source Architecture for Online Monitoring, Statistical Analysis and Forensics of Multi-gigabit Streams. - Vincent Despré, Francis Lazarus:
Some Triangulated Surfaces without Balanced Splitting. - Daniel Augot, Françoise Levy-dit-Vehel, Man Cuong Ngô:
Information Sets of Multiplicity Codes. - Azadeh Faridi, Boris Bellalta, Alessandro Checco:
Analysis of Dynamic Channel Bonding in Dense Networks of WLANs. - Jos H. Weber, Kees A. Schouhamer Immink, Simon R. Blackburn:
Pearson codes. - Tae Hyun Oh, Yasuyuki Matsushita, Yu-Wing Tai, In So Kweon:
Fast Randomized Singular Value Thresholding for Nuclear Norm Minimization. - Justus A. Calvin, Cannada A. Lewis, Edward F. Valeev:
Scalable Task-Based Algorithm for Multiplication of Block-Rank-Sparse Matrices. - K. C. Amit Kumar, Damien Delannay, Christophe De Vleeschouwer:
Iterative hypothesis testing for multi-object tracking in presence of features with variable reliability. - Joseph O'Rourke:
Spiral Unfoldings of Convex Polyhedra. - Vincent Lostanlen, Stéphane Mallat:
Transformée en scattering sur la spirale temps-chroma-octave. - Thomas Janson, Christian Schindelhauer:
Receiving Pseudorandom PSK. - Martin Hoefer, Thomas Kesselheim, Bojana Kodric:
Smoothness for Simultaneous Composition of Mechanisms with Admission. - Dantong Liu, Lifeng Wang, Yue Chen, Maged Elkashlan, Kai-Kit Wong, Robert Schober, Lajos Hanzo:
User Association in 5G Networks: A Survey and an Outlook. - Kezhi Wang, Kun Yang, Chathura M. Sarathchandra Magurawalage:
Joint Energy Minimization and Resource Allocation in C-RAN with Mobile Cloud. - Eric Brier, Jean-Sébastien Coron, Rémi Géraud, Diana Maimut, David Naccache:
A Number-Theoretic Error-Correcting Code. - Lukas Barth, Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg:
On the Readability of Boundary Labeling. - Franz J. Brandenburg, Walter Didimo, William S. Evans, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani:
Recognizing and Drawing IC-planar Graphs. - Manish Gupta:
Cascade Markov Decision Processes: Theory and Applications. - Sijia Deng, Mathew K. Samimi, Theodore S. Rappaport:
28 GHz and 73 GHz Millimeter-Wave Indoor Propagation Measurements and Path Loss Models. - Erik Steinmetz, Matthias Wildemeersch, Tony Q. S. Quek, Henk Wymeersch:
Reception Probabilities in 5G Vehicular Communications close to Intersections. - Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. - Theodore S. Rappaport, Sijia Deng:
73 GHz Wideband Millimeter-Wave Foliage and Ground Reflection Measurements and Models. - Irina Kostitsyna, Martin Nöllenburg, Valentin Polishchuk, André Schulz, Darren Strash:
On Minimizing Crossings in Storyline Visualizations. - Stefano Galli, Kenneth J. Kerpez, Hubert Mariotte, Fabienne Moulin:
PLC-to-DSL Interference: Statistical Model and Impact on DSL. - Dániel Kondor, Pierrick Thébault, Sebastian Grauwin, István Gódor, Simon Moritz, Stanislav Sobolevsky, Carlo Ratti:
Visualizing signatures of human activity in cities across the globe. - Laura Toni, Gene Cheung, Pascal Frossard:
In-Network View Synthesis for Interactive Multiview Video Systems. - Dezhi Hong, Jorge Ortiz, Arka Aloke Bhattacharya, Kamin Whitehouse:
Sensor-Type Classification in Buildings. - Vijay Gadepally, Jeremy Kepner:
Using a Power Law Distribution to describe Big Data. - Ahmed O. D. Ali, Cenk M. Yetis, Murat Torlak:
Second-Order Statistics of MIMO Rayleigh Interference Channels: Theory, Applications, and Analysis. - S. Sedef Savas, Massimo Tornatore, M. Farhan Habib, Pulak Chowdhury, Biswanath Mukherjee:
Disaster-Resilient Control Plane Design and Mapping in Software-Defined Networks. - Xitong Yang, Yuncheng Li, Jiebo Luo:
Pinterest Board Recommendation for Twitter Users. - Aolin Xu, Maxim Raginsky:
Information-theoretic lower bounds for distributed function computation. - Yuri Burda, Roger B. Grosse, Ruslan Salakhutdinov:
Importance Weighted Autoencoders. - Jiazi Zhang, Lalitha Sankar:
Implication of Unobservable State-and-topology Cyber-physical Attacks. - Scott Wisdom, Thomas Powers, Les Atlas, James W. Pitton:
Enhancement and Recognition of Reverberant and Noisy Speech by Extending Its Coherence. - Masashi Wakaiki, Yutaka Yamamoto:
Stabilization of continuous-time switched linear systems with quantized output feedback. - Wenzhuo Ouyang, Jingwen Bai, Ashutosh Sabharwal:
Leveraging One-hop Information in Massive MIMO Full-Duplex Wireless Systems. - Masashi Wakaiki, Yutaka Yamamoto:
Stability analysis of sampled-data switched systems with quantization. - Bing Shuai, Zhen Zuo, Gang Wang, Bing Wang:
DAG-Recurrent Neural Networks For Scene Labeling. - Tony T. Luo:
Achieving Energy Efficiency for Altruistic DISH: Three Properties. - Elvis H. W. Xu, Pak Ming Hui:
Efficient Detection of Communities with Significant Overlaps in Networks: Partial Community Merger Algorithm. - Alireza Louni, Santhanakrishnan Anand, K. P. Subbalakshmi:
Identification of Source of Rumors in Social Networks with Incomplete Information. - Xi Peng, Juei-Chin Shen, Jun Zhang, Khaled Ben Letaief:
Backhaul-Aware Caching Placement for Wireless Networks. - Hiroyuki Fukumoto, Kazunori Hayashi:
Overlap Frequency Domain Equalization for Faster-than-Nyquist Signaling. - Michael Fire, Jonathan Schler:
Exploring Online Ad Images Using a Deep Convolutional Neural Network Approach. - Norbert Bátfai:
Turing's Imitation Game has been Improved. - Jian Gao, Tao Zhou:
Evaluating user reputation in online rating systems via an iterative group-based ranking method. - Puttichai Lertkultanon, Quang-Cuong Pham:
A Single-Query Manipulation Planner. - Safae Laqrichi, Didier Gourc
, François Marmier:
Toward an effort estimation model for software projects integrating risk. - Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions. - Dominik D. Freydenberger, Pawel Gawrychowski, Juhani Karhumäki, Florin Manea, Wojciech Rytter:
Testing k-binomial equivalence. - Olga Gadyatskaya:
How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems. - Manish Mandloi, Mohammed Azahar Hussain, Vimal Bhatia:
Improved Multiple Feedback Successive Interference Cancellation Algorithm for Near-Optimal MIMO Detection. - Frédéric Blanqui:
Termination of rewrite relations on $λ$-terms based on Girard's notion of reducibility. - (Withdrawn) Manipulated Object Proposal: A Discriminative Object Extraction and Feature Fusion Framework for First-Person Daily Activity Recognition.
- Derek Doran, Samir Yelne, Luisa Massari, Maria Carla Calzarossa, LaTrelle Jackson, Glen Moriarty:
Stay Awhile and Listen: User Interactions in a Crowdsourced Platform Offering Emotional Support. - Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis:
L-Drawings of Directed Graphs. - Alexander M. Rush, Sumit Chopra, Jason Weston:
A Neural Attention Model for Abstractive Sentence Summarization. - Rebecca Schuller Borbely:
On Normalized Compression Distance and Large Malware. - Zahid Ahmed Ansari, Mohammad Fazle Azeem, A. Vinaya Babu, Waseem Ahmed:
A Fuzzy Approach for Feature Evaluation and Dimensionality Reduction to Improve the Quality of Web Usage Mining Results. - Zahid Ahmed Ansari, Waseem Ahmed, Mohammad Fazle Azeem, A. Vinaya Babu:
Discovery of Web Usage Profiles Using Various Clustering Techniques. - Zahid Ahmed Ansari, Mohammad Fazle Azeem, A. Vinaya Babu, Waseem Ahmed:
A Fuzzy Clustering Based Approach for Mining Usage Profiles from Web Log Data. - Dinesh Balaji Sashikanth:
Analysis of Communication Pattern with Scammers in Enron Corpus. - Nitish Chandra, Kedar Khare:
Dictionary based Approach to Edge Detection. - Marco Dalai, Andreas J. Winter:
Constant Compositions in the Sphere Packing Bound for Classical-Quantum Channels. - Boris Klemz, Martin Nöllenburg, Roman Prutkin:
Recognizing Weighted Disk Contact Graphs. - Andrey A. Shchurov:
A Multilayer Model of Computer Networks. - Joseph Anderson, Navin Goyal, Anupama Nandi, Luis Rademacher:
Heavy-tailed Independent Component Analysis. - Luca Sanguinetti, Romain Couillet, Mérouane Debbah:
Large System Analysis of Base Station Cooperation for Power Minimization. - Daniel Pickem, Magnus Egerstedt, Jeff S. Shamma:
A Game-theoretic Formulation of the Homogeneous Self-Reconfiguration Problem. - Petr A. Golovach, Clément Requilé, Dimitrios M. Thilikos:
Variants of Plane Diameter Completion. - Sebastian Lamm, Peter Sanders, Christian Schulz, Darren Strash, Renato F. Werneck:
Finding Near-Optimal Independent Sets at Scale. - Alkida Balliu, Dennis Olivetti, Özalp Babaoglu, Moreno Marzolla, Alina Sîrbu:
A Big Data Analyzer for Large Trace Logs. - Kwang-Ki K. Kim:
A Note on the Convexity of $\log \det ( I + KX^{-1} )$ and its Constrained Optimization Representation. - Sanket S. Kalamkar, Adrish Banerjee:
Interference-Assisted Wireless Energy Harvesting in Cognitive Relay Network with Multiple Primary Transceivers. - Jamie Hayes, George Danezis:
Better open-world website fingerprinting. - Suren Jayasuriya, Adithya Pediredla, Sriram Sivaramakrishnan, Alyosha C. Molnar, Ashok Veeraraghavan:
Depth Fields: Extending Light Field Techniques to Time-of-Flight Imaging. - Michael J. Bannister, David A. Brown, David Eppstein:
Confluent Orthogonal Drawings of Syntax Diagrams. - Rafael M. O. Cruz, Robert Sabourin, George D. C. Cavalcanti:
A DEEP analysis of the META-DES framework for dynamic selection of ensemble of classifiers. - Chuang Ye, Gozde Ozcan, Mustafa Cenk Gursoy, Senem Velipasalar:
Multimedia Transmission over Cognitive Radio Channels under Sensing Uncertainty. - Jonathan Klawitter, Martin Nöllenburg, Torsten Ueckerdt:
Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem. - Omur Ozel, Sennur Ulukus, Pulkit Grover:
Energy Harvesting Transmitters that Heat Up: Throughput Maximization under Temperature Constraints. - Hongyuan Mei, Mohit Bansal, Matthew R. Walter:
What to talk about and how? Selective Generation using LSTMs with Coarse-to-Fine Alignment. - Kaushik Vaidyanathan:
Exploiting Challenges of Sub-20 nm CMOS for Affordable Technology Scaling. - Hamid R. Ekbia, Michael Mattioli, Inna Kouper, G. Arave, Ali Ghazinejad, Timothy D. Bowman, Venkata Ratandeep Suri, Andrew Tsou, Scott B. Weingart, Cassidy R. Sugimoto:
Big data, bigger dilemmas: A critical review. - Ablimit Aji, Hoang Vo, Fusheng Wang:
Effective Spatial Data Partitioning for Scalable Query Processing. - Andrew J. R. Simpson:
On-the-Fly Learning in a Perpetual Learning Machine. - Euiwoong Lee, Melanie Schmidt, John Wright:
Improved and Simplified Inapproximability for k-means. - Osvaldo Skliar, Ricardo E. Monge, Sherry Gapper:
Using Inclusion Diagrams as an Alternative to Venn Diagrams to Determine the Validity of Categorical Syllogisms. - Kenta Oono, Yuichi Yoshida:
Testing Properties of Functions on Finite Groups. - Meng Zhang, Yuan Liu, Rui Zhang:
Secrecy Wireless Information and Power Transfer in OFDMA Systems. - Meng Zhang, Yuan Liu:
Joint Secure Beamforming for Cognitive Radio Networks with Untrusted Secondary Users. - Xiao Lu, Ping Wang, Dusit Niyato, Dong In Kim, Zhu Han:
Wireless Charging Technologies: Fundamentals, Standards, and Network Applications. - (Withdrawn) Motion planning using shortest path.
- Nicola Bezzo, Joshua P. Hecker, Karl Stolleis, Melanie E. Moses, Rafael Fierro:
Exploiting Heterogeneous Robotic Systems in Cooperative Missions. - Christopher S. Pilson, James C. McElroy:
A Typology of Authentication Systems. - Runchun Wang, Chetan Singh Thakur, Tara Julia Hamilton, Jonathan Tapson, André van Schaik:
A compact aVLSI conductance-based silicon neuron. - Dilek Küçük, Dogan Küçük:
On TimeML-Compliant Temporal Expression Extraction in Turkish. - Ying Xu, Chetan Singh Thakur, Tara Julia Hamilton, Jonathan Tapson, Runchun Wang, André van Schaik:
A Reconfigurable Mixed-signal Implementation of a Neuromorphic ADC. - Ahmad AlAmmouri, Hesham ElSawy, Osama Amin, Mohamed-Slim Alouini:
In-Band $α$-Duplex Scheme for Cellular Networks: A Stochastic Geometry Approach. - Ali Bulut Üçüncü, Ali Özgür Yilmaz:
Pulse Shaping Methods for OQAM/OFDM and WCP-COQAM. - Shujaat Khan, Muhammad Sohail Ibrahim, Kafeel Ahmed Khan, Mansoor Ebrahim:
Security Analysis of Secure Force Algorithm for Wireless Sensor Networks. - Miroslav Hekrdla, Andrea Matera, Weiyang Wang, Dong Wei, Umberto Spagnolini:
Ordered Tomlinson-Harashima Precoding in G.fast Downstream. - Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
A Strong Distillery. - Zhaofei Yu, Feng Chen, Jianwu Dong, Qionghai Dai:
Sampling-based Causal Inference in Cue Combination and its Neural Implementation. - Dominique Osborne, Shashi Narayan, Shay B. Cohen:
Encoding Prior Knowledge with Eigenword Embeddings. - Yoichi Iwata, Yuichi Yoshida:
On the Equivalence among Problems of Bounded Width. - Dmitry Kosolobov:
Finding the Leftmost Critical Factorization on Unordered Alphabet. - Ibrahim Adeyanju:
Generating Weather Forecast Texts with Case Based Reasoning. - Antonios Argyriou:
Multi-Source Cooperative Communication with Opportunistic Interference Cancelling Relays. - Ibrahim Adeyanju:
Building a Truly Distributed Constraint Solver with JADE. - Céline Aubel, David Stotz, Helmut Bölcskei:
A Theory of Super-Resolution from Short-Time Fourier Transform Measurements. - Malte Probst, Franz Rothlauf:
Training a Restricted Boltzmann Machine for Classification by Labeling Model Samples. - Felix Berkenkamp, Angela P. Schoellig, Andreas Krause:
Safe Controller Optimization for Quadrotors with Gaussian Processes. - Ahmed Nabil Mohamed:
A Novice Guide towards Human Motion Analysis and Understanding. - Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani, Reto Schnyder:
Group key management based on semigroup actions. - Reto Schnyder, Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani:
An Active Attack on a Multiparty Key Exchange Protocol. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
An Ant Colonization Routing Algorithm to Minimize Network Power Consumption. - Saiph Savage, Andrés Monroy-Hernández, Kasturi Bhattacharjee, Tobias Höllerer:
Tag Me Maybe: Perceptions of Public Targeted Sharing on Facebook. - (Withdrawn) Differential Spatial Modulation with Gray Coded Antenna Activation Order.
- Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
A tree-based kernel for graphs with continuous attributes. - Michael Helmling:
Introduction to Mathematical Programming-Based Error-Correction Decoding. - Caio César Teodoro Mendes, Vincent Frémont, Denis Fernando Wolf:
Vision-Based Road Detection using Contextual Blocks. - Yilun Shang:
A Combinatorial Necessary and Sufficient Condition for Cluster Consensus. - Pushpa Sree Potluri:
Training of CC4 Neural Network with Spread Unary Coding. - Grady Williams, Andrew Aldrich, Evangelos A. Theodorou:
Model Predictive Path Integral Control using Covariance Variable Importance Sampling. - Miao Fan, Qiang Zhou, Thomas Fang Zheng, Ralph Grishman:
Parallel Knowledge Embedding with MapReduce on a Multi-core Processor. - Wei Sun, Evangelos A. Theodorou, Panagiotis Tsiotras:
Model Based Reinforcement Learning with Final Time Horizon Optimization. - Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:
Unmanned Aerial Vehicle with Underlaid Device-to-Device Communications: Performance and Tradeoffs. - Peter Sanders, Christian Schulz:
Advanced Multilevel Node Separator Algorithms. - Don J. Torrieri, Salvatore Talarico, Matthew C. Valenti:
Performance Comparisons of Geographic Routing Protocols in Mobile Ad Hoc Networks. - (Withdrawn) Fast Clustering and Topic Modeling Based on Rank-2 Nonnegative Matrix Factorization.
- Moshe Ben-Ezra:
Light Efficient Flutter Shutter. - Maxime Crochemore, Roman Kolpakov, Gregory Kucherov:
Optimal searching of gapped repeats in a word. - Sajjad AbdollahRamezani, Kamalodin Arik, Amin Khavasi, Zahra Kavehvash:
Analog Computing Using Graphene-based Metalines. - Moritz Hardt, Benjamin Recht, Yoram Singer:
Train faster, generalize better: Stability of stochastic gradient descent. - Hamidreza Farhidzadeh:
Machine Learning Methods to Analyze Arabidopsis Thaliana Plant Root Growth. - Hamidreza Farhidzadeh:
Probabilistic Neural Network Training for Semi-Supervised Classifiers. - Colin Rennie, Rahul Shome, Kostas E. Bekris, Alberto F. De Souza:
A Dataset for Improved RGBD-based Object Detection and Pose Estimation for Warehouse Pick-and-Place. - Filipe Condessa, José M. Bioucas-Dias, Carlos A. Castro, John A. Ozolek, Jelena Kovacevic:
Image Classification with Rejection using Contextual Information. - Max Zimmermann, Eirini Ntoutsi, Myra Spiliopoulou:
Incremental Active Opinion Learning Over a Stream of Opinionated Documents. - Jørgen Bang-Jensen, Jing Huang, Xuding Zhu:
Completing orientations of partially oriented graphs. - Kwang Ki Kevin Kim, Richard D. Braatz:
Stability Analysis of Discrete-time Lure Systems with Slope-restricted Odd Monotonic Nonlinearities. - Jan Gorzny, Jing Huang:
End-vertices of LBFS of (AT-free) bigraphs. - Qian Lu, Chunshan Xu, Haitao Liu:
The influence of Chunking on Dependency Crossing and Distance. - Santiago Zazo, Matilde Sánchez Fernández, Sergio Valcarcel Macua, Javier Zazo:
Dynamic Potential Games in Communications: Fundamentals and Applications. - Eric Bax, James Li, Zheng Wen:
Exponential Weight Functions for Quasi-Proportional Auctions. - Xia Hong, Sheng Chen, Yi Guo, Junbin Gao:
l1-norm Penalized Orthogonal Forward Regression. - Kun Huang, Udaya Parampalli, Ming Xian:
Security Concerns in Minimum Storage Cooperative Regenerating Codes. - Yan Zhu, Yuandong Tian, Dimitris N. Metaxas, Piotr Dollár:
Semantic Amodal Segmentation. - Amina Mseddi, Mohammad Ali Salahuddin, Mohamed Faten Zhani, Halima Elbiaze, Roch H. Glitho:
On Optimizing Replica Migration in Distributed Cloud Storage Systems. - Raghavendra Kune, Pramodkumar Konugurthi, Arun Agarwal, Chillarige Raghavendra Rao, Rajkumar Buyya:
The Anatomy of Big Data Computing. - Natarajan Lakshmi Prasad, Yi Hong, Emanuele Viterbo:
Lattice Codes achieve the Capacity of Gaussian Broadcast Channels with Coded Side Information. - Mingzhe Hou, Zongquan Deng, Guangren Duan:
Adaptive Control of Uncertain Pure-feedback Nonlinear Systems. - Sumit Soman, Siddharth Srivastava, Saurabh Srivastava, Nitendra Rajput:
Brain Computer Interfaces for Mobile Apps: State-of-the-art and Future Directions. - Iman Abbasnejad, Sridha Sridharan, Simon Denman, Clinton Fookes, Simon Lucey:
Learning Temporal Alignment Uncertainty for Efficient Event Detection. - Nayyar Abbas Zaidi, Geoffrey I. Webb, Mark James Carman, François Petitjean:
Deep Broad Learning - Big Models for Big Data. - Christophe Denis, Pablo de Oliveira Castro, Eric Petit:
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. - Konstantin Avrachenkov, Vivek S. Borkar, Krishnakant V. Saboo:
Parallel and Distributed Approaches for Graph Based Semi-supervised Learning. - Rangeet Mitra, Vimal Bhatia:
Diffusion-KLMS Algorithm and its Performance Analysis for Non-Linear Distributed Networks. - Zhe Wang, Lingjie Duan, Rui Zhang:
Adaptively Directional Wireless Power Transfer for Large-scale Sensor Networks. - Jinma Guo, Jianmin Li:
CNN Based Hashing for Image Retrieval. - Roula Nassif, Cédric Richard, André Ferrari, Ali H. Sayed:
Proximal Multitask Learning over Networks with Sparsity-inducing Coregularization. - Shudi Yang, Zheng-an Yao:
Complete Weight Enumerators of a Family of Three-Weight Linear Codes. - Vahid Joroughi, Miguel Ángel Vázquez, Ana I. Pérez-Neira:
Generalized Multicast Multibeam Precoding for Satellite Communications. - Mohammed A. Balubaid, Umar Manzoor:
Ontology Based SMS Controller for Smart Phones. - Silas L. Fong, Vincent Y. F. Tan:
A Proof of the Strong Converse Theorem for Gaussian Broadcast Channels via the Gaussian Poincaré Inequality. - Jawwad Ahmed, Andreas Johnsson, Rerngvit Yanggratoke, John Ardelius, Christofer Flinta, Rolf Stadler:
Predicting SLA Violations in Real Time using Online Machine Learning. - Stefano Ferretti, Vittorio Ghini, Fabio Panzieri:
A Survey on Handover Management in Mobility Architectures. - Arnaud Vandaele, Nicolas Gillis, Qi Lei, Kai Zhong, Inderjit S. Dhillon:
Coordinate Descent Methods for Symmetric Nonnegative Matrix Factorization. - Carlo Novara:
Polynomial model inversion control: numerical tests and applications. - Hann Woei Ho, Christophe De Wagter, B. D. W. Remes, Guido C. H. E. de Croon:
Optical-Flow based Self-Supervised Learning of Obstacle Appearance applied to MAV Landing. - Yan Sun, Derrick Wing Kwan Ng, Jun Zhu, Robert Schober:
Multi-Objective Optimization for Robust Power Efficient and Secure Full-Duplex Wireless Communication Systems. - Ruiqi Guo, Sanjiv Kumar, Krzysztof Choromanski, David Simcha:
Quantization based Fast Inner Product Search. - Omar Khadir:
Insecure primitive elements in an ElGamal signature protocol. - Suejb Memeti, Sabri Pllana:
Analyzing large-scale DNA Sequences on Multi-core Architectures. - Israel D. Gebru, Xavier Alameda-Pineda, Florence Forbes, Radu Horaud:
EM Algorithms for Weighted-Data Clustering with Application to Audio-Visual Scene Analysis. - Andrew Knyazev, Alexander Malyshev:
Conjugate Gradient Acceleration of Non-Linear Smoothing Filters. - Sileye O. Ba, Xavier Alameda-Pineda, Alessio Xompero, Radu Horaud:
An On-line Variational Bayesian Model for Multi-Person Tracking from Cluttered Scenes. - Joel Mathias, Rim Kaddah, Ana Busic, Sean P. Meyn:
Smart Fridge / Dumb Grid? Demand Dispatch for the Power Grid of 2020. - Matthew Lai:
Giraffe: Using Deep Reinforcement Learning to Play Chess. - Christoph Ponikwar, Hans-Joachim Hof:
Overview on Security Approaches in Intelligent Transportation Systems. - Valery Vilisov:
Research of the Robot's Learning Effectiveness in the Changing Environment. - Valery Vilisov:
Learning Mobile Robot Based on Adaptive Controlled Markov Chains. - Gabriel Renault:
Invertibility modulo dead-ending no-P-universes. - Shahrouz Khalili, Osvaldo Simeone:
Inter-Layer Per-Mobile Optimization of Cloud Mobile Computing: A Message-Passing Approach. - Parminder Bhatia, Yangfeng Ji, Jacob Eisenstein:
Better Document-level Sentiment Analysis from RST Discourse Parsing. - Seyed Alireza Razavi, Mikko Valkama, Elena Simona Lohan:
K-Means Fingerprint Clustering for Low-Complexity Floor Estimation in Indoor Mobile Localization. - Ivan Bogun, Anelia Angelova, Navdeep Jaitly:
Object Recognition from Short Videos for Robotic Perception. - Santa Agreste, Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara:
Network Structure and Resilience of Mafia Syndicates. - Chengtao Li, Stefanie Jegelka, Suvrit Sra:
Efficient Sampling for k-Determinantal Point Processes. - Dong Tian, Hassan Mansour, Andrew Knyazev, Anthony Vetro:
Chebyshev and Conjugate Gradient Filters for Graph Image Denoising. - Xiang Zhang, Junbo Jake Zhao, Yann LeCun:
Character-level Convolutional Networks for Text Classification. - Yael Mordechai:
Optimization and Reoptimization in Scheduling Problems. - Warwick Masson, George Dimitri Konidaris:
Reinforcement Learning with Parameterized Actions. - Valerii Garnaga:
Using of Neuro-Indexes. - Talha Ahmed Khan, Ahmed Alkhateeb, Robert W. Heath Jr.:
Millimeter Wave Energy Harvesting. - Yuewei Lin, Kareem Ezzeldeen, Youjie Zhou, Xiaochuan Fan, Hongkai Yu, Hui Qian, Song Wang:
Co-interest Person Detection from Multiple Wearable Camera Videos. - Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:
Drone Small Cells in the Clouds: Design, Deployment and Performance Analysis. - Armen Aghajanyan:
Gravitational Clustering. - Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity. - Christopher S. Pilson:
Tightly-Held and Ephemeral Psychometrics: Password and Passphrase Authentication Utilizing User-Supplied Constructs of Self. - Marthe Bonamy, Lukasz Kowalik, Michal Pilipczuk, Arkadiusz Socala:
Linear kernels for outbranching problems in sparse digraphs. - Miguel Rodríguez-Pérez, Manuel Fernández-Veiga, Sergio Herrería-Alonso, Mariem Hmila, Cándido López-García:
Optimum Traffic Allocation in Bundled Energy Efficient Ethernet Links. - Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). - Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Tables in the Presence of Integrity Constraints. - Ekaterina Vylomova, Laura Rimell, Trevor Cohn, Timothy Baldwin:
Take and Took, Gaggle and Goose, Book and Read: Evaluating the Utility of Vector Differences for Lexical Relation Learning. - Mohamed Abuella, Constantine J. Hatziadoniu:
The Economic Dispatch for Integrated Wind Power Systems Using Particle Swarm Optimization. - Dragana Bajovic, Dusan Jakovetic, Natasa Krejic, Natasa Krklec Jerinkic:
Newton-like method with diagonal correction for distributed optimization. - Jing Zhang, Ioannis Ch. Paschalidis:
An Improved Composite Hypothesis Test for Markov Models with Applications in Network Anomaly Detection. - (Withdrawn) Algorithm for estimating swirl angles in multi-intake hydraulic sumps.
- Wenhao Jiang, Feiping Nie, Korris Fu-Lai Chung, Heng Huang:
Algorithm and Theoretical Analysis for Domain Adaptation Feature Learning with Linear Classifiers. - Yuewei Lin, Jing Chen, Yu Cao, Youjie Zhou, Lingfeng Zhang, Yuan Yan Tang, Song Wang:
Unsupervised Cross-Domain Recognition by Identifying Compact Joint Subspaces. - Ramon Ferrer-i-Cancho:
A commentary on "The now-or-never bottleneck: a fundamental constraint on language", by Christiansen and Chater (2015). - Fedor Sandomirskiy:
On repeated zero-sum games with incomplete information and asymptotically bounded values. - Joshua Garland, Ryan G. James, Elizabeth Bradley:
A new method for choosing parameters in delay reconstruction-based forecast strategies. - Alejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart:
An efficient shortest-path routing algorithm in the data centre network {DP}illar. - Alejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart:
Routing Algorithms for Recursively-Defined Data Centre Networks. - Xueru Li, Emil Björnson, Erik G. Larsson, Shidong Zhou, Jing Wang:
A Multi-cell MMSE Detector for Massive MIMO Systems and New Large System Analysis. - Xueru Li, Emil Björnson, Erik G. Larsson, Shidong Zhou, Jing Wang:
A Multi-cell MMSE Precoder for Massive MIMO Systems and New Large System Analysis. - Yihua Zhang, Marina Blanton, Ghada Almashaqbeh:
Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler. - Kishan Wimalawarne, Ryota Tomioka, Masashi Sugiyama:
Theoretical and Experimental Analyses of Tensor-Based Regression and Classification. - Gibran Fuentes Pineda, Iván Vladimir Meza Ruíz:
Sampled Weighted Min-Hashing for Large-Scale Topic Mining. - Ankit Kaushik, Shree Krishna Sharma, Symeon Chatzinotas, Björn E. Ottersten, Friedrich K. Jondral:
Sensing-Throughput Tradeoff for Interweave Cognitive Radio System: A Deployment-Centric Viewpoint. - Petr Hlinený, Gelasio Salazar:
On Hardness of the Joint Crossing Number. - Abul Hasnat, Olivier Alata, Alain Trémeau:
Joint Color-Spatial-Directional clustering and Region Merging (JCSD-RM) for unsupervised RGB-D image segmentation. - Nir Weinberger, Neri Merhav:
Channel Detection in Coded Communication. - Valery Vilisov:
Research: Analysis of Transport Model that Approximates Decision Taker's Preferences. - Anatoly Khina, Yuval Kochman, Ashish Khisti:
The MIMO Wiretap Channel Decomposed. - Arnold Filtser, Robert Krauthgamer:
Sparsification of Two-Variable Valued CSPs. - Yunpeng Pan, Evangelos A. Theodorou:
Sample Efficient Path Integral Control under Uncertainty. - (Withdrawn) Deep Online Convex Optimization by Putting Forecaster to Sleep.
- Giovanni Rossi:
Weighted paths between partitions. - Rastuti, Leon Andretti Abdillah, Eka Puji Agustini:
Sistem Informasi Geografis Potensi Wilayah Kabupaten Banyuasin Berbasis Web. - Preetum Nakkiran, K. V. Rashmi, Kannan Ramchandran:
Optimal Systematic Distributed Storage Codes with Fast Encoding. - Lili Su, Nitin H. Vaidya:
Fault-Tolerant Multi-Agent Optimization: Part III. - Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder:
A Hybrid Approach to Domain-Specific Entity Linking. - Richard Taylor:
$O(n^{2/5})$ Approximation of the Quadratic Knapsack Problem. - Endre Csóka, Attila Deák:
A macro placer algorithm for chip design. - Burak Pak, Johan Verbeke:
Design Studio 2.0: Augmenting Reflective Architectural Design Learning. - Burak Pak, Johan Verbeke:
Geoweb 2.0 for Participatory Urban Design: Affordances and Critical Success Factors. - Burak Pak, Johan Verbeke:
Redesigning the urban design studio: Two learning experiments. - Md. Abdul Latif Sarker, Moon Ho Lee:
Transmit Antenna Correlation in Spatial Multiplexing Systems. - Camila F. Costa, Mario A. Nascimento, José Antônio Fernandes de Macêdo, Yannis Theodoridis, Nikos Pelekis, Javam C. Machado:
Optimal Time-dependent Sequenced Route Queries in Road Networks. - Yuyi Mao, Jun Zhang, Khaled Ben Letaief:
A Lyapunov Optimization Approach for Green Cellular Networks with Hybrid Energy Supplies. - Quan Liu, Wu Guo, Zhen-Hua Ling:
Integrate Document Ranking Information into Confidence Measure Calculation for Spoken Term Detection. - Xianglan Jin, Young-Han Kim:
The Approximate Capacity of the MIMO Relay Channel. - Katrin Kirchhoff, Bing Zhao, Wen Wang:
Exploiting Out-of-Domain Data Sources for Dialectal Arabic Statistical Machine Translation. - Babak Mamandipoor, Dinesh Ramasamy, Upamanyu Madhow:
Newtonized Orthogonal Matching Pursuit: Frequency Estimation over the Continuum. - Hilde Kuehne, Thomas Serre:
Towards a generative approach to activity recognition and segmentation. - Atul Laxman Katole, Krishna Prasad Yellapragada, Amish Kumar Bedi, Sehaj Singh Kalra, Mynepalli Siva Chaitanya:
Hierarchical Deep Learning Architecture For 10K Objects Classification. - Darko Brodic, Alessia Amelio, Zoran N. Milivojevic:
An Approach to the Analysis of the South Slavic Medieval Labels Using Image Texture. - Tim Hälsig, Berthold Lankl:
Array Size Reduction for High-Rank LOS MIMO ULAs. - Varun Kanade, Nikos Leonardos, Frédéric Magniez:
Stable Matching with Evolving Preferences. - Moritz von Looz, Henning Meyerhenke:
Querying Probabilistic Neighborhoods in Spatial Data Sets Efficiently. - Shari Lim Wei, Eleni Vasilaki, Ali Khiat, Iulia Salaoru, Radu Berdan, Themistoklis Prodromakis:
Emulating long-term synaptic dynamics with memristive devices. - Alex Olieman, Jaap Kamps, Rosa Merino Claros:
LocLinkVis: A Geographic Information Retrieval-Based System for Large-Scale Exploratory Search. - Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories. - Argyrios Deligkas, Paul G. Spirakis:
On Equilibrium Computation in Biased Games with Quadratic Penalties. - Wenrui Hu, Dacheng Tao, Wensheng Zhang, Yuan Xie, Yehui Yang:
A New Low-Rank Tensor Model for Video Completion. - Andrea Tagarelli, Roberto Interdonato:
Time-aware Analysis and Ranking of Lurkers in Social Networks. - Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz:
Formalization of simplification for context-free grammars. - Yuanxin Wu, Wei Shi:
On Calibration of Three-axis Magnetometer. - Xianfei Pan, Yuanxin Wu:
Underwater Doppler Navigation with Self-calibration. - Luis Costero, Francisco D. Igual, Katzalin Olcoz, Enrique S. Quintana-Ortí:
Revisiting Conventional Task Schedulers to Exploit Asymmetry in ARM big.LITTLE Architectures for Dense Linear Algebra. - Christopher Hampson, Stanislav Kikot, Agi Kurucz:
The decision problem of modal product logics with a diagonal, and faulty counter machines. - Okal Christopher Otieno:
Managing & Analyzing Large Volumes of Dynamic & Diverse Data. - Asma Ghorbel, Mari Kobayashi, Sheng Yang:
Cache-Enabled Broadcast Packet Erasure Channels with State Feedback. - Hyun Soo Park, Yedong Niu, Jianbo Shi:
Future Localization from an Egocentric Depth Image. - Jacques Lamothe, François Marmier, Matthieu Dupuy, Paul Gaborit, Lionel Dupont:
Scheduling rules to minimize total tardiness in a parallel machine problem with setup and calendar constraints. - Loïc Alain Royer, David L. Richmond, Carsten Rother, Björn Andres, Dagmar Kainmüller:
Convexity Shape Constraints for Image Segmentation. - Ariadna Quattoni, Arnau Ramisa, Pranava Swaroop Madhyastha, Edgar Simo-Serra, Francesc Moreno-Noguer:
Structured Prediction with Output Embeddings for Semantic Image Annotation. - Gary Lawson, Vaibhav Sundriyal, Masha Sosonkina, Yuzhong Shen:
Experimentation Procedure for Offloaded Mini-Apps Executed on Cluster Architectures with Xeon Phi Accelerators. - Alessia Milani, Miguel A. Mosteiro:
A Faster Counting Protocol for Anonymous Dynamic Networks. - Daniel Ritchie, Andreas Stuhlmüller, Noah D. Goodman:
C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching. - Ding Nie, Bertrand M. Hochwald:
Bandwidth Analysis of Multiport Radio-Frequency Systems. - Wei Si, David Starobinski, Moshe Laifenfeld:
Hybrid-BCP: A Robust Load Balancing and Routing Protocol for Intra-Car Wired/Wireless Networks. - Carlos García-Saura:
Self-calibration of a differential wheeled robot using only a gyroscope and a distance sensor. - Yao Yang:
Detecting Potential Instabilities of Numerical Algorithms. - Rafael F. Schaefer, Sergey Loyka:
The Secrecy Capacity of Compound Gaussian MIMO Wiretap Channels. - Salimeh Yasaei Sekeh:
Extended inequalities for weighted Renyi entropy involving generalized Gaussian densities. - Ioannis Exarchos, Evangelos A. Theodorou:
Learning Optimal Control via Forward and Backward Stochastic Differential Equations. - (Withdrawn) The Capacity Region of the One-Sided Gaussian Interference Channel.
- Fredrik Nygård Carlsen:
Personalized Search. - Cheng-Tao Chung, Chun-an Chan, Lin-Shan Lee:
Unsupervised Discovery of Linguistic Structure Including Two-level Acoustic Patterns Using Three Cascaded Stages of Iterative Optimization. - Cheng-Tao Chung, Chun-an Chan, Lin-Shan Lee:
Unsupervised Spoken Term Detection with Spoken Queries by Multi-level Acoustic Patterns with Varying Model Granularity. - Cheng-Tao Chung, Wei-Ning Hsu, Cheng-Yi Lee, Lin-Shan Lee:
Enhancing Automatically Discovered Multi-level Acoustic Patterns Considering Context Consistency With Applications in Spoken Term Detection. - Mitsuo Yoshida, Yuki Arase, Takaaki Tsunoda, Mikio Yamamoto:
Wikipedia Page View Reflects Web Search Trend. - Artur Gorokh, Yury Korolev, Tuomo Valkonen:
Diffusion tensor imaging with deterministic error bounds. - Anton A. Malakhov:
Per-bucket concurrent rehashing algorithms. - Fangfang Li, Yanchang Zhao, Klaus Felsche, Guandong Xu, Longbing Cao:
Coupling Analysis Between Twitter and Call Centre. - Reza Bosagh Zadeh, Xiangrui Meng, Burak Yavuz, Aaron Staple, Li Pu, Shivaram Venkataraman, Evan Randall Sparks, Alexander Ulanov, Matei Zaharia:
linalg: Matrix Computations in Apache Spark. - Yuki Nishimura:
Stabilization by Unbounded-Variation Noises. - Yi-Hsuan Kung, Taeho Lee, Po-Ning Tseng, Hsu-Chun Hsiao, Tiffany Hyun-Jin Kim, Soo Bum Lee, Yue-Hsun Lin, Adrian Perrig:
A Practical System for Guaranteed Access in the Presence of DDoS Attacks and Flash Crowds. - Carsten Kolassa, Holger Rendel, Bernhard Rumpe:
Evaluation of Variability Concepts for Simulink in the Automotive Domain. - Alexander Roth, Bernhard Rumpe:
Towards Product Lining Model-Driven Development Code Generators. - Pedram Mir Seyed Nazari, Bernhard Rumpe:
Using Software Categories for the Development of Generative Software. - Phan-Minh Nguyen, Marc André Armand:
On Capacity Formulation with Stationary Inputs and Application to a Bit-Patterned Media Recording Channel Model. - Octavian-Eugen Ganea, Marina Horlescu, Aurélien Lucchi, Carsten Eickhoff, Thomas Hofmann:
Probabilistic Bag-Of-Hyperlinks Model for Entity Linking. - Weiwei Wan, Kensuke Harada:
Developing and Comparing Single-arm and Dual-arm Regrasp. - Xinxin Mei, Xiaowen Chu:
Dissecting GPU Memory Hierarchy through Microbenchmarking. - Shenjian Zhao, Zhihua Zhang:
SEP-QN: Scalable and Extensible Proximal Quasi-Newton Method for Dirty Statistical Models. - Lluís Gómez i Bigorda, Dimosthenis Karatzas:
Object Proposals for Text Extraction in the Wild. - Xianbiao Qi, Guoying Zhao, Jie Chen, Matti Pietikäinen:
HEp-2 Cell Classification: The Role of Gaussian Scale Space Theory as A Pre-processing Approach. - Orestis Georgiou, Shanshan Wang, Mohammud Z. Bocus, Carl P. Dettmann, Justin P. Coon:
Directional antennas improve the link-connectivity of interference limited ad hoc networks. - Dominik Peters:
$Σ_2^p$-complete Problems on Hedonic Games. - Yongpeng Wu, Chao-Kai Wen, Derrick Wing Kwan Ng, Robert Schober, Angel Lozano:
Low-Complexity MIMO Precoding with Discrete Signals and Statistical CSI. - Itai Arieli, Yakov Babichenko:
Random Extensive Form Games and its Application to Bargaining. - Erich Zöchmann, Stefan Schwarz, Stefan Pratschner, Lukas Nagel, Martin Lerch, Markus Rupp:
Exploring the Physical Layer Frontiers of Cellular Uplink - The Vienna LTE-A Simulator. - Marco Compagnoni, Antonio Canclini, Paolo Bestagini, Fabio Antonacci, Augusto Sarti, Stefano Tubaro:
TDOA denoising for acoustic source localization. - Arthur Kramer, Anand Subramanian:
A unified heuristic and an annotated bibliography for a large class of earliness-tardiness scheduling problems. - Pooyan Abouzar, David G. Michelson, Maziyar Hamdi:
RSSI-Based Distributed Self-Localization for Wireless Sensor Networks used in Precision Agriculture. - Vipul Gupta, Abhay Kumar Sah, Ajit Kumar Chaturvedi:
Approximate Matrix Inversion Based Low Complexity Sphere Decoding in MIMO Systems. - Mortaza Doulaty, Oscar Saz, Thomas Hain:
Data-selective Transfer Learning for Multi-Domain Speech Recognition. - Mortaza Doulaty, Oscar Saz, Thomas Hain:
Unsupervised Domain Discovery using Latent Dirichlet Allocation for Acoustic Modelling in Speech Recognition. - Yanping Huang:
Learning Efficient Representations for Reinforcement Learning. - Carlos García-Saura:
Central Pattern Generators for the control of robotic systems. - Antonio Trias:
Fundamentals of the Holomorphic Embedding Load-Flow Method. - Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty. - Jin Tan, Yanting Ma, Hoover F. Rueda, Dror Baron, Gonzalo R. Arce:
Approximate Message Passing in Coded Aperture Snapshot Spectral Imaging. - Rishabh Soni, K. James Mathai:
Improved Twitter Sentiment Prediction through Cluster-then-Predict Model. - Nicolas Laurent, Kim Mens:
Parsing Expression Grammars Made Practical. - Subarna Tripathi, Serge J. Belongie, Youngbae Hwang, Truong Q. Nguyen:
Semantic Video Segmentation : Exploring Inference Efficiency. - Adams Wei Yu, Wanli Ma, Yaoliang Yu, Jaime G. Carbonell, Suvrit Sra:
Efficient Structured Matrix Rank Minimization. - Yeounoh Chung, Chang Yong Park, Noo-Ri Kim, Hana Cho, Tae Bok Yoon, Hunjoo Lee, Jee-Hyong Lee:
A Behavior Analysis-Based Game Bot Detection Approach Considering Various Play Styles. - Mihai Oltean, Dumitru Dumitrescu:
Evolving TSP heuristics using Multi Expression Programming. - Muntasir Raihan Rahman, Lewis Tseng, Son Nguyen, Indranil Gupta, Nitin H. Vaidya:
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores. - Akshay Gadde, Andrew Knyazev, Dong Tian, Hassan Mansour:
Guided Signal Reconstruction with Application to Image Magnification. - Andrew Knyazev, Alexander Malyshev:
Accelerated graph-based spectral polynomial filters. - Jianwei Luo, Jianguo Li, Jun Wang, Zhiguo Jiang, Yurong Chen:
Deep Attributes from Context-Aware Regional Neural Codes. - Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version). - Pierre Letouzey:
Hofstadter's problem for curious readers. - Ahmad Mahmoody, Evgenios M. Kornaropoulos, Eli Upfal:
Optimizing Static and Adaptive Probing Schedules for Rapid Event Detection. - Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version). - Andrew Knyazev:
Edge-enhancing Filters with Negative Weights. - Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). - Justice Amoh, Kofi Odame:
DeepCough: A Deep Convolutional Neural Network in A Wearable Cough Detection System. - Charalampos Mavroforakis, Michael Mathioudakis, Aristides Gionis:
Absorbing random-walk centrality: Theory and algorithms. - Tiejun Lv, Hui Gao, Xiaopeng Li, Shaoshi Yang, Lajos Hanzo:
Space-Time Hierarchical-Graph Based Cooperative Localization in Wireless Sensor Networks. - Sander Verdonschot:
Flips and Spanners. - Chenglin Fan, Binhai Zhu:
Complexity and Algorithms for the Discrete Fréchet Distance Upper Bound with Imprecise Input. - Evan Saulpaugh:
XCRUSH: A Family of ARX Block Ciphers. - (Withdrawn) A Dual Fast and Slow Feature Interaction in Biologically Inspired Visual Recognition of Human Action.
- Yu Wang, Jianbo Yuan, Jiebo Luo:
To Love or to Loathe: How is the World Reacting to China's Rise? - Tsung-Hui Chang, Mingyi Hong, Wei-Cheng Liao, Xiangfeng Wang:
Asynchronous Distributed ADMM for Large-Scale Optimization- Part I: Algorithm and Convergence Analysis. - Carlos Alegría-Galicia, David Orden, Carlos Seara, Jorge Urrutia:
On the $O_β$-hull of a planar point set. - Tsung-Hui Chang, Wei-Cheng Liao, Mingyi Hong, Xiangfeng Wang:
Asynchronous Distributed ADMM for Large-Scale Optimization- Part II: Linear Convergence Analysis and Numerical Performance. - Shan Huang, Hong Sun, Haijian Zhang, Lei Yu:
ESPRIT-based frequency estimation of multiple sinusoids with double-channel sub-Nyquist sampling. - Dharmendra Dixit, P. R. Sahu:
Performance of QAM Schemes with Dual-Hop DF Relaying Systems over Mixed $η$-$μ$ and $κ$-$μ$ Fading Channels. - Yu-Chih Huang:
Lattice Index Codes from Algebraic Number Fields. - Carlos Alegría-Galicia, Tzolkin Garduño, Carlos Seara, Areli Rosas-Navarrete, Jorge Urrutia:
Rectilinear convex hull with minimum area. - Shan Huang, Hong Sun, Lei Yu, Haijian Zhang:
A Class of Deterministic Sensing Matrices and Their Application in Harmonic Detection. - Satish Bhalshankar, Avinash K. Gulve:
Audio Steganography: LSB Technique Using a Pyramid Structure and Range of Bytes. - Hei Victor Cheng, Emil Björnson, Erik G. Larsson:
Uplink Pilot and Data Power Control for Single Cell Massive MIMO Systems with MRC. - Ziwei Liu, Xiaoxiao Li, Ping Luo, Chen Change Loy, Xiaoou Tang:
Semantic Image Segmentation via Deep Parsing Network. - Xiaodan Liang, Yunchao Wei, Xiaohui Shen, Jianchao Yang, Liang Lin, Shuicheng Yan:
Proposal-free Network for Instance-level Object Segmentation. - Álvaro García-Recuero:
On the energy efficiency of client-centric data consistency management under random read/write access to Big Data with Apache HBase. - Chengdi Xiang, Ian R. Petersen, Daoyi Dong:
Coherent Robust H-Infinity Control of Uncertain Linear Quantum Stochastic Systems. - Pan Ji, Mathieu Salzmann, Hongdong Li:
Shape Interaction Matrix Revisited and Robustified: Efficient Subspace Clustering with Corrupted and Incomplete Data. - Christian Berger, Delf Block, Sönke Heeren, Christian Hons, Stefan Kühnel, André Leschke, Dimitri Plotnikov, Bernhard Rumpe:
Simulations on Consumer Tests: Systematic Evaluation of Tolerance Ranges by Model-Based Generation of Simulation Scenarios. - Xiang Chen, Wei Chen:
Delay-Optimal Buffer-Aware Probabilistic Scheduling with Adaptive Transmission. - Chun-Wei Li, Kuo-Ming Chen, Po-Chun Fu, Wei-Ning Chen, Che Lin:
Energy-Efficient Deterministic Adaptive Beamforming Algorithms for Distributed Sensor/Relay Networks. - Azam Khalili, Amir Rastegarnia:
Performance Analysis of Incremental LMS over Flat Fading Channels. - Atreyee Kundu, Debasish Chatterjee:
A graph theoretic approach to input-to-state stability of switched systems. - Mihai Oltean, Oana Muntean:
Solving NP-complete problems with delayed signals: an overview of current research directions. - Tom C. van der Zanden:
Parameterized Complexity of Graph Constraint Logic. - Tom Everitt, Marcus Hutter:
A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem. - Yansha Deng, Lifeng Wang, Kai-Kit Wong, Arumugam Nallanathan, Maged Elkashlan:
Safeguarding Massive MIMO Aided HetNets Using Physical Layer Security. - Rangeet Mitra, Vimal Bhatia:
Finite Dictionary Variants of the Diffusion KLMS Algorithm. - Jaspreet Singh, Zeon Trevor Fernando, Saniya Chawla:
LearnWeb-OER: Improving Accessibility of Open Educational Resources. - Simon R. Blackburn:
Maximum likelihood decoding for multilevel channels with gain and offset mismatch. - Stanislav Aranovskiy, Alexey A. Bobtsov, Romeo Ortega, Anton A. Pyrkin:
Performance Enhancement of Parameter Estimators via Dynamic Regressor Extension and Mixing. - Lei Wang, Yueming Cai, Yulong Zou, Weiwei Yang, Lajos Hanzo:
Joint Relay and Jammer Selection Improves the Physical Layer Security in the Face of CSI Feedback Delays. - Juan M. Huerta, Clancy Childs:
Accelerating News Integration in Automatic Knowledge Extraction Ecosystems: an API-first Outlook. - Johannes Köster:
Rust-Bio - a fast and safe bioinformatics library. - Cosmin Stamate, George D. Magoulas, Michael S. C. Thomas:
Transfer learning approach for financial applications. - Gang Fu, Evan Bolton, Núria Queralt Rosinach, Laura Inés Furlong, Vinh Nguyen, Amit P. Sheth, Olivier Bodenreider, Michel Dumontier:
Exposing Provenance Metadata Using Different RDF Models. - Ralph Matthes, Matteo Mio:
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. EPTCS 191, 2015 [contents] - Steve Kerrison, Kerstin Eder:
Modeling and visualizing networked multi-core embedded software energy consumption. - Andrew V. Knyazev, Peizhen Zhu, Stefano Di Cairano:
Explicit model predictive control accuracy analysis. - Loukas Georgiadis, Giuseppe F. Italiano, Charis Papadopoulos, Nikos Parotsidis:
Approximating the Smallest Spanning Subgraph for 2-Edge-Connectivity in Directed Graphs. - Giulia Fanti, Peter Kairouz, Sewoong Oh, Kannan Ramchandran, Pramod Viswanath:
Hiding the Rumor Source. - Harish K., Varadhan Ramamoorthy, Anurag R. M., Harmanpreet S.:
Low Cost Swarm Based Diligent Cargo Transit System. - Yingbo Zhao, Jorge Cortés:
Gramian-based reachability metrics for bilinear networks. - Alexandr Andoni, Piotr Indyk, Thijs Laarhoven, Ilya P. Razenshteyn, Ludwig Schmidt:
Practical and Optimal LSH for Angular Distance. - Jonathan P. Bowen:
Provably Correct Systems: Community, connections, and citations. - Ammar Gharaibeh, Abdallah Khreishah, Bo Ji, Moussa Ayyash:
A provably efficient online collaborative caching algorithm for multicell-coordinated systems. - (Withdrawn) The Capacity of Mixed and One-Sided Gaussian Interference Channels.
- Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright:
Dynamics at the Boundary of Game Theory and Distributed Computing. - Elena Boshkovska, Derrick Wing Kwan Ng, Nikola Zlatanov, Robert Schober:
Practical Non-linear Energy Harvesting Model and Resource Allocation for SWIPT Systems. - Andreas Stuhlmüller, Robert X. D. Hawkins, N. Siddharth, Noah D. Goodman:
Coarse-to-Fine Sequential Monte Carlo for Probabilistic Programs. - Piotr Koniusz, Anoop Cherian:
Dictionary Learning and Sparse Coding for Third-order Super-symmetric Tensors. - Timothy P. Lillicrap, Jonathan J. Hunt, Alexander Pritzel, Nicolas Heess, Tom Erez, Yuval Tassa, David Silver, Daan Wierstra:
Continuous control with deep reinforcement learning. - Jared D. Lichtman:
On the Multidimensional Stable Marriage Problem. - Steve Huntsman, Arman Rezaee:
De Bruijn entropy and string similarity. - Yangbo Song:
Social Learning with Network Externalities. - Andika, Leon Andretti Abdillah, Muhammad Ariandi:
Sistem Informasi Geografis Ruang Terbuka Hijau Kawasan Perkotaan (RTHKP) Palembang. - Gina C. Adam, Brian D. Hoskins, Mirko Prezioso, Dmitri B. Strukov:
Three-Dimensional Stateful Material Implication Logic. - Wei Dai, Gene Cheung, Ngai-Man Cheung, Antonio Ortega, Oscar C. Au:
Merge Frame Design for Video Stream Switching using Piecewise Constant Functions. - Chandan Pradhan, Garimella Rama Murthy:
Full-Duplex Transceiver for Future Cellular Network: A Smart Antenna Approach. - Byeongkeun Kang, Subarna Tripathi, Truong Q. Nguyen:
Real-time Sign Language Fingerspelling Recognition using Convolutional Neural Networks from Depth map. - Dawei Zhao, Lianhai Wang, Zhen Wang:
The robustness of multiplex networks under layer node-based attack. - David Balduzzi, Muhammad Ghifary:
Compatible Value Gradients for Reinforcement Learning of Continuous Deep Policies. - Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. 18-32 - Naohi Eguchi:
Formalizing Termination Proofs under Polynomial Quasi-interpretations. 33-47 - Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. 48-59 - Dilian Gurov, Minko Markov:
Self-Correlation and Maximum Independence in Finite Relations. 60-74 - Helle Hvid Hansen, Clemens Kupke:
Weak Completeness of Coalgebraic Dynamic Logics. 90-104 - Martin Lange:
The Arity Hierarchy in the Polyadic μ-Calculus. 105-116 - Karoliina Lehtinen:
Disjunctive form and the modal μ alternation hierarchy. 117-131 - Étienne Lozes:
A Type-Directed Negation Elimination. 132-142 - Paolo Torrini, Tom Schrijvers:
Reasoning about modular datatypes with Mendler induction. 143-157 - Joy Kim, Andrés Monroy-Hernández:
Storia: Summarizing Social Media Content based on Narrative Theory using Crowdsourcing. - Xiujun Li, Lihong Li, Jianfeng Gao, Xiaodong He, Jianshu Chen, Li Deng, Ji He:
Recurrent Reinforcement Learning: A Hybrid Approach. - Leendert W. M. Wienhofen, Bjørn Magnus Mathisen, Dumitru Roman:
Empirical Big Data Research: A Systematic Literature Mapping. - Marek Karpinski, Roland Markó:
Explicit Bounds for Nondeterministically Testable Hypergraph Parameters. - Tomoyuki Yamakami:
The World of Combinatorial Fuzzy Problems and the Efficiency of Fuzzy Approximation Algorithms. - Jens Dede, Koojana Kuladinithi, Anna Förster, Okko Nannen, Sebastian Lehnhoff:
OMNeT++ and mosaik: Enabling Simulation of Smart Grid Communications. - Asanga Udugama, Koojana Kuladinithi, Anna Förster, Carmelita Görg:
Federating OMNeT++ Simulations with Testbed Environments. - Alexandre Mouradian:
Modeling Dense Urban Networks with 3D Stochastic Geometry. - Assaf Ben-Yishai, Ofer Shayevitz:
Interactive Schemes for the AWGN Channel with Noisy Feedback. - Ryan D. L. Engle, Douglas D. Hodson, Michael R. Grimaila, Logan O. Mailloux, Colin V. McLaughlin, Gerald Baumgartner:
Modeling Quantum Optical Components, Pulses and Fiber Channels Using OMNeT++. - Michael Kirsche, Roman Kremmer:
uIP Support for the Network Simulation Cradle. - Atheer Al Rubaye, Jochen Seitz:
Dynamic Index NAT as a Mobility Solution in OMNeT++. - Artur Austregesilo Scussel, Georg Panholzer, Christof Brandauer, Ferdinand von Tüllenburg:
Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode. - Eric Umuhoza:
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps. - Felix Weinrank, Michael Tüxen, Erwin P. Rathgeb:
Integration of RTMFP in the OMNeT++ Simulation Environment. - Johannes Hofmann, Jan Eitzinger, Dietmar Fey:
Execution-Cache-Memory Performance Model: Introduction and Validation. - Irene Rüngeler, Michael Tüxen:
Integration of the Packetdrill Testing Tool in INET. - Andreas Rain, Daniel Kaiser, Marcel Waldvogel:
Realistic, Extensible DNS and mDNS Models for INET/OMNeT++. - Ilkka Kivimäki, Bertrand Lebichot, Jari Saramäki, Marco Saerens:
Two betweenness centrality measures based on Randomized Shortest Paths. - Yunchao Wei, Xiaodan Liang, Yunpeng Chen, Xiaohui Shen, Ming-Ming Cheng, Yao Zhao, Shuicheng Yan:
STC: A Simple to Complex Framework for Weakly-supervised Semantic Segmentation. - Jirí Dokulil, Siegfried Benkner:
OCR extensions - local identifiers, labeled GUIDs, file IO, and data block partitioning. - Julian Dibbelt, Ben Strasser, Dorothea Wagner:
Fast Exact Shortest Path and Distance Queries on Road Networks with Parametrized Costs. - Martin Lévesque, David Tipper:
ptp++: A Precision Time Protocol Simulation Model for OMNeT++ / INET. - Jeffery Weston, Eric N. Koski:
High Frequency Radio Network Simulation Using OMNeT++. - Andrew J. R. Simpson:
Use it or Lose it: Selective Memory and Forgetting in a Perpetual Learning Machine. - Yu-Zhong Chen, Lezhi Wang, Wen-Xu Wang, Ying-Cheng Lai:
The paradox of controlling complex networks: control inputs versus energy requirement. - Gurpreet Singh Bhamra, A. K. Verma, R. B. Patel:
Agent enabled Mining of Distributed Protein Data Banks. - Abhishek Kumar, Suresh Chandra Gupta:
A new Initial Centroid finding Method based on Dissimilarity Tree for K-means Algorithm. - Vinay Chakravarthi Gogineni:
Adaptive Convex Combination of APA and ZA-APA algorithms for Sparse System Identification. - Xiaofei Li, Laurent Girin, Radu Horaud, Sharon Gannot:
Binaural Sound Source Localization based on Direct-Path Relative Transfer Function. - AbdelRahim A. Elmadany, Sherif M. Abdou, Mervat Gheith:
Towards Understanding Egyptian Arabic Dialogues. - Deeparnab Chakrabarty, Alina Ene, Ravishankar Krishnaswamy, Debmalya Panigrahi:
Online Buy-at-Bulk Network Design. - Hosny A. Abbas, Samir I. Shaheen, Mohammed H. Amin:
Simple, Flexible, and Interoperable SCADA System Based on Agent Technology. - Sudip Mandal, Goutam Saha, Rajat Kumar Pal:
Recurrent Neural Network Based Modeling of Gene Regulatory Network Using Bat Algorithm. - Yogesh A. Girdhar, Gregory Dudek:
Gibbs Sampling Strategies for Semantic Perception of Streaming Video Data. - Mohamed Askali, Saïd Nouh, Ahmed Azouaoui, Mostafa Belkasmi:
Discovery of good double and triple circulant codes using multiple impulse method. - Arindam Chaudhuri:
An Epsilon Hierarchical Fuzzy Twin Support Vector Regression. - George Trigeorgis, Konstantinos Bousmalis, Stefanos Zafeiriou, Björn W. Schuller:
A deep matrix factorization method for learning attribute representations. - Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu:
A Survey on Operational State Complexity. - Arash Saboori, S. Abolfazl Hosseini:
A New Method For Digital Watermarking Based on Combination of DCT and PCA. - Anna Förster, Cyriel Minkenberg, Germán Rodríguez Herrera, Michael Kirsche:
Proceedings of the 2nd OMNeT++ Community Summit, IBM Research - Zurich, Switzerland, September 3-4, 2015. - Panagiotis-Agis Oikonomou-Filandras, Kai-Kit Wong, Yangyang Zhang:
Grid-Based Belief Propagation for Cooperative Localization. - Ramon Ferrer-i-Cancho, Carlos Gómez-Rodríguez:
Liberating language research from dogmas of the 20th century. - Jianchao Tan, Jyh-Ming Lien, Yotam I. Gingold:
Decomposing Digital Paintings into Layers via RGB-space Geometry. - Robbert Krebbers:
A Formal C Memory Model for Separation Logic. - Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Data-driven and Model-based Verification: a Bayesian Identification Approach. - Xiwei Liu, Tianping Chen:
Fixed-time cluster synchronization for complex networks via pinning control. - Antonio Cicone, Alessandro D'Innocenzo, Nicola Guglielmi, Linda Laglia:
A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays. - Yu Liu, Osvaldo Simeone, Alexander M. Haimovich, Wei Su:
Modulation Classification for MIMO-OFDM Signals via Approximate Bayesian Inference. - Samuel Zapolsky, Evan M. Drumwright:
Inverse Dynamics with Rigid Contact and Friction. - Malek Messai, Giulio Colavolpe, Karine Amis, Frédéric Guilloud:
Binary Continuous Phase Modulations Robust to a Modulation Index Mismatch. - Fabian Tschopp:
Efficient Convolutional Neural Networks for Pixelwise Classification on Heterogeneous Hardware Systems. - Mohammad Hassan Hajiesmaili, Mohammad Sadegh Talebi, Ahmad Khonsari:
Utility-Optimal Dynamic Rate Allocation under Average End-to-End Delay Requirements. - Dinuka M. W. Abeywardena, Sarath Kodagoda, Gamini Dissanayake, S. Rohan Munasinghe:
Improved State Estimation in Quadrotor MAVs: A Novel Drift-Free Velocity Estimator. - Jérôme Lang, Piotr Skowron:
Multi-Attribute Proportional Representation. - Stellan Ohlsson, Robert H. Sloan, György Turán, Aaron Urasky:
Measuring an Artificial Intelligence System's Performance on a Verbal IQ Test For Young Children. - Yuxin Deng, Wenjie Du, Daniel Gebler:
Modal Characterisations of Behavioural Pseudometrics. - Mohammad Reza Khanzadi, Rajet Krishnan, Thomas Eriksson:
Receiver Algorithm based on Differential Signaling for SIMO Phase Noise Channels with Common and Separate Oscillator Configurations. - Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets. - George Karpenkov, David Monniaux, Philipp Wendler:
Program Analysis with Local Policy Iteration. - Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Observer-based correct-by-design controller synthesis. - Franz J. Brandenburg:
On 4-Map Graphs and 1-Planar Graphs and their Recognition Problem. - Luisa Verdoliva, Davide Cozzolino, Giovanni Poggi:
A reliable order-statistics-based approximate nearest neighbor search algorithm. - Abdeslam El Harraj, Naoufal Raissouni:
OCR accuracy improvement on document images through a novel pre-processing approach. - Minhyung Cho, Chandra Shekhar Dhir, Jaehyung Lee:
Hessian-Free Optimization For Learning Deep Multidimensional Recurrent Neural Networks. - Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub:
Relational reasoning via probabilistic coupling. - Todor Ivanov, Sead Izberovic:
Evaluating Hadoop Clusters with TPCx-HS. - Judith Eckle-Kohler:
Inferring and evaluating semantic classes of verbs signaling modality. - Maël Canu, Marcin Detyniecki, Marie-Jeanne Lesot, Adrien Revault d'Allonnes:
Fast community structure local uncovering by independent vertex-centred process. - Seong Joon Oh, Rodrigo Benenson, Mario Fritz, Bernt Schiele:
Person Recognition in Personal Photo Collections. - Marco Winkler:
NoSPaM Manual - A Tool for Node-Specific Triad Pattern Mining. - Thibault Gauthier, Cezary Kaliszyk:
Sharing HOL4 and HOL Light proof knowledge. - Ravi Kumar Yadav Dega, Gunes Ercal:
A comparative analysis of progressive multiple sequence alignment approaches using UPGMA and neighbor joining based guide trees. - Manuel Egele, Gianluca Stringhini, Christopher Kruegel, Giovanni Vigna:
Towards Detecting Compromised Accounts on Social Networks. - Thibault Gauthier, Cezary Kaliszyk:
Premise Selection and External Provers for HOL4. - Shervin Minaee, Yao Wang:
Fingerprint Recognition Using Translation Invariant Scattering Network. - Leslie Ann Goldberg, Mark Jerrum:
The complexity of Boolean #MaximalCSP. - Soumen Maity, Yasmeen Akhtar, Reshma C. Chandrasekharan:
Improved Strength Four Covering Arrays with Three Symbols. - Georg Möstl, Andreas Springer:
MiXiM, PAWiS, and STEAM-Sim Integration - Combining Channel Models, Energy Awareness, and Real-life Application Code. - Vladimír Veselý, Marcel Marek, Tomas Hykel, Ondrej Rysavý:
Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator. - Jean Lebreton, Nour Murad:
Implementation of a Wake-up Radio Cross-Layer Protocol in OMNeT++ / MiXiM. - Hans Fangohr, Neil S. O'Brien, Anil Prabhakar, Arti Kashyap:
Teaching Python programming with automatic assessment and feedback provision. - Martin Uecker, Michael Lustig:
Estimating Absolute-Phase Maps Using ESPIRiT and Virtual Conjugate Coils. - Sebastian Böhm, Michael Kirsche:
Looking into Hardware-in-the-Loop Coupling of OMNeT++ and RoSeNet. - Qian Liu, Robert D. Russell, Fabrice Mizero, Malathi Veeraraghavan, John M. Dennis, Benjamin F. Jamroz:
Implementation of PFC and RCM for RoCEv2 Simulation in OMNeT++. - Raphael Riebl, Christian Facchi:
Regain Control of Growing Dependencies in OMNeT++ Simulations. - Antonio Virdis:
Optimization in the Loop: Implementing and Testing Scheduling Algorithms with SimuLTE. - Avi Pfeffer, Brian E. Ruttenberg, Amy Sliva, Michael Howard, Glenn Takata:
Lazy Factored Inference for Functional Probabilistic Programming. - Zhongliang Zhao, Denis do Rosário, Torsten Braun, Eduardo Cerqueira:
A Tutorial of the Mobile Multimedia Wireless Sensor Network OMNeT++ Framework. - Torsten Braun, Philipp Hurni, Vitor Bernardo, Marília Curado:
Invited Abstract: Issues with State-based Energy Consumption Modelling. - Mohammadhassan Safavi, Saeed Bastani:
Invited Abstract: A Simulation Package for Energy Consumption of Content Delivery Networks (CDNs). - Hosam Abdo, Darko Dimitrov, Ivan Gutman:
On extremal trees with respect to the $F$-index. - Ananda Kiran, Navdeep Prashar:
FPGA Implementation of High Speed Baugh-Wooley Multiplier using Decomposition Logic. - Fuan Pu, Jian Luo, Guiming Luo:
Some Supplementaries to The Counting Semantics for Abstract Argumentation. - Peter Dugan, John Zollweg, Marian Popescu, Denise Risch, Hervé Glotin, Yann LeCun, Christopher W. Clark:
High Performance Computer Acoustic Data Accelerator: A New System for Exploring Marine Mammal Acoustics for Big Data Applications. - Satyen Kale, Chansoo Lee, Dávid Pál:
Hardness of Online Sleeping Combinatorial Optimization Problems. - Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat - A Learning framework for Satellite Imagery. - Xiang Sun, Nirwan Ansari, Qiang Fan:
Green Energy Aware Avatar Migration Strategy in Green Cloudlet Networks. - Kathryn D. Huff, Matthew J. Gidden, Robert W. Carlsen, Robert R. Flanagan, Meghan B. McGarry, Arrielle C. Opotowsky, Erich A. Schneider, Anthony M. Scopatz, Paul P. H. Wilson:
Fundamental Concepts in the Cyclus Fuel Cycle Simulator Framework. - Ella Rabinovich, Shuly Wintner, Ofek Luis Lewinsohn:
The Haifa Corpus of Translationese. - Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks:
Morpheus: Safe and Flexible Dynamic Updates for SDNs. - Ziv Goldfeld, Paul W. Cuff, Haim H. Permuter:
Semantic-Security Capacity for Wiretap Channels of Type II. - Dominik Dorsch, Holger Rauhut:
Refined analysis of sparse MIMO radar. - Quoc-Cuong To, Benjamin Nguyen, Philippe Pucheral:
Key Exchange Protocol in the Trusted Data Servers Context. - Hussain Wasly, Ali AlSoufi:
Impact of e-Government Services on Private Sector: An Empirical Assessment Model. - Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc Van Gool:
Oracle MCG: A first peek into COCO Detection Challenges. - Sasi Prabhakaran Viswanathan, Amit Kumar Sanyal, Maziar Izadi:
Mechatronics Architecture of Smartphone-Based Spacecraft ADCS using VSCMG Actuators. - Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems. - Huangxin Wang, Jean X. Zhang, Bo Yang, Fei Li:
Randomization Improving Online Time-Sensitive Revenue Maximization for Green Data Centers. - Peter Kovesi:
Good Colour Maps: How to Design Them. - Yuting Wang, Gopalan Nadathur:
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach. - Pradeep Kr. Banerjee, Virgil Griffith:
Synergy, Redundancy and Common Information. - Ugur Küçük, A. C. Cem Say, Abuzer Yakaryilmaz:
Inkdots as advice to small-space machines. - Mohsen Ghasempour, Jim D. Garside, Aamer Jaleel, Mikel Luján:
DReAM: Dynamic Re-arrangement of Address Mapping to Improve the Performance of DRAMs. - Xiao-Yang Liu, Xiaodong Wang, Linghe Kong, Meikang Qiu, Min-You Wu:
An LS-Decomposition Approach for Robust Data Recovery in Wireless Sensor Networks. - Roland Roller, Eneko Agirre, Aitor Soroa, Mark Stevenson:
Improving distant supervision using inference learning. - Mohsen Ghasempour, Aamer Jaleel, Jim D. Garside, Mikel Luján:
HAPPY: Hybrid Address-based Page Policy in DRAMs. - Petr A. Golovach, Pinar Heggernes, Mamadou Moustapha Kanté, Dieter Kratsch, Sigve Hortemo Sæther, Yngve Villanger:
Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width. - Gabriel Prat-Masramon, Lluís A. Belanche Muñoz:
Toward better feature weighting algorithms: a focus on Relief. - Julian Hammer, Georg Hager, Jan Eitzinger, Gerhard Wellein:
Automatic Loop Kernel Analysis and Performance Modeling With Kerncraft. - (Withdrawn) Axiomatization of Inconsistency Indicators for Pairwise Comparisons Matrices Revisited.
- Ted Hurley:
Solving underdetermined systems with error-correcting codes. - Bardia Yousefi, Chu Kiong Loo:
Bio-Inspired Human Action Recognition using Hybrid Max-Product Neuro-Fuzzy Classifier and Quantum-Behaved PSO. - Bing Zhu, Hui Li, Kenneth W. Shum, Shuo-Yen Robert Li:
HFR Code: A Flexible Replication Scheme for Cloud Storage Systems. - Le Xuan Quang, Le Huy Hoang, Vu Dinh Chuan, Nguyen Hoai Nam, Nguyen Thi Tu Anh, Vu Thi Hong Nhung:
Integrated Science, Technology, Engineering and Mathematics (STEM) Education through Active Experience of Designing Technical Toys in Vietnamese Schools. - Faouzi Bellili, Achref Methenni, Souheib Ben Amor, Sofiène Affes, Alex Stephenne:
Time Synchronization of Turbo-Coded Square-QAM-Modulated Transmissions: Code-Aided ML Estimator and Closed-Form Cramér-Rao Lower Bounds. - Stéphane Devismes, Colette Johnen:
Silent Self-stabilizing BFS Tree Algorithms Revised. - Mircea Parpalea, Nicoleta Avesalon, Eleonor Ciurea:
Minimum parametric flow over time. - Kota Naga Srinivasarao Batta, Indrajit Chakrabarti:
Hardware Implementation of Compressed Sensing based Low Complex Video Encoder. - Mohammad Ashraful Anam, Yiannis Andreopoulos:
Failure Mitigation in Linear, Sesquilinear and Bijective Operations On Integer Data Streams Via Numerical Entanglement. - Hongkeun Kim, Claudio De Persis:
Adaptation and Disturbance Rejection for Output Synchronization of Incrementally Output-feedback Passive Systems. - Ömür Arslan, Daniel E. Koditschek:
Voronoi-Based Coverage Control of Heterogeneous Disk-Shaped Robots. - Derrick Newton:
Attack on a classical analogue of the Dunjko, Wallden, Kent and Andersson quantum digital signature protocol. - Alhabib Abbas, Nikos Deligiannis, Yiannis Andreopoulos:
Vectors of Locally Aggregated Centers for Compact Video Representation. - Taisuke Izumi:
Improving Lower Bound on Opaque Set for Equilateral Triangle. - Sergey Slavnov:
On Banach spaces of sequences and free linear logic exponential modality. - Raymond W. M. Ng, Mortaza Doulaty, Rama Doddipatla, Wilker Aziz, Kashif Shah, Oscar Saz, Madina Hasan, Ghada AlHarbi, Lucia Specia, Thomas Hain:
The USFD Spoken Language Translation System for IWSLT 2014. - Zhen Zuo, Bing Shuai, Gang Wang, Xiao Liu, Xingxing Wang, Bing Wang:
Learning Contextual Dependencies with Convolutional Hierarchical Recurrent Neural Networks. - Soroush Mehri:
On Binary Classification with Single-Layer Convolutional Neural Networks. - Haris Aziz:
Generalizing Top Trading Cycles for Housing Markets with Fractional Endowments. - Sam Maloney:
Dpush: A scalable decentralized spam resistant unsolicited messaging protocol. - Zhanpeng Zhang, Ping Luo, Chen Change Loy, Xiaoou Tang:
Learning Social Relation Traits from Face Images. - Ketan Mehta, Jörg Kliewer:
An Information Theoretic Approach Towards Assessing Perceptual Audio Quality using EEG. - Yoshinobu Kawahara, Yutaro Yamaguchi:
Parametric Maxflows for Structured Sparse Learning with Convex Relaxations of Submodular Functions. - Francesco Solera, Simone Calderara, Rita Cucchiara:
Learning to Divide and Conquer for Online Multi-Target Tracking. - Animesh Kumar:
Bandlimited Spatial Field Sampling with Mobile Sensors in the Absence of Location Information. - Nicolas Gauvrit, Fernando Soler-Toscano, Hector Zenil:
Natural scene statistics mediate the perception of image complexity. - Mikael Gast, Mathias Hauptmann, Marek Karpinski:
Approximability of TSP on Power Law Graphs. - Sung-Hsien Hsieh, Chun-Shien Lu, Soo-Chang Pei:
Fast Greedy Approaches for Compressive Sensing of Large-Scale Signals. - Rick Zhang, Federico Rossi, Marco Pavone:
Model Predictive Control of Autonomous Mobility-on-Demand Systems. - Kais Mekki, William Derigent, Eric Rondeau, Ahmed Zouinkhi, Mohamed Naceur Abdelkrim:
An uniform data replication algorithm in wireless micro-sensor network for communicating materials application. - Shivam Garg, Geevarghese Philip:
Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee. - Yuan Luo, Lin Gao, Jianwei Huang:
MINE GOLD to Deliver Green Cognitive Communications. - Hieu Duy Nguyen, Sumei Sun:
Massive MIMO versus Small-Cell Systems: Spectral and Energy Efficiency Comparison. - Hieu Duy Nguyen, Sumei Sun:
Stochastic Geometry-Based Performance Bounds for Non-Fading and Rayleigh Fading Ad Hoc Networks. - Hiroyuki Endo, Te Sun Han, Takao Aoki, Masahide Sasaki:
Numerical Study on Secrecy Capacity and Code Length Dependence of the Performances in Optical Wiretap Channels. - Nabil H. Mustafa:
A Note on the Size-Sensitive Packing Lemma. - Samin Aref, Mark C. Wilson:
Measuring Partial Balance in Signed Networks. - Jørgen Steensgaard-Madsen:
Programs as proofs. - Miltiades C. Filippou, George A. Ropokis, David Gesbert, Tharmalingam Ratnarajah:
Joint Sensing and Reception Design of SIMO Hybrid Cognitive Radio Systems. - Priyanka Kumar, Sathya Peri:
Multiversion Conflict Notion for Transactional Memory Systems. - Michael Castronovo, Damien Ernst, Adrien Couëtoux, Raphaël Fonteneau:
Benchmarking for Bayesian Reinforcement Learning. - Zhijie Ren, Jasper Goseling, Jos H. Weber, Michael Gastpar:
Secure Transmission on the Two-hop Relay Channel with Scaled Compute-and-Forward. - Kristof Böhmer, Stefanie Rinderle-Ma:
A systematic literature review on process model testing: Approaches, challenges, and research directions. - (Withdrawn) Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research.
- Stefano Cresci, Roberto Di Pietro, Marinella Petrocchi, Angelo Spognardi, Maurizio Tesconi:
Fame for sale: efficient detection of fake Twitter followers. - Ramy Amer, Amr A. El-Sherif, Hanaa Ebrahim, Amr Mokhtar:
Cooperative Cognitive Radio Network with Energy Harvesting: Stability Analysis. - Changsoo Je, Sang Wook Lee, Rae-Hong Park:
Color-Phase Analysis for Sinusoidal Structured Light in Rapid Range Imaging. - Vojtech Forejt, Jan Krcál, Jan Kretínský:
Controller synthesis for MDPs and Frequency LTL$\setminus$GU. - Juan Augusto Maya, Cecilia G. Galarza, Leonardo Rey Vega:
Exploiting Spatial Correlation in Energy Constrained Distributed Detection. - Robert Mattila, Yilin Mo, Richard M. Murray:
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis. - Bart van Delft, Richard Bubel:
Dependency-Based Information Flow Analysis with Declassification in a Program Logic. - Hossein Shokri Ghadikolaei, Carlo Fischione:
Millimeter Wave Ad Hoc Networks: Noise-limited or Interference-limited? - C. L. González-Valiente:
Emerging trends on the topic of Information Technology in the field of Educational Sciences: a bibliometric exploration. - Gaurav Sharma, Frédéric Jurie, Cordelia Schmid:
Expanded Parts Model for Semantic Description of Humans in Still Images. - Éric Sopena:
i-MARK: A New Subtraction Division Game. - Saravanan Kandasamy, Ricardo Morla, Manuel Ricardo:
Power Interference Modeling for CSMA/CA based Networks using Directional Antenna. - Claudia Koltzenburg:
Nicht-propositionales Wissen aus Literaturlektüre und Bedingungen seiner Darstellbarkeit in Wikipedia-Einträgen zu literarischen Werken. - Martin Dias, Guillermo Polito, Damien Cassou, Stéphane Ducasse:
DeltaImpactFinder: Assessing Semantic Merge Conflicts with Dependency Analysis. - Mustafa Ozmen, Mustafa Cenk Gursoy:
Wireless Throughput and Energy Efficiency with Random Arrivals and Statistical Queueing Constraints. - Mutaz Beraka, Abdullah Al-Dhelaan, Mznah Al-Rodhaan:
Collaborative Bibliographic System for Review/Survey Articles. - Afroze Ibrahim Baqapuri:
Twitter Sentiment Analysis. - Pramod Kumar Kewat, Sarika Kushwaha:
Cyclic codes over the ring $\mathbb{F}_p[u, v, w]/\langle u^2, v^2, w^2, uv-vu, vw-wv, uw-wu \rangle$. - Esma Turgut, Mustafa Cenk Gursoy:
Average Error Probability Analysis in mmWave Cellular Networks. - Hossein Fani, Fattane Zarrinkalam, Xin Zhao, Yue Feng, Ebrahim Bagheri, Weichang Du:
Temporal Identification of Latent Communities on Twitter. - Carl Yuheng Ren, Victor Adrian Prisacariu, Ian D. Reid:
gSLICr: SLIC superpixels at over 250Hz. - Jianping Zhang, Ke Chen:
A Total Fractional-Order Variation Model for Image Restoration with Non-homogeneous Boundary Conditions and its Numerical Solution. - Matt Barnes:
A Practioner's Guide to Evaluating Entity Resolution Results. - Wonjung Lee, Terry J. Lyons:
The adaptive patched cubature filter and its implementation. - Neeraj Kumar Misra, Mukesh Kumar Kushwaha, Subodh Wairya, Amit Kumar:
Feasible methodology for optimization of a novel reversible binary compressor. - Ondrej Rokos, J. Máca:
The response of grandstands driven by filtered Gaussian white noise processes. - Andreas Kreienbuehl, Arne Nägel, Daniel Ruprecht, Andreas Vogel, Gabriel Wittum, Rolf Krause:
Parareal convergence for 2D unsteady flow around a cylinder. - Gabriel Prat-Masramon, Lluís A. Belanche Muñoz:
Double Relief with progressive weighting function. - Kota Naga Srinivasarao Batta, Indrajit Chakrabarti:
High Speed VLSI Architecture for 3-D Discrete Wavelet Transform. - Andreas Brandstädt, Konrad K. Dabrowski, Shenwei Huang, Daniël Paulusma:
Bounding the Clique-Width of $H$-free Split Graphs. - Swetank Kumar Saha, Viral Vijay Vira, Anuj Garg, Dimitrios Koutsonikolas:
60 GHz Multi-Gigabit Indoor WLANs: Dream or Reality? - Anastasios K. Papazafeiropoulos:
Downlink Performance of Massive MIMO under General Channel Aging Conditions. - Xiaowei Zhou, Menglong Zhu, Spyridon Leonardos, Kostas Daniilidis:
Sparse Representation for 3D Shape Estimation: A Convex Relaxation Approach. - Robert Webb:
Implementing a teleo-reactive programming system. - Neeraj Kumar Misra, Subodh Wairya, Vinod Kumar Singh:
Evolution of structure of some binary group based n bit comparator, n-to-2n decoder by reversible technique. - Mohammad Amin Rahimian, Shahin Shahrampour, Ali Jadbabaie:
Learning without Recall by Random Walks on Directed Graphs. - Hyeji Kim, Abbas El Gamal:
Capacity Theorems for Broadcast Channels with Two Channel State Components Known at the Receivers. - Corinna Cortes, Prasoon Goyal, Vitaly Kuznetsov, Mehryar Mohri:
Voted Kernel Regularization. - Chuang Zhang, Pingyi Fan:
Power Allocation for Mixed Traffic Broadcast with Service Outage Constraint. - Sushmita Gupta, Kazuo Iwama, Shuichi Miyazaki:
Stable Nash Equilibria in the Gale-Shapley Matching Game. - Niranjan Kamat, Arnab Nandi:
A Closer Look at Variance Implementations in Modern Database Systems. - Qi Qian, Rong Jin, Lijun Zhang, Shenghuo Zhu:
Towards Making High Dimensional Distance Metric Learning Practical. - Joseph Jay Williams, Neil T. Heffernan:
A Methodology for Discovering how to Adaptively Personalize to Users using Experimental Comparisons. - Philipp H. Kindt, Samarjit Chakraborty:
Neighbor discovery latency in BLE-like duty-cycled protocols. - Behtash Babadi, Nicholas Kalouptsidis, Vahid Tarokh:
Comment on "Asymptotic Achievability of the Cramér-Rao Bound for Noisy Compressive Sampling". - Bingwen Zhang, Weiyu Xu, Jian-Feng Cai, Lifeng Lai:
Precise Phase Transition of Total Variation Minimization. - S. Amarappa, S. V. Sathyanarayana:
Kannada named entity recognition and classification (nerc) based on multinomial naïve bayes (mnb) classifier. - Aman Chadha, Sushmit Mallik, Ankit R. Chadha, Ravdeep Johar, M. Mani Roja:
Dual-Layer Video Encryption using RSA Algorithm. - Haitao Liu, Chunshan Xu, Junying Liang:
Dependency length minimization: Puzzles and Promises. - Asif M. Adnan, Sridhar Radhakrishnan, Suleyman Karabuk:
Efficient Kernel Fusion Techniques for Massive Video Data Analysis on GPGPUs. - Ravi Kiran Sarvadevabhatla, R. Venkatesh Babu:
Analyzing structural characteristics of object category representations from their semantic-part distributions. - K. Haribabu, Dayakar Reddy, Chittaranjan Hota, Antti Ylä-Jääski, Sasu Tarkoma:
Adaptive Lookup for Unstructured Peer-to-Peer Overlays. - Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales:
Neuron detection in stack images: a persistent homology interpretation. - Robin Lovelace, Anna Goodman, Rachel Aldred, Nikolai Berkoff, Ali Abbas, James Woodcock:
The Propensity to Cycle Tool: An open source online system for sustainable transport planning. - Tobias Strauß, Gundram Leifert, Tobias Grüning, Roger Labahn:
Regular expressions for decoding of neural network outputs. - Meng Zhang, Yuan Liu:
Energy Harvesting for Physical-Layer Security in OFDMA Networks. - Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki:
Multivariate Topology Simplification. - Joachim Daiber, Lautaro Quiroz, Roger Wechsler, Stella Frank:
Splitting Compounds by Semantic Analogy. - Evan Byrne, Philip Schniter:
Sparse Multinomial Logistic Regression via Approximate Message Passing. - Janus Heide, Morten Videbæk Pedersen, Frank H. P. Fitzek, Muriel Médard:
Perpetual Codes for Network Coding. - Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, Markus Look, Pedram Mir Seyed Nazari, Klaus Müller, Antonio Navarro Pérez, Dimitri Plotnikov, Dirk Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, Andreas Wortmann:
A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages. - Arne Haber, Markus Look, Antonio Navarro Pérez, Bernhard Rumpe, Steven Völkel, Andreas Wortmann:
Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components. - Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton. - Vinh Nguyen, Olivier Bodenreider, Krishnaprasad Thirunarayan, Gang Fu, Evan Bolton, Núria Queralt Rosinach, Laura Inés Furlong, Michel Dumontier, Amit P. Sheth:
On Reasoning with RDF Statements about Statements using Singleton Property Triples. - Enrique Orduña-Malea, Juan Manuel Ayllon, Alberto Martín-Martín, Emilio Delgado López-Cózar:
Improvements in Google Scholar Citations are for the summer: creating an institutional affiliation link feature. - Karmvir Singh Phogat, Debasish Chatterjee, Ravi N. Banavar:
Multiple shooting technique for optimal attitude control of a spacecraft with momentum and control constraints. - François Renaville:
Open Access and Discovery Tools: How do Primo Libraries Manage Green Open Access Collections? - Mazen Alsarem, Pierre-Edouard Portier, Sylvie Calabretto, Harald Kosch:
Ranking Entities in the Age of Two Webs, an Application to Semantic Snippets. - Brian D. O. Anderson, Shaoshuai Mou, A. Stephen Morse, Uwe Helmke:
Decentralized gradient algorithm for solution of a linear equation. - Rossi Kamal, Choong Seon Hong:
Resilient Big Data Monetization. - Mikkel Thorup:
Linear Probing with 5-Independent Hashing. - Fernando Rosas, Vasilis Ntranos, Christopher J. Ellison, Sofie Pollin, Marian Verhelst:
Understanding interdependency through complex information sharing. - Tilen Marc:
Classification of vertex-transitive cubic partial cubes. - Ruy Fabila Monroy, Clemens Huemer:
Caratheodory's Theorem in Depth. - Zhen Liu:
Kernelized Deep Convolutional Neural Network for Describing Complex Images. - Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. - Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger:
Are there any nicely structured preference~profiles~nearby? - Alan Mosca, George D. Magoulas:
Adapting Resilient Propagation for Deep Learning. - Neeraj Kumar Misra, Mukesh Kumar Kushwaha, Subodh Wairya, Amit Kumar:
Cost Efficient Design of Reversible Adder Circuits for Low Power Applications. - Zehra Camlica, Hamid R. Tizhoosh, Farzad Khalvati:
Medical Image Classification via SVM using LBP Features from Saliency-Based Folded Data. - Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. - Lingxiang Li, Zhi Chen, Jun Fang, Athina P. Petropulu:
On the Secrecy Capacity of a MIMO Gaussian Wiretap Channel with a Cooperative Jammer. - Carsten Burstedde, Johannes Holke:
A tetrahedral space-filling curve for non-conforming adaptive meshes. - Arno Solin, Manon Kok, Niklas Wahlström, Thomas B. Schön, Simo Särkkä:
Modeling and interpolation of the ambient magnetic field by Gaussian processes. - Dhruv Gupta, Gunvantsinh Gohil, Mehul S. Raval:
Driver Friendly Headlight Controller for Driving in Developing Countries. - Deepjyoti Deka, Ross Baldick, Sriram Vishwanath:
Jamming aided Generalized Data Attacks: Exposing Vulnerabilities in Secure Estimation. - Laurent Charlin, Rajesh Ranganath, James McInerney, David M. Blei:
Dynamic Poisson Factorization. - M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison:
Comparative Design Space Exploration of Dense and Semi-Dense SLAM. - Ahmed A. Othman, Hamid R. Tizhoosh, Farzad Khalvati:
Self-Configuring and Evolving Fuzzy Image Thresholding. - Anastasios K. Papazafeiropoulos, Shree Krishna Sharma, Symeon Chatzinotas:
Impact of Transceiver Impairments on the Capacity of Dual-Hop Relay Massive MIMO Systems. - Ahmed Arafa, Sennur Ulukus:
Optimal Policies for Wireless Networks with Energy Harvesting Transmitters and Receivers: Effects of Decoding Costs. - Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa:
Confluence of Layered Rewrite Systems. - Nadezhda N. Astakhova, Liliya A. Demidova, Evgeny V. Nikulchev:
Forecasting Method for Grouped Time Series with the Use of k-Means Algorithm. - Daniil Kazantsev, Evgueni Ovtchinnikov, William R. B. Lionheart, Philip J. Withers, Peter D. Lee:
Direct high-order edge-preserving regularization for tomographic image reconstruction. - Christian T. Jacobs, Alexandros Avdis, Simon L. Mouradian, Matthew D. Piggott:
Integrating Research Data Management into Geographical Information Systems. - Akmal Artikov, Aleksandr Dorodnykh, Yana Kashinskaya, Egor Samosvat:
Factorization threshold models for scale-free networks generation. - Harry Boyer, Stéphane Guichard, Aurélien Jean, T. Libelle, Dimitri Bigot, Frédéric Miranville, Milorad Bojic:
Validation of daylighting model in CODYRUN building simulation code. - Tiago P. Peixoto, Martin Rosvall:
Modeling sequences and temporal networks with dynamic community structures. - Muxi Yan, C. Jasson Casey, Prithviraj Shome, Alex Sprintson, Andrew Sutton:
ÆtherFlow: Principled Wireless Support in SDN. - Mehrnaz Afshang, Harpreet S. Dhillon, Peter Han Joo Chong:
Fundamentals of Cluster-Centric Content Placement in Cache-Enabled Device-to-Device Networks. - Tammuz Dubnov, Cheng-i Wang:
Free-body Gesture Tracking and Augmented Reality Improvisation for Floor and Aerial Dance. - Venkatesan Guruswami, Mary Wootters:
Repairing Reed-Solomon Codes. - Ziming Zhang, Venkatesh Saligrama:
Zero-Shot Learning via Semantic Similarity Embedding. - Moo K. Chung, Victoria G. Vilalta, Paul J. Rathouz, Benjamin B. Lahey, David H. Zald:
Linear Embedding of Large-Scale Brain Networks for Twin fMRI. - Ziming Zhang, Yuting Chen, Venkatesh Saligrama:
Group Membership Prediction. - Bing Yao, Xiaomin Wang, Xia Liu, Jin Xu:
Growing Network Models Having Part Edges Removed/added Randomly. - Binnan Zhuang, Dongning Guo, Michael L. Honig:
Energy-Efficient Cell Activation, User Association, and Spectrum Allocation in Heterogeneous Networks. - Francisco Suárez-Ruiz, Quang-Cuong Pham:
A Framework for Fine Robotic Assembly. - Tadele Tedla:
amLite: Amharic Transliteration Using Key Map Dictionary. - Shasha Xu, Weijie Lyu, Huilin Li:
Optimizing coverage of 3D Wireless Multimedia Sensor Networks by means of deploying redundant sensors. - Yancy Diaz-Mercado, Magnus Egerstedt:
Inter-Robot Interactions in Multi-Robot Systems Using Braids. - Andrea Modenini, Alessandro Ugolini, Amina Piemontese, Giulio Colavolpe:
On the Use of Multiple Satellites to Improve the Spectral Efficiency of Broadcast Transmissions. - Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder:
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. - Anirban Dasgupta, Anjith George, S. L. Happy, Aurobinda Routray:
An On-board Video Database of Human Drivers. - Sung-Hsien Hsieh, Chun-Shien Lu, Soo-Chang Pei:
Fast Template Matching by Subsampled Circulant Matrix. - Lichao Huang, Yi Yang, Yafeng Deng, Yinan Yu:
DenseBox: Unifying Landmark Localization with End to End Object Detection. - Eunjung Kim, Sang-il Oum, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos:
An FPT 2-Approximation for Tree-Cut Decomposition. - Anirban Dasgupta, Bibek Kabi, Anjith George, S. L. Happy, Aurobinda Routray:
A Drowsiness Detection Scheme Based on Fusion of Voice and Vision Cues. - Pramod Kumar Parida, Tshilidzi Marwala, Snehashish Chakraverty:
Causal Model Analysis using Collider v-structure with Negative Percentage Mapping. - Derek Doran:
On the discovery of social roles in large scale social systems. - Li Liu, Mengyang Yu, Ling Shao:
Projection Bank: From High-dimensional Data to Medium-length Binary Codes. - Norbert Blum:
Maximum Matching in General Graphs Without Explicit Consideration of Blossoms Revisited. - Meijie Ma:
Cycles in enhanced hypercubes. - Oscar Saz, Mortaza Doulaty, Thomas Hain:
Background-tracking Acoustic Features for Genre Identification of Broadcast Shows. - Xu Jia, Efstratios Gavves, Basura Fernando, Tinne Tuytelaars:
Guiding Long-Short Term Memory for Image Caption Generation. - Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Hung-Lung Wang, Yue-Li Wang:
Convexities in Some Special Graph Classes - New Results in AT-free Graphs and Beyond. - Heng Yang, Renqiao Zhang, Peter Robinson:
Human and Sheep Facial Landmarks Localisation by Triplet Interpolated Features. - Francisco Gómez, Joaquín Mora, Emilia Gómez, José Miguel Díaz-Báñez:
Melodic Contour and Mid-Level Global Features Applied to the Analysis of Flamenco Cantes. - Matthew A. Wright, Gabriel B. Gomes, Roberto Horowitz, Alex A. Kurzhanskiy:
A new model for multi-commodity macroscopic modeling of complex traffic networks. - Nadav Cohen, Or Sharir, Amnon Shashua:
On the Expressive Power of Deep Learning: A Tensor Analysis. - Ashesh Jain, Avi Singh, Hema Swetha Koppula, Shane Soh, Ashutosh Saxena:
Recurrent Neural Networks for Driver Activity Anticipation via Sensory-Fusion Architecture. - Elizaveta V. Kondrashova:
Problem of optimization of a transport traffic at preliminary registration of queires with use of CBSMAP-model. - Ilya V. Osipov, Alex A. Volinsky, Evgeny Nikulchev, D. Plokhov:
Study of Monetization as a Way of Motivating Freemium Service Users. - Paul-Virak Khuong, Pat Morin:
Array Layouts for Comparison-Based Searching. - Paul Irofti, Bogdan Dumitrescu:
Overcomplete Dictionary Learning with Jacobi Atom Updates. - Paul Hand, Choongbum Lee, Vladislav Voroninski:
Exact simultaneous recovery of locations and structure from known orientations and corrupted point correspondences. - Priyank Gupta, Nick Koudas, Europa Shang, Ryan Johnson, Calisto Zuzarte:
Processing Analytical Workloads Incrementally. - Marc Hellmuth, Nicolas Wieseke:
On Tree Representations of Relations and Graphs: Symbolic Ultrametrics and Cograph Edge Decompositions. - Jordan Landford, Rich Meier, Richard Barella, Xinghui Zhao, Eduardo Cotilla Sanchez, Robert B. Bass, Scott A. Wallace:
Fast Sequence Component Analysis for Attack Detection in Synchrophasor Networks. - Matthew Thill, Babak Hassibi:
Group Frames with Few Distinct Inner Products and Low Coherence. - Tadilo Endeshaw Bogale, Long Bao Le, Xianbin Wang:
Hybrid Analog-Digital Channel Estimation and Beamforming: Training-Throughput Tradeoff. - Tadilo Endeshaw Bogale, Long Bao Le, Xianbin Wang, Luc Vandendorpe:
Pilot Contamination Mitigation for Wideband Massive MMO: Number of Cells Vs Multipath. - Suman Kalyan Maity, Bhadreswar Ghuku, Abhishek Upmanyu, Animesh Mukherjee:
Out of vocabulary words decrease, running texts prevail and hashtags coalesce: Twitter as an evolving sociolinguistic system. - Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha:
On Static Verification of Puppet System Configurations. - Paulo V. Rossi, Yoshiyuki Kabashima, Jun-ichi Inoue:
Online compressed sensing. - Arianit Pajaziti:
Models and Representations for Fractal Social Organizations. - Jing Yuan, Lixiang Li, Haipeng Peng, Jürgen Kurths, Xiaojing Hua, Yixian Yang:
The effect of randomness for dependency map on the robustness of interdependent lattices. - Juan Liu, Wei Chen, Khaled Ben Letaief:
Joint Channel and Queue Aware Scheduling for Wireless Links with Multiple Fading States. - Sourish Das, Sasanka Roy, Rajiv Sambasivan:
Fast Gaussian Process Regression for Big Data. - Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed PROMPT-LTL Synthesis. 228-241 - Wei Pan, Ye Yuan, Lennart Ljung, Jorge M. Gonçalves, Guy-Bart Stan:
Identifying Biochemical Reaction Networks From Heterogeneous Datasets. - Amit Kumar Verma, Manjish Pal:
Evolving Social Networks via Friend Recommendations. - Andrew J. R. Simpson:
Taming the ReLU with Parallel Dither in a Deep Neural Network. - Pooja Thakar:
Performance Analysis and Prediction in Educational Data Mining: A Research Travelogue. - K. Eswaran, Vishwajeet Singh:
Some Theorems for Feed Forward Neural Networks. - Dengji Zhao, Sarvapali D. Ramchurn, Nicholas R. Jennings:
Efficient Task Collaboration with Execution Uncertainty. - Shicong Liu, Junru Shao, Hongtao Lu:
Accelerated Distance Computation with Encoding Tree for High Dimensional Data. - (Withdrawn) A balanced rail-to-rail all digital comparator using only standard cells.
- Shicong Liu, Junru Shao, Hongtao Lu:
HCLAE: High Capacity Locally Aggregating Encodings for Approximate Nearest Neighbor Search. - Shicong Liu, Hongtao Lu, Junru Shao:
Improved Residual Vector Quantization for High-dimensional Approximate Nearest Neighbor Search. - Andrea Simonetto, Aryan Mokhtari, Alec Koppel, Geert Leus, Alejandro Ribeiro:
A Class of Prediction-Correction Methods for Time-Varying Convex Optimization. - Chenhao Qu, Rodrigo N. Calheiros, Rajkumar Buyya:
A Reliable and Cost-Efficient Auto-Scaling System for Web Applications Using Heterogeneous Spot Instances. - Sergey V. Lemeshevsky, Semion A. Naumovich, Sergey S. Naumovich, Petr N. Vabishchevich, Petr E. Zakharov:
Numerical simulation of the stress-strain state of the dental system. - Antonio Trenta, Anthony Hunter, Sebastian Riedel:
Extraction of evidence tables from abstracts of randomized clinical trials using a maximum entropy classifier and global constraints. - Natalie Wilde, Katrin Hänsel, Hamed Haddadi, Akram Alomainy:
Wearable Computing for Health and Fitness: Exploring the Relationship between Data and Human Behaviour. - Stepan Holub, Jeffrey O. Shallit:
Periods and borders of random words. - Mauricio Delbracio, Guillermo Sapiro:
Hand-held Video Deblurring via Efficient Fourier Aggregation. - Juha Kuortti, Jarmo Malinen:
Post-processing speech recordings during MRI. - Siaw-Lynn Ng, Maura B. Paterson:
Disjoint difference families and their applications. - Farshad Ghassemi Toosi, Nikola S. Nikolov:
Sync-and-Burst: Force-Directed Graph Drawing with Uniform Force Magnitudes. - Xavier Gibert, Vishal M. Patel, Rama Chellappa:
Deep Multi-task Learning for Railway Track Inspection. - Diego R. Amancio:
Network analysis of named entity interactions in written texts. - Álvaro Ortega, Federico Milano:
Generalized Model of VSC-based Energy Storage Systems for Transient Stability Analysis. - Rahul Singh, P. R. Kumar:
Decentralized Throughput Maximizing Policies for Deadline-Constrained Wireless Networks. - Victor Schetinger, Manuel M. Oliveira, Roberto da Silva, Tiago J. Carvalho:
Humans Are Easily Fooled by Digital Images. - Carlo Albert, Simone Ulzega:
Bayesian Parameter Inference for 1D Nonlinear Stochastic Differential Equation Models. - Rahul Singh, P. R. Kumar:
Optimizing Quality of Experience of Dynamic Video Streaming over Fading Wireless Networks. - Jesús Domínguez, Maribel Fernández:
From nominal to higher-order rewriting and back again. - Martin Gairing, Rahul Savani:
Computing stable outcomes in symmetric additively-separable hedonic games. - Søren Kaae Sønderby, Casper Kaae Sønderby, Lars Maaløe, Ole Winther:
Recurrent Spatial Transformer Networks. - Ali Hamada Fakra, Frédéric Miranville, Dimitri Bigot, Harry Boyer:
Elements of Validation of Artificial Lighting through the Software CODYRUN: Application to a Test Case of the International Commission on Illumination (CIE). - Reginald Neil C. Recario, Marie Betel B. de Robles, Kristine Elaine P. Bautista, Jaderick P. Pabico:
Social Loafing Among Members of Undergraduate Software Engineering Groups: Persistence of Perception Seven Years After. - João E. Strapasson, Grasiele C. Jorge, Antonio Campello, Sueli I. Rodrigues Costa:
Quasi-perfect codes in the ℓp metric. - Hojjat Mostafanasab:
Triple cyclic codes over $\mathbb{Z}_2$. - Jiaji Huang, Qiang Qiu, A. Robert Calderbank, Guillermo Sapiro:
Geometry-aware Deep Transform. - Manfred Kufleitner, Jan Philipp Wächter:
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. - Gokhan Tanisik, Cemil Zalluhoglu, Nazli Ikizler-Cinbis:
Facial Descriptors for Human Interaction Recognition In Still Images. - Peter Burkert, Felix Trier, Muhammad Zeshan Afzal, Andreas Dengel, Marcus Liwicki:
DeXpression: Deep Convolutional Neural Network for Expression Recognition. - Makoto Hamana:
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation. 75-89 - Haitao Wang, Jingru Zhang:
Computing the Rectilinear Center of Uncertain Points in the Plane. - Symeon Meichanetzoglou, Sotiris Ioannidis, Nikolaos Laoutaris:
Testing for common sense (violation) in airline pricing or how complexity asymmetry defeated you and the web. - Martin Kleppmann:
A Critique of the CAP Theorem. - Berk Gurakan, Omur Ozel, Sennur Ulukus:
Optimal Energy and Data Routing in Networks with Energy Cooperation. - Jason Koh, Bharathan Balaji, Rajesh Gupta, Yuvraj Agarwal:
HVACMeter: Apportionment of HVAC Power to Thermal Zones and Air Handler Units. - Thabet Slimani:
A Study Investigating Typical Concepts and Guidelines for Ontology Building. - Thabet Slimani:
Class Association Rules Mining based Rough Set Method. - Wilfredo Bardales Roncalla, Eduardo Sany Laber, Ferdinando Cicalese:
Searching for a superlinear lower bounds for the Maximum Consecutive Subsums Problem and the (min, +)-convolution. - Anant Baijal, Julia Kim, Carmen Branje, Frank A. Russo, Deborah I. Fels:
Composing vibrotactile music: A multisensory experience with the Emoti-chair. - João E. Strapasson, Cristiano Torezzan:
A heuristic approach for designing cyclic group codes. - Xi Zhang, Yanwei Fu, Shanshan Jiang, Leonid Sigal, Gady Agam:
Learning from Synthetic Data Using a Stacked Multichannel Autoencoder. - Jun Wang, Wei Liu, Sanjiv Kumar, Shih-Fu Chang:
Learning to Hash for Indexing Big Data - A Survey. - Alexey Milovanov:
Algorithmic statistics, prediction and machine learning. - Marc Vuffray, Theodor Misiakiewicz:
Concentration to Zero Bit-Error Probability for Regular LDPC Codes on the Binary Symmetric Channel: Proof by Loop Calculus. - Pingzhong Tang, Hanrui Zhang:
Unit-sphere games. - Chenxi Liu, Nan (Jonas) Yang, Robert A. Malaney, Jinhong Yuan:
Artificial-Noise-Aided Transmission in Multi-Antenna Relay Wiretap Channels with Spatially Random Eavesdroppers. - Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu:
TransG : A Generative Mixture Model for Knowledge Graph Embedding. - Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu:
TransA: An Adaptive Approach for Knowledge Graph Embedding. - Melissa Romanus, Robert B. Ross, Manish Parashar:
Challenges and Considerations for Utilizing Burst Buffers in High-Performance Computing. - Pinyan Lu, Kuan Yang, Chihao Zhang:
FPTAS for Hardcore and Ising Models on Hypergraphs. - Renyuan Zhang, Kai Cai:
Supervisor Localization of Discrete-Event Systems under Partial Observation. - Farhad Farokhi, Girish N. Nair:
Mutual Information as Privacy-Loss Measure in Strategic Communication. - Abhinav Jauhri, Martin L. Griss, Hakan Erdogmus:
Small Polygon Compression For Integer Coordinates. - Howard H. Yang, Giovanni Geraci, Tony Q. S. Quek:
Energy-Efficient Design of MIMO Heterogeneous Networks with Wireless Backhaul. - Jackie Ma:
Stable reconstructions for the analysis formulation of ℓp-minimization using redundant systems. - Samira Daruki, Justin Thaler, Suresh Venkatasubramanian:
Streaming Verification in Data Analysis. - Gang Chen, Mikel L. Forcada:
A Light Sliding-Window Part-of-Speech Tagger for the Apertium Free/Open-Source Machine Translation Platform. - Zhe Chen, Zhibin Hong, Dacheng Tao:
An Experimental Survey on Correlation Filter-based Tracking. - Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015 [contents] - Kun Zhao, Azadeh Alavi, Arnold Wiliem, Brian C. Lovell:
Efficient Clustering on Riemannian Manifolds: A Kernelised Random Projection Approach. - Leizhen Cai, Junjie Ye:
Finding Two Edge-Disjoint Paths with Length Constraints. - Dipasree Pal, Mandar Mitra, Samar Bhattacharya:
Exploring Query Categorisation for Query Expansion: A Study. - Kitty Meeks:
Randomised enumeration of small witnesses using a decision oracle. - Roy Ka-Wei Lee, Yingjiu Li:
SignEPC : A Digital Signature Scheme for Efficient and Scalable Access Control in EPCglobal Network. - Ioannis Psaras, Konstantinos V. Katsaros, Lorenzo Saino, George Pavlou:
LIRA: A Location Independent Routing Layer based on Source-Provided Ephemeral Names. - Kwang Hee Lee, Changsoo Je, Sang Wook Lee:
Color-Stripe Structured Light Robust to Surface Color and Discontinuity. - Xiaochen Xia, Dongmei Zhang, Kui Xu, Wenfeng Ma, Youyun Xu:
Hardware Impairments Aware Transceiver for Full-Duplex Massive MIMO Relaying. - Ashutosh Rai, M. S. Ramanujan, Saket Saurabh:
A Parameterized Algorithm for Mixed Cut. - Ioannis Krikidis:
Relay Selection in Wireless Powered Cooperative Networks with Energy Storage. - Arnaud Mary, Yann Strozecki:
Efficient enumeration of solutions produced by closure operations. - Sergio Herrería-Alonso, Miguel Rodríguez-Pérez, Manuel Fernández-Veiga, Cándido López-García:
Adaptive DRX Scheme to Improve Energy Efficiency in LTE Networks with Bounded Delay. - Reed H. Harder, Alfredo J. Velasco, Michael S. Evans, Daniel N. Rockmore:
Measuring Verifiability in Online Information. - Alona Golts, Michael Elad:
Linearized Kernel Dictionary Learning. - Martin Nöllenburg, Roman Prutkin, Ignaz Rutter:
Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable Regions. - M. Seetha Ramaiah, Amitabha Mukerjee, Arindam Chakraborty, Sadbodh Sharma:
Visual Generalized Coordinates. - Jesper Larsson Träff:
The Shortest Path Problem with Edge Information Reuse is NP-Complete. - Nicolas Tremblay, Pierre Borgnat:
Subgraph-based filterbanks for graph signals. - Peter D. Kvam, Joseph Cesario, Jory Schossau, Heather Eisthen, Arend Hintze:
Computational evolution of decision-making strategies. - Ferruccio Damiani, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. - Ching-Lueh Chang:
Metric $1$-median selection: Query complexity vs. approximation ratio. - Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. - Edwin Hammerich:
Waterfilling theorems for linear time-varying channels and related nonstationary sources. - Yuncheng Li, Yang Cong, Tao Mei, Jiebo Luo:
User-Curated Image Collections: Modeling and Recommendation. - Sergey Bereg, Krzysztof Fleszar, Philipp Kindermann, Sergey Pupyrev, Joachim Spoerhase, Alexander Wolff:
Colored Non-Crossing Euclidean Steiner Forest. - Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivný:
Backdoors into Heterogeneous Classes of SAT and CSP. - Issa Atoum, Chih How Bong, Narayanan Kulathuramaiyer:
Building a Pilot Software Quality-in-Use Benchmark Dataset. - Matthew Thill, Babak Hassibi:
Low-Coherence Frames from Group Fourier Matrices. - Haohan Wang, Madhavi K. Ganapathiraju:
Evaluation of Protein-protein Interaction Predictors with Noisy Partially Labeled Data Sets. - Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath, Anastasios Sidiropoulos, Yusu Wang:
Computing the Gromov-Hausdorff Distance for Metric Trees. - Andrew J. R. Simpson:
"Oddball SGD": Novelty Driven Stochastic Gradient Descent for Training Deep Neural Networks. - Alessandro Checco, Giuseppe Bianchi, Douglas J. Leith:
BLC: Private Matrix Factorization Recommenders via Automatic Group Learning. - Sergey V. Avgustinovich, Sergey Kitaev, Vladimir N. Potapov, Vincent Vajnovszki:
Gray coding planar maps. - Tatsunori B. Hashimoto, David Alvarez-Melis, Tommi S. Jaakkola:
Word, graph and manifold embedding from Markov processes. - Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh:
Lower bounds for approximation schemes for Closest String. - Saber Jafarizadeh:
Optimizing the Convergence Rate of the Continuous Time Quantum Consensus. - Francisco J. Soulignac:
A certifying and dynamic algorithm for the recognition of proper circular-arc graphs. - Elif Ayvali, Rangaprasad Arun Srivatsan, Long Wang, Rajarshi Roy, Nabil Simaan, Howie Choset:
Using Bayesian Optimization to Guide Probing of a Flexible Environment for Simultaneous Registration and Stiffness Mapping. - Rob J. van Glabbeek:
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. - Zhibo Yang, Huanle Xu, Keda Fu, Yong Xia:
Similar Handwritten Chinese Character Discrimination by Weakly Supervised Learning. - Frank Ong, Sameer Pawar, Kannan Ramchandran:
Fast and Efficient Sparse 2D Discrete Fourier Transform using Sparse-Graph Codes. - Serj Haddad, Olivier Lévêque:
On the Broadcast Capacity of Large Wireless Networks at Low SNR. - Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar:
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. - Anjana Ambika Mahesh, B. Sundar Rajan:
Index Coded PSK Modulation. - Wutong Yang, Minxian Xu, GuoZhong Li, Wenhong Tian:
CloudSimNFV: Modeling and Simulation of Energy-Efficient NFV in Cloud Data Centers. - Gholamali Aminian, Maryam Farahnak-Ghazani, Mahtab Mirmohseni, Masoumeh Nasiri-Kenari, Faramarz Fekri:
On the Capacity of Point-to-Point and Multiple-Access Molecular Communications with Ligand-Receptors. - Holger Ingmar Meinhardt:
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself. - Tarek A. Lahlou, Alan V. Oppenheim:
Trading Accuracy for Numerical Stability: Orthogonalization, Biorthogonalization and Regularization. - Michal Pilipczuk, Marcin Wrochna:
On space efficiency of algorithms working on structural decompositions of graphs. - Xu Yang:
Face Photo Sketch Synthesis via Larger Patch and Multiresolution Spline. - Alex Kendall, Roberto Cipolla:
Modelling Uncertainty in Deep Learning for Camera Relocalization. - Paras Jain, Shang-Tse Chen, Mozhgan Azimpourkivi, Duen Horng Chau, Bogdan Carbunar:
Spotting Suspicious Reviews via (Quasi-)clique Extraction. - Yoshua Bengio, Thomas Mesnard, Asja Fischer, Saizheng Zhang, Yuhai Wu:
An objective function for STDP. - Vishesh Vikas, Piyush Grover, Barry Trimmer:
Model-free control framework for multi-limb soft robots. - Mahdi Azarafrooz, Rajarathnam Chandramouli:
Complexity Analysis of CSMA Scheduling via Dependencies Matrix. - Umar Farooq, Sajid Bashir, Tauseef Tasneem, A. Saboor, A. Rauf:
Migration from Copper to Fiber Access Network using Passive Optical Network for Green and Dry Field Areas of Pakistan. - Shiyang Leng, Derrick Wing Kwan Ng, Nikola Zlatanov, Robert Schober:
Multi-Objective Beamforming for Energy-Efficient SWIPT Systems. - Jingbo Wu, Li Li, Valery A. Ugrinovskii, Frank Allgöwer:
Distributed Filter Design for Cooperative H-Infinity-Type Estimation. - Daniel Haas, Jiannan Wang, Eugene Wu, Michael J. Franklin:
CLAMShell: Speeding up Crowds for Low-latency Data Labeling. - Dohan Kim:
Group-theoretical vector space model. - Dan Stowell, Richard E. Turner:
Denoising without access to clean data using a partitioned autoencoder. - Janis Buls, Imants Gorbans, Ivans Kulesovs, Uldis Straujums:
The adaptation of Shamir's protocol for increasing the security of a mobile environment. - (Withdrawn) Robust Visual Tracking via Inverse Nonnegative Matrix Factorization.
- Vlad Olaru, Mihai Florea, Cristian Sminchisescu:
A Parallel Framework for Parametric Maximum Flow Problems in Image Segmentation. - Qing Zhou, Nan Liu:
Energy-Efficient Data Transmission with A Non-FIFO Packet. - Lei Deng, Siyuan Huang, Yueqi Duan, Baohua Chen, Jie Zhou:
Image Set Querying Based Localization. - Abraham Kabore, Vahid Meghdadi, Jean-Pierre Cances:
LT Codes Combined with Network Coding for Multihop Powerline Smart Grid Networks. - Haifan Yin, Laura Cottatellucci, David Gesbert, Ralf R. Müller, Gaoning He:
Robust Pilot Decontamination Based on Joint Angle and Power Domain Discrimination. - Saiph Savage, Andrés Monroy-Hernández, Tobias Höllerer:
Botivist: Calling Volunteers to Action Using Online Bots. - Siddharth Jain, Farzad Farnoud, Jehoshua Bruck:
Capacity and Expressiveness of Genomic Tandem Duplication. - Janusz A. Brzozowski, Marek Szykula, Yuli Ye:
Syntactic Complexity of Regular Ideals. - Arsalan Mousavian, Jana Kosecka:
Deep Convolutional Features for Image Based Retrieval and Scene Categorization. - H. Ouahi, Karim Afdel, Mustapha Machkour:
Image Retrieval Based on LBP Pyramidal Multiresolution using Reversible Watermarking. - Quanzeng You, Jiebo Luo, Hailin Jin, Jianchao Yang:
Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks. - Hua Chen, YangQuan Chen:
Fractional-order Generalized Principle of Self-Support (FOG PSS) in Control Systems Design. - Abdolahad Noori Zehmakan, Mojtaba Eslahi:
A linear approximation algorithm for the BPP with the best possible absolute approximation ratio. - Hugo Jair Escalante, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Marcelo Luis Errecalde:
Early text classification: a Naive solution. - Md. Zakirul Alam Bhuiyan, Guojun Wang, Jie Wu, Jiannong Cao:
Dependable Structural Helath Monitoring Using Wireless Sensor Networks. - Mahyar Najibi, Mohammad Rastegari, Larry S. Davis:
On Large-Scale Retrieval: Binary or n-ary Coding? - Sol Swords, Jared Davis:
Fix Your Types. 3-16 - Alessandro Coglio:
Second-Order Functions and Theorems in ACL2. 17-33 - John R. Cowles, Ruben Gamboa:
Perfect Numbers in ACL2. 53-59 - Yan Peng, Mark R. Greenstreet:
Extending ACL2 with SMT Solvers. 61-77 - David S. Hardin:
Reasoning About LLVM Code Using Codewalker. 79-92 - J Strother Moore:
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States. 93-109 - Mitesh Jain, Panagiotis Manolios:
Proving Skipping Refinement with ACL2s. 111-127 - Zuxuan Wu, Yu-Gang Jiang, Xi Wang, Hao Ye, Xiangyang Xue, Jun Wang:
Fusing Multi-Stream Deep Networks for Video Classification. - Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.:
Fourier Series Formalization in ACL2(r). 35-51 - Wanchun Liu, Xiangyun Zhou, Salman Durrani, Hani Mehrpouyan, Steven D. Blostein:
Energy Harvesting Wireless Sensor Networks: Delay Analysis Considering Energy Costs of Sensing and Transmission. - Nilesh Chakraborty, Samrat Mondal:
A New Storage Optimized Honeyword Generation Approach for Enhancing Security and Usability. - Xiao-Lei Zhang:
Multilayer bootstrap network for unsupervised speaker recognition. - Xiaofei Wang, Chao Wu, Pengyuan Zhang, Ziteng Wang, Yong Liu, Xu Li, Qiang Fu, Yonghong Yan:
Noise Robust IOA/CAS Speech Separation and Recognition System For The Third 'CHIME' Challenge. - Dustin Freeman, Ricardo Jota, Daniel Vogel, Daniel J. Wigdor, Ravin Balakrishnan:
A Dataset of Naturally Occurring, Whole-Body Background Activity to Reduce Gesture Conflicts. - Yang Yi, Geng Zhou, Jianqing Zhang, Siyuan Cheng, Mengyin Fu:
Design, Modeling and Control of A Novel Amphibious Robot with Dual-swing-legs Propulsion Mechanism. - Chelsea Finn, Xin Yu Tan, Yan Duan, Trevor Darrell, Sergey Levine, Pieter Abbeel:
Learning Visual Feature Spaces for Robotic Manipulation with Deep Spatial Autoencoders. - Inwook Shim, Seunghak Shin, Yunsu Bok, Kyungdon Joo, Dong-Geol Choi, Joon-Young Lee, Jaesik Park, Jun-Ho Oh, In So Kweon:
Vision System and Depth Processing for DRC-HUBO+. - Claudio Roncoli, Nikolaos Bekiaris-Liberis, Markos Papageorgiou:
Highway traffic state estimation using speed measurements: case studies on NGSIM data and highway A20 in the Netherlands. - QingChun ShenTu, Jianping Yu:
Transaction Remote Release (TRR): A New Anonymization Technology for Bitcoin. - Feng Liu, Dan Zeng, Jing Li, Qijun Zhao:
Cascaded Regressor based 3D Face Reconstruction from a Single Arbitrary View Image. - Shubhendu Trivedi, Zachary A. Pardos, Neil T. Heffernan:
The Utility of Clustering in Prediction Tasks. - Matevz Jekovec, Andrej Brodnik:
Parallel Query in the Suffix Tree. - Mostafa Monemizadeh:
Comments on "Achievable Rates in Cognitive Radio Channels". - Ruth Fairclough, Mike Thelwall:
More Precise Methods for National Research Citation Impact Comparisons. - Oliver Johnson:
Strong converses for group testing in the finite blocklength regime. - Jan Hazla, Thomas Holenstein, Elchanan Mossel:
Lower Bounds on Same-Set Inner Product in Correlated Spaces. - Manfred Kufleitner, Tobias Walter:
Level Two of the Quantifier Alternation Hierarchy over Infinite Words. - Lukas Fleischer, Manfred Kufleitner:
Efficient Algorithms for Morphisms over Omega-Regular Languages. - Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects. - Ruben Becker, Michael Sagraloff, Vikram Sharma, Chee-Keng Yap:
A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration. - Ferenc Gécseg, Magnus Steinby:
Tree Automata. - Fei Li, Qiuyan Wang, Dongdai Lin:
A class of three-weight and five-weight linear codes. - Albert Gordo, Jon Almazán, Naila Murray, Florent Perronnin:
LEWIS: Latent Embeddings for Word Images and their Semantics. - Christopher Thron, Ahsan Aziz:
Algebraic Solution for Beamforming in Two-Way Relay Systems with Analog Network Coding. - Xin Yuan, Hong Jiang, Paul A. Wilford:
Convergence of the Generalized Alternating Projection Algorithm for Compressive Sensing. - Pablo Rodríguez-Mier, Manuel Mucientes, Manuel Lama:
Hybrid Optimization Algorithm for Large-Scale QoS-Aware Service Composition. - Tim Roughgarden:
Communication Complexity (for Algorithm Designers). - Sarmen Keshishzadeh, Jan Friso Groote:
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. - Anant Baijal, Jaeyoun Cho, Woojung Lee, Byeong-Seob Ko:
Sports highlights generation based on acoustic events detection: A rugby case study. - Tarek A. Lahlou, Thomas A. Baran:
Web Services for Asynchronous, Distributed Optimization Using Conservative Signal Processing. - J. Chris Foreman, Rammohan K. Ragade, James H. Graham:
An Immersive Visualization Tool for Teaching and Simulation of Smart Grid Technologies. - Pooja Pandey, Abraham P. Punnen:
On a linearization technique for solving quadratic set covering problem and variations. - Mina Taheri, Nirwan Ansari:
Design and Analysis of Green Optical Line Terminal for TDM Passive Optical Networks. - Wojciech Samek, Alexander Binder, Grégoire Montavon, Sebastian Bach, Klaus-Robert Müller:
Evaluating the visualization of what a Deep Neural Network has learned. - Pooja Pandey:
A note on linear fractional set packing problem. - Liang Ma, Ting He, Ananthram Swami, Donald F. Towsley, Kin K. Leung:
Network Capability in Localizing Node Failures via End-to-end Path Measurements. - Jarkko Peltomäki, Markus A. Whiteland:
A square root map on Sturmian words. - Paul S. Bonsma, Daniël Paulusma:
Using Contracted Solution Graphs for Solving Reconfiguration Problems. - Raghav Kulkarni, Supartha Podder:
Quantum Query Complexity of Subgraph Isomorphism and Homomorphism. - Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange. - David Hallac, Christopher Wong, Steven Diamond, Rok Sosic, Stephen P. Boyd, Jure Leskovec:
SnapVX: A Network-Based Convex Optimization Solver. - Varun S. Jog, Po-Ling Loh:
Information-theoretic bounds for exact recovery in weighted stochastic block models using the Renyi divergence. - Soumya Banerjee, Joshua Hecker:
A Multi-Agent System Approach to Load-Balancing and Resource Allocation for Distributed Computing. - Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On Computational Paths and the Fundamental Groupoid of a Type. - Bernhard Haeupler, David G. Harris:
Improved bounds and parallel algorithms for the Lovasz Local Lemma. - Assaf J. Kfoury, Saber Mirzaei:
Efficient Reassembling of Graphs, Part 1: The Linear Case. - Shuo Yang, Ping Luo, Chen Change Loy, Xiaoou Tang:
From Facial Parts Responses to Face Detection: A Deep Learning Approach. - Zuoqiang Shi, Jian Sun, Minghao Tian:
Harmonic Extension. - Hado van Hasselt, Arthur Guez, David Silver:
Deep Reinforcement Learning with Double Q-learning. - David Gibb, Bruce M. Kapron, Valerie King, Nolan Thorn:
Dynamic graph connectivity with improved worst case update time and sublinear space. - Yiyi Liao, Sarath Kodagoda, Yue Wang, Lei Shi, Yong Liu:
Understand Scene Categories by Objects: A Semantic Regularized Scene Classifier Using Convolutional Neural Networks. - Tatsuro Kawamoto, Yoshiyuki Kabashima:
Detectability of the spectral method for sparse graph partitioning. - Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet:
On the Complexity of Flanked Finite State Automata. - Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
A Verified Information-Flow Architecture. - Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan:
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. - Silvano Dal-Zilio, Bernard Berthomieu:
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus. - Liang Liu, Rui Zhang:
Downlink SINR Balancing in C-RAN under Limited Fronthaul Capacity. - Emil Björnson, Erik G. Larsson:
Three Practical Aspects of Massive MIMO: Intermittent User Activity, Pilot Synchronism, and Asymmetric Deployment. - Maurizio Naldi, Giuseppe D'Acquisto:
Option contracts for a privacy-aware market. - Gianfranco Elena, Christopher W. Johnson:
Factors influencing risk acceptance of Cloud Computing services in the UK Government. - Malte Probst, Franz Rothlauf:
Deep Boltzmann Machines in Estimation of Distribution Algorithms for Combinatorial Optimization. - Gianfranco Elena, Christopher W. Johnson:
Laypeople and Experts risk perception of Cloud Computing Services. - Spandan Roy, Indra Narayan Kar:
Adaptive-Robust Control of a Class of Nonlinear Systems with Unknown Input Delay. - Vidyadhar Rao, Prateek Jain, C. V. Jawahar:
Diverse Yet Efficient Retrieval using Hash Functions. - Yongqiang Gao, Weilin Huang, Yu Qiao:
Local Multi-Grouped Binary Descriptor with Ring-based Pooling Configuration and Optimization. - Rafael A. Melo, Phillippe Samer, Sebastián Urrutia:
An effective decomposition approach and heuristics to generate spanning trees with a small number of branch vertices. - Alexander Novikov, Dmitry Podoprikhin, Anton Osokin, Dmitry P. Vetrov:
Tensorizing Neural Networks. - Oleguer Sagarra, Mario Gutiérrez-Roig, Isabelle Bonhoure, Josep Perello:
Citizen Science practices for Computational Social Sciences research: The conceptualization of Pop-Up Experiments. - Bernhard C. Geiger, Christoph Hofer-Temmel:
Graph-Based Lossless Markov Lumpings. - Jean-Valère Cossu, Vincent Labatut, Nicolas Dugué:
A Review of Features for the Discrimination of Twitter Users: Application to the Prediction of Offline Influence. - Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
Graph Kernels exploiting Weisfeiler-Lehman Graph Isomorphism Test Extensions. - Bob Coecke, Martha Lewis:
A Compositional Explanation of the Pet Fish Phenomenon. - Gang Yang, Mohammad R. Vedady Moghadam, Rui Zhang:
Magnetic Beamforming for Wireless Power Transfer. - Bo Zhou, Ying Cui, Meixia Tao:
Stochastic Content-Centric Multicast Scheduling for Cache-Enabled Heterogeneous Cellular Networks. - Shih-Wei Hu, Gang-Xuan Lin, Sung-Hsien Hsieh, Wei-Jie Liang, Chun-Shien Lu:
Performance Analysis of Joint-Sparse Recovery from Multiple Measurements and Prior Information via Convex Optimization. - Nikita Prabhu, R. Venkatesh Babu:
Attribute-Graph: A Graph based approach to Image Ranking. - Chirag Nagpal, Kyle Miller, Benedikt Boecking, Artur Dubrawski:
An Entity Resolution approach to isolate instances of Human Trafficking online. - Tim Rocktäschel, Edward Grefenstette, Karl Moritz Hermann, Tomás Kociský, Phil Blunsom:
Reasoning about Entailment with Neural Attention. - Rihab Maaloul, Lamia Chaari Fourati, Bernard Cousin:
Energy-Aware Forwarding Strategy for Metro Ethernet Networks. - Vishesh Vikas, Eliad Cohen, Rob Grassi, Canberk Sozer, Barry Trimmer:
Design and locomotion control of soft robot using friction manipulation and motor-tendon actuation. - Nadya Williams, Aimee Stewart, Philip M. Papadopoulos:
Virtualizing Lifemapper Software Infrastructure for Biodiversity Expedition. - Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Bin Packing with Linear Usage Costs. - Hashim Yasin, Umar Iqbal, Björn Krüger, Andreas Weber, Juergen Gall:
3D Pose Estimation from a Single Monocular Image. - Manolis C. Tsakiris, René Vidal:
Algebraic Clustering of Affine Subspaces. - Nikolai Yakovenko, Liangliang Cao, Colin Raffel, James Fan:
Poker-CNN: A Pattern Learning Strategy for Making Draws and Bets in Poker Games. - Jason D. McEwen, Boris Leistedt, Martin Büttner, Hiranya V. Peiris, Yves Wiaux:
Directional spin wavelets on the sphere. - Alessandro Pilloni, Alessandro Pisano, Yury Orlov, Elio Usai:
Consensus-based control for a network of diffusion PDEs with boundary local interaction. - Jason D. McEwen, Claudio Durastanti, Yves Wiaux:
Localisation of directional scale-discretised wavelets on the sphere. - Zhihan Lv:
Preprint: Bringing immersive enjoyment to hyperbaric oxygen chamber users using virtual reality glasses. - Zhihan Lv, Vicente Penades, Sonia Blasco, Javier Chirivella, Pablo Gagliardo:
Preprint: Intuitive Evaluation of Kinect2 based Balance Measurement Software. - Zhihan Lv, Vicente Penades, Sonia Blasco, Javier Chirivella, Pablo Gagliardo:
Preprint: Comparing Kinect2 based Balance Measurement Software to Wii Balance Board. - Tianhao Zhang, Gregory Kahn, Sergey Levine, Pieter Abbeel:
Learning Deep Control Policies for Autonomous Aerial Vehicles with MPC-Guided Policy Search. - Abbas Soltanian, Mohammad A. Salahuddin, Halima Elbiaze, Roch H. Glitho:
A Resource Allocation Mechanism for Video Mixing as a Cloud Computing Service in Multimedia Conferencing Applications. - Ke Li, Jitendra Malik:
Bandit Label Inference for Weakly Supervised Learning. - Jimmy Ba, Roger B. Grosse, Ruslan Salakhutdinov, Brendan J. Frey:
Learning Wake-Sleep Recurrent Attention Models. - Junghyun Nam, Kim-Kwang Raymond Choo, Sangchul Han, Moonseong Kim, Juryon Paik, Dongho Won:
Efficient and Anonymous Two-Factor User Authentication in Wireless Sensor Networks: Achieving User Anonymity with Lightweight Sensor Computation. - Quang Do, Ben Martini, Kim-Kwang Raymond Choo:
A Forensically Sound Adversary Model for Mobile Devices. - Christopher Xie, Sachin Patil, Teodor Mihai Moldovan, Sergey Levine, Pieter Abbeel:
Model-based Reinforcement Learning with Parametrized Physical Models and Optimism-Driven Exploration. - Lerrel Pinto, Abhinav Gupta:
Supersizing Self-supervision: Learning to Grasp from 50K Tries and 700 Robot Hours. - Shahadat Uddin, Arif Khan, Louise A. Baur:
A Framework to Explore the Knowledge Structure of Multidisciplinary Research Fields. - X. Y. Newberry:
Generalization of the Truth-relevant Semantics to the Predicate Calculus. - Sreram Balasubramaniyan, Furio Buonopane, B. Subathra, Seshadhri Srinivasan:
Estimating Random Delays in Modbus Network Using Experiments and General Linear Regression Neural Networks with Genetic Algorithm Smoothing. - Bakhtiyar Farayev, Yalcin Sadi, Sinem Coleri Ergen:
Optimal Power Control and Rate Adaptation for Ultra-Reliable M2M Control Applications. - Justin Fu, Sergey Levine, Pieter Abbeel:
One-Shot Learning of Manipulation Skills with Online Dynamics Adaptation and Neural Network Priors. - Shayan Poursoltan, Frank Neumann:
A Feature-Based Comparison of Evolutionary Computing Techniques for Constrained Continuous Optimisation. - Manvi, Komal Kumar Bhatia, Ashutosh Dixit:
Design and Implementation of Domain based Semantic Hidden Web Crawler. - Sungsoo Ahn, Sejun Park, Michael Chertkov, Jinwoo Shin:
Minimum Weight Perfect Matching via Blossom Belief Propagation. - Abdullah Gubbi, Mohammad Fazle Azeem, Zahid Ahmed Ansari:
New Fuzzy LBP Features for Face Recognition. - Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang:
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments? - Rossi Kamal, Choong Seon Hong:
Unsupervised Online Bayesian Autonomic Happy Internet-of-Things Management. - Javier Esparza, Enrico Tronci:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents] - Dmitry Namiot:
Twitter as a Transport Layer Platform. - Hendrik Barfuss, Christian Huemmer, Andreas Schwarz, Walter Kellermann:
Robust coherence-based spectral enhancement for distant speech recognition. - Jia Liu, Min Sheng, Yang Xu, Hongguang Sun, Xijun Wang, Xiaohong Jiang:
Throughput capacity of two-hop relay MANETs under finite buffers. - Swagata Mandal, Rourab Paul, Suman Sau, Amlan Chakrabarti, Subhasis Chattopadhyay:
A Novel Method for Soft Error Mitigation in FPGA using Adaptive Cross Parity Code. - Sándor P. Fekete, Robert T. Schweller, Andrew Winslow:
Size-Dependent Tile Self-Assembly: Constant-Height Rectangles and Stability. - Jia Liu, Min Sheng, Yang Xu, Jiandong Li, Xiaohong Jiang:
On throughput capacity for a class of buffer-limited MANETs. - Jia Liu, Yang Xu, Xiaohong Jiang:
End-to-end delay in two hop relay MANETs with limited buffer. - Mengmeng Wang, Yong Liu:
Robust Object Tracking with a Hierarchical Ensemble Framework. - Ahmed M. Ali, Peter Bell, Steve Renals:
Automatic Dialect Detection in Arabic Broadcast Speech. - Lin Zhang, Ming Xiao, Gang Wu, Shaoqian Li:
Efficient Scheduling and Power Allocation for D2D-assisted Wireless Caching Networks. - Daniel Ruprecht:
Implementing Parareal - OpenMP or MPI? - Kurt Winkler, Tobias Kuhn:
Fully automatic multi-language translation with a catalogue of phrases - successful employment for the Swiss avalanche bulletin. - Giulia Pasquale, Tanis Mar, Carlo Ciliberto, Lorenzo Rosasco, Lorenzo Natale:
Enabling Depth-driven Visual Attention on the iCub Humanoid Robot: Instructions for Use and New Perspectives. - Gilles Puy, Mike E. Davies, Rémi Gribonval:
Recipes for stable linear embeddings from Hilbert spaces to $\mathbb{R}^m$. - Konrad Kulakowski:
Dynamic concurrent van Emde Boas array. - Jia Liu, Min Sheng, Yang Xu, Jiandong Li, Xiaohong Jiang:
End-to-end delay modeling in buffer-limited MANETs: a general theoretical framework. - Marc Hellmuth, Adrian Fritz, Nicolas Wieseke, Peter F. Stadler:
Techniques for the Cograph Editing Problem: Module Merge is equivalent to Editing P4s. - Max Bannach, Christoph Stockhusen, Till Tantau:
Fast Parallel Fixed-Parameter Algorithms via Color Coding. - Varat Chawathaworncharoen, Vasaka Visoottiviseth, Ryousei Takano:
Feasibility Evaluation of 6LoWPAN over Bluetooth Low Energy. - Andrea Bisoffi, Fulvio Forni, Mauro Da Lio, Luca Zaccarian:
Global results on reset-induced periodic trajectories of planar systems. - Chidambaram Annamalai:
Finding Perfect Matchings in Bipartite Hypergraphs. - Dengxin Dai, Yujian Wang, Yuhua Chen, Luc Van Gool:
How Useful Is Image Super-resolution to Other Vision Tasks? - Yuan-Hsun Lo, Yijin Zhang, Wing Shing Wong, Hung-Lin Fu:
The Global Packing Number for an Optical Network. - Cristian Jimenez-Romero, David Sousa-Rodrigues, Jeffrey H. Johnson:
Designing Behaviour in Bio-inspired Robots Using Associative Topologies of Spiking-Neural-Networks. - David M. Rogers:
Towards a Direct, By-Need Evaluator for Dependently Typed Languages. - Yuheng Bu, Shaofeng Zou, Yingbin Liang, Venugopal V. Veeravalli:
Universal Outlying sequence detection For Continuous Observations. - Jakob Gruber:
Practical Concurrent Priority Queues. - Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge:
Boolean Hedonic Games. - Soumi Chaki, Aurobinda Routray, William K. Mohanty:
A Novel Pre-processing Scheme to Improve the Prediction of Sand Fraction from Seismic Attributes using Neural Networks. - Akhilesh K. Verma, Soumi Chaki, Aurobinda Routray, William K. Mohanty, Mamata Jenamani:
Quantification of sand fraction from seismic attributes using Neuro-Fuzzy approach. - Siddhant Ahuja, Peter Iles, Steven Lake Waslander:
3D Scan Registration using Curvelet Features in Planetary Environments. - Georgios Amanatidis, Bradley Green, Milena Mihail:
Graphic Realizations of Joint-Degree Matrices. - Soumi Chaki, Akhilesh K. Verma, Aurobinda Routray, William K. Mohanty, Mamata Jenamani:
Well Tops Guided Prediction of Reservoir Properties using Modular Neural Network Concept A Case Study from Western Onshore, India. - Willie K. Harrison, Dinis Sarmento, João P. Vilela, Marco Gomes:
Analysis of Short Blocklength Codes for Secrecy. - David Nova, Pablo A. Estévez:
A review of learning vector quantization classifiers. - (Withdrawn) On The Direct Maximization of Quadratic Weighted Kappa.
- Sayed Kamaledin Ghiasi Shirazi, Mahdi Mohseni, Majid Darvishan, Reza Yousefzadeh:
RSCM Technology for Developing Runtime-Reconfigurable Telecommunication Applications. - Grigory Kabatiansky, Cédric Tavernier, Serge G. Vladut:
On the Doubly Sparse Compressed Sensing Problem. - C. L. González-Valiente:
Analysis of the impact of studies published by Internext - Revista Eletrônica de Negócios Internacionais. - Bob Carpenter, Matthew D. Hoffman, Marcus A. Brubaker, Daniel D. Lee, Peter Li, Michael Betancourt:
The Stan Math Library: Reverse-Mode Automatic Differentiation in C++. - Stefano Di Cairano:
Indirect-adaptive Model Predictive Control for Linear Systems with Polytopic Uncertainty. - Jaimie Murdock, Colin Allen, Simon DeDeo:
Exploration and Exploitation of Victorian Science in Darwin's Reading Notebooks. - Yu Wang, Jianbo Yuan, Jiebo Luo:
America Tweets China: A Fine-Grained Analysis of the State and Individual Characteristics Regarding Attitudes towards China. - Kai-Wei Chang, Shyam Upadhyay, Ming-Wei Chang, Vivek Srikumar, Dan Roth:
IllinoisSL: A JAVA Library for Structured Prediction. - Adrian Dumitrescu, Anirban Ghosh:
Lower bounds on the dilation of plane spanners. - Philipp Hoffmann:
Negotiation Games. 31-42 - Christian Wurm:
Synchronous Subsequentiality and Approximations to Undecidable Problems. 58-72 - Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Simulator Semantics for System Level Formal Verification. 86-99 - Rayna Dimitrova, Rupak Majumdar:
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. 100-114 - Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. 115-128 - Lauri Hella, Johanna Stumpf:
The expressive power of modal logic with inclusion atoms. 129-143 - Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. 1-15 - Martin Zimmermann:
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. 144-157 - Maciej Gazda, Tim A. C. Willemse:
Improvement in Small Progress Measures. 158-171 - François Laroussinie, Nicolas Markey, Arnaud Sangnier:
ATLsc with partial observation. 43-57 - Ryoma Sin'ya:
An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. 172-185 - Zaihu Pang, Fengyun Zhu:
Noise-Robust ASR for the third 'CHiME' Challenge Exploiting Time-Frequency Masking based Multi-Channel Speech Enhancement and Recurrent Neural Network. - Sang Won Bae, Matias Korman, Yoshio Okamoto:
Computing the Geodesic Centers of a Polygonal Domain. - Chenxi Liu, Nan (Jonas) Yang, Jinhong Yuan, Robert A. Malaney:
Secure Transmission for Relay Wiretap Channels in the Presence of Spatially Random Eavesdroppers. - Chen Sun, Chuang Gan, Ram Nevatia:
Automatic Concept Discovery from Parallel Text and Visual Corpora. - Yin Ding, Ivan W. Selesnick:
Sparsity-based Correction of Exponential Artifacts. - A. J. Han Vinck, Fatma Rouissi, Thokozani Shongwe, Guilherme R. Colen, Lucas Giroto de Oliveira:
Impulse Noise and Narrowband PLC. - David Pritchard:
Frequency Distribution of Error Messages. - Shawn Andrews, Ghassan Hamarneh:
Multi-Region Probabilistic Dice Similarity Coefficient using the Aitchison Distance and Bipartite Graph Matching. - Taotao Wang, Soung Chang Liew, Long Shi:
A Lattice Approach for Optimal Rate-Diverse Wireless Network Coding. - Soumya Basu, Thanasis Lianeas, Evdokia Nikolova:
New Complexity Results and Algorithms for the Minimum Tollbooth Problem. - Smita Roy, Samrat Mondal, Asif Ekbal:
CRDT: Correlation Ratio Based Decision Tree Model for Healthcare Data Mining. - Frank Gurski, Jochen Rethmann, Egon Wanke:
Integer Programming Models and Parameterized Algorithms for Controlling Palletizers. - Xiao-Lei Zhang:
Universal Background Sparse Coding and Multilayer Bootstrap Network for Speaker Recognition. - Bruno U. Pedroni, Srinjoy Das, John V. Arthur, Paul Merolla, Bryan L. Jackson, Dharmendra S. Modha, Kenneth Kreutz-Delgado, Gert Cauwenberghs:
Mapping Generative Models onto Networks of Digital Spiking Neurons. - Ivan Vulic, Marie-Francine Moens:
Bilingual Distributed Word Representations from Document-Aligned Comparable Data. - Soumya Banerjee:
Analysis of a Planetary Scale Scientific Collaboration Dataset Reveals Novel Patterns. - Spandan Roy, Indra Narayan Kar:
Adaptive-Robust Control of a Class of Uncertain Nonlinear Systems Utilizing Time-Delayed Input and Position Feedback. - Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin:
On Turnpike and Dissipativity Properties of Continuous-Time Optimal Control Problems. - Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel:
An IMS DSL Developed at Ericsson. - Yong Niu, Chuhan Gao, Yong Li, Depeng Jin, Li Su, Dapeng Wu:
Boosting Spatial Reuse via Multiple Paths Multi-Hop Scheduling for Directional mmWave WPANs. - Gerardo Berbeglia, Gautam Rayaprolu, Adrian Vetta:
The Storable Good Monopoly Problem with Indivisible Demand. - Chaoping Xing, Chen Yuan:
A new class of rank-metric codes and their list decoding beyond the unique decoding radius. - Yong Niu, Li Su, Chuhan Gao, Yong Li, Depeng Jin, Zhu Han:
Exploiting Device-to-Device Communications to Enhance Spatial Reuse for Popular Content Downloading in Directional mmWave Small Cells. - Abul Hasnat, Julien Velcin, Stéphane Bonnevay, Julien Jacques:
Opinion mining from twitter data using evolutionary multinomial mixture models. - Olivier Beaude, Cheng Wan, Samson Lasaulce:
Composite charging games in networks of electric vehicles. - Olivier Beaude, Samson Lasaulce, Martin Hennebel:
Charging Games in Networks of Electrical Vehicles. - Mujahid Sultan, Andriy V. Miranskyy:
Ordering stakeholder viewpoint concerns for holistic and incremental Enterprise Architecture: the W6H framework. - Eitan Zahavi, Alexander Shpiner, Ori Rottenstreich, Avinoam Kolodny, Isaac Keslassy:
Links as a Service (LaaS): Feeling Alone in the Shared Cloud. - Eunjung Kim, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos:
Parameterized Algorithms for Min-Max Multiway Cut and List Digraph Homomorphism. - Richard Stanton, Mike Brookes:
Speech Dereverberation in the STFT Domain. - Johannes Fischer, Tomohiro I, Dominik Köppl:
Deterministic Sparse Suffix Sorting on Rewritable Texts. - Craig Wilson, Venugopal V. Veeravalli:
Adaptive Sequential Optimization with Applications to Machine Learning. - Jennifer Gamble, Harish Chintakunta, Adam C. Wilkerson, Hamid Krim, Ananthram Swami:
Node Dominance: Revealing Community and Core-Periphery Structure in Social Networks. - Bart M. P. Jansen, Astrid Pieterse:
Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT. - Edith Cohen:
Multi-Objective Weighted Sampling. - Deepjyoti Deka, Sriram Vishwanath:
Structural Vulnerability of Power Grids to Disasters: Bounds, Adversarial Attacks and Reinforcement. - Yi Chen, Enyi Yao, Arindam Basu:
A 128 channel Extreme Learning Machine based Neural Decoder for Brain Machine Interfaces. - Sanjay Krishnan, Jiannan Wang, Michael J. Franklin, Ken Goldberg, Tim Kraska:
Stale View Cleaning: Getting Fresh Answers from Stale Materialized Views. - Yiannis Giannakopoulos, Maria Kyropoulou:
The VCG Mechanism for Bayesian Scheduling. - Saeid Haghighatshoar, Giuseppe Caire:
Channel Vector Subspace Estimation from Low-Dimensional Projections. - Yan-Yu Zhang, Hong-Yi Yu, Jian-Kang Zhang, Yi-Jun Zhu, Jin-Long Wang, Tao Wang:
Space Codes for MIMO Optical Wireless Communications: Error Performance Criterion and Code Construction. - Andreas Veit, Balazs Kovacs, Sean Bell, Julian J. McAuley, Kavita Bala, Serge J. Belongie:
Learning Visual Clothing Style with Heterogeneous Dyadic Co-occurrences. - Xi Chen, Igor C. Oliveira, Rocco A. Servedio, Li-Yang Tan:
Near-optimal small-depth lower bounds for small distance connectivity. - Michael J. Wilber, Iljung S. Kwak, David J. Kriegman, Serge J. Belongie:
Learning Concept Embeddings with Combined Human-Machine Expertise. - Zhiguang Wang, Tim Oates:
Spatially Encoding Temporal Correlations to Classify Temporal Data Using Convolutional Neural Networks. - Martin Zimmermann:
Unbounded Lookahead in WMSO+U Games. - Marco Antonio Valenzuela-Escárcega, Gus Hahn-Powell, Mihai Surdeanu:
Description of the Odin Event Extraction Framework and Rule Language. - Hossein Shokri Ghadikolaei, Carlo Fischione, Petar Popovski, Michele Zorzi:
Design Aspects of Short Range Millimeter Wave Networks: A MAC Layer Perspective. - Andreas Veit, Michael J. Wilber, Rajan Vaish, Serge J. Belongie, James Davis, Vishal Anand, Anshu Aviral, Prithvijit Chakrabarty, Yash Chandak, Sidharth Chaturvedi, Chinmaya Devaraj, Ankit Dhall, Utkarsh Dwivedi, Sanket Gupte, Sharath N. Sridhar, Karthik Paga, Anuj Pahuja, Aditya Raisinghani, Ayush Sharma, Shweta Sharma, Darpana Sinha, Nisarg Thakkar, K. Bala Vignesh, Utkarsh Verma, Kanniganti Abhishek, Amod Agrawal, Arya Aishwarya, Aurgho Bhattacharjee, Sarveshwaran Dhanasekar, Venkata Karthik Gullapalli, Shuchita Gupta, Chandana G, Kinjal Jain, Simran Kapur, Meghana Kasula, Shashi Kumar, Parth Kundaliya, Utkarsh Mathur, Alankrit Mishra, Aayush Mudgal, Aditya Nadimpalli, Munakala Sree Nihit, Akanksha Periwal, Ayush Sagar, Ayush Shah, Vikas Sharma, Yashovardhan Sharma, Faizal Siddiqui, Virender Singh, Abhinav S., Pradyumna Tambwekar, Rashida Taskin, Ankit Tripathi, Anurag D. Yadav:
On Optimizing Human-Machine Task Assignments. - Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe:
Formal Support for Standardizing Protocols with State. - Jonathan G. Ligo, George V. Moustakides, Venugopal V. Veeravalli:
Rate Analysis for Detection of Sparse Mixtures. - Vishesh Vikas, Paul Templeton, Barry Trimmer:
Design and control of a soft, shape-changing, crawling robot. - Jorge R. Vergara, Pablo A. Estévez:
A Review of Feature Selection Methods Based on Mutual Information. - Uma Srinivasan, Shahadat Uddin:
A Social Network Framework to Explore Healthcare Collaboration. - George Dimitri Konidaris:
Constructing Abstraction Hierarchies Using a Skill-Symbol Loop. - Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey O. Shallit:
Fractional coverings, greedy coverings, and rectifier networks. - Qiaoyang Ye, Ozgun Y. Bursalioglu, Haralabos C. Papadopoulos, Constantine Caramanis, Jeffrey G. Andrews:
User Association and Interference Management in Massive MIMO HetNets. - Noam Zeilberger:
Counting isomorphism classes of $β$-normal linear lambda terms. - Valerio Capraro, Maria Polukarov, Matteo Venanzi, Nicholas R. Jennings:
Cooperative Equilibrium beyond Social Dilemmas: Pareto Solvable Games. - Yuya Higashikawa, Siu-Wing Cheng, Tsunehiko Kameda, Naoki Katoh, Shun Saburi:
Minimax Regret 1-Median Problem in Dynamic Path Networks. - Kanji Tanaka:
Incremental Loop Closure Verification by Guided Sampling. - Nils Haldenwang, Oliver Vornberger:
Sentiment Uncertainty and Spam in Twitter Streams and Its Implications for General Purpose Realtime Sentiment Analysis. - Enfu Liu, Tanaka Kanji:
Discriminative Map Retrieval Using View-Dependent Map Descriptor. - Jonghyun Lee, Keun Young Lee, Karpjoo Jeong, Meilan Jiang, Bomchul Kim, Suntae Hwang:
A Cyberinfrastructure-based Approach to Real Time Water Temperature Prediction. - Taisho Tsukamoto, Kanji Tanaka:
Self-localization Using Visual Experience Across Domains. - Lok Wong, Shinji Shimojo, Yuuichi Teranishi, Tomoki Yoshihisa, Jason H. Haga:
Interactive Museum Exhibits with Microcontrollers: A Use-Case Scenario. - Hirokatsu Kataoka, Kenji Iwata, Yutaka Satoh:
Feature Evaluation of Deep Convolutional Neural Networks for Object Recognition and Detection. - Zhen Li, Jianjun Xu, Tingshao Zhu:
Prediction of Brain States of Concentration and Relaxation in Real Time with Portable Electroencephalographs. - Laura Rebollo-Neira, Gagan Aggarwal:
A dedicated greedy pursuit algorithm for sparse spectral modelling of music sound. - Boris Aronov, Matias Korman, Simon Pratt, André van Renssen, Marcel Roeloffzen:
Time-Space Trade-offs for Triangulating a Simple Polygon. - Rashid Mijumbi, Joan Serrat, Juan-Luis Gorricho, Niels Bouten, Filip De Turck, Raouf Boutaba:
Network Function Virtualization: State-of-the-art and Research Challenges. - Ken-ichi Kawarabayashi, Zhentao Li, Bruce A. Reed:
Connectivity Preserving Iterative Compaction and Finding 2 Disjoint Rooted Paths in Linear Time. - Rashid Mijumbi, Joan Serrat, Juan-Luis Gorricho, Raouf Boutaba:
A Path Generation Approach to Embedding of Virtual Networks. - Chiel B. Ten Brinke, Frank J. P. van Houten, Hans L. Bodlaender:
Practical Algorithms for Linear Boolean-width. - Victor Yodaiken:
Folding a Tree into a Map. - Konstantinos Tserpes:
CONSENSUS Project: Identifying publicly acceptable policy implementations. - Adrien Richard:
Fixed points and connexions between positive and negative cycles in Boolean networks. - Pramod Kumar Kewat, Priti Kumari:
Cyclic codes from the first class two-prime Whiteman's generalized cyclotomic sequence with order 6. - Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach. - Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Online Stochastic Linear Optimization under One-bit Feedback. - Manuel Blázquez Ochando:
A vulnerability in Google AdSense: Automatic extraction of links to ads. - Cheng-Shang Chang, Wanjiun Liao, Yu-Sheng Chen, Li-Heng Liou:
A Mathematical Theory for Clustering in Metric Spaces. - Soham Das, Kishaloy Halder, Sanjoy Pratihar, Partha Bhowmick:
Properties of Farey Sequence and their Applications to Digital Image Processing. - Xiaohan Wei, Michael J. Neely:
Delay Optimal Power Aware Opportunistic Scheduling with Mutual Information Accumulation. - Petra Kralj Novak, Jasmina Smailovic, Borut Sluban, Igor Mozetic:
Sentiment of Emojis. - Daniil Ryabko, Boris Ryabko:
Predicting the outcomes of every process for which an asymptotically accurate stationary predictor exists is impossible. - Niel de Beaudrap:
On exact counting and quasi-quantum complexity. - Yu Christine Chen, Sairaj V. Dhople:
Power Divider. - Elaine Levey, Thomas Rothvoss:
A Lasserre-based $(1+\varepsilon)$-approximation for $Pm \mid p_j=1, \textrm{prec} \mid C_{\max}$. - Kehinde R. Salau, Jacopo A. Baggio, Marco A. Janssen, Joshua K. Abbott, Eli P. Fenichel:
Taking a moment to measure Networks - A hierarchical approach. - Robert Escriva, Bernard Wong, Emin Gün Sirer:
Warp: Lightweight Multi-Key Transactions for Key-Value Stores. - Robert Escriva, Emin Gün Sirer:
The Design and Implementation of the Wave Transactional Filesystem. - Jaeyong Sung, Ian Lenz, Ashutosh Saxena:
Deep Multimodal Embedding: Manipulating Novel Objects with Point-clouds, Language and Trajectories. - Catalin Ionescu, Orestis Vantzos, Cristian Sminchisescu:
Training Deep Networks with Structured Layers by Matrix Backpropagation. - Bharat Singh, Xintong Han, Zhe Wu, Vlad I. Morariu, Larry S. Davis:
Selecting Relevant Web Trained Concepts for Automated Event Retrieval. - Boris Pritychenko:
Fractional Authorship in Nuclear Physics. - Mouhacine Benosman, Amir-massoud Farahmand, Meng Xia:
Learning-Based Modular Indirect Adaptive Control for a Class of Nonlinear Systems. - Alex Kantchelian, J. D. Tygar, Anthony D. Joseph:
Evasion and Hardening of Tree Ensemble Classifiers. - Charles R. Ferenbaugh:
Cultural Barriers to Software Productivity Practices at Los Alamos. - Ang Li, Radu Serban, Dan Negrut:
Analysis of A Splitting Approach for the Parallel Solution of Linear Systems on GPU Cards. - Manjesh Kumar Hanawal, Amir Leshem, Venkatesh Saligrama:
Algorithms for Linear Bandits on Polyhedral Sets. - Christoph Studer, Giuseppe Durisi:
Quantized Massive MU-MIMO-OFDM Uplink. - Weidong Li, Xi Liu, Xiaolu Zhang, Xuejie Zhang:
A note on dynamic fair division of multiple resources. - Qingqing Huang, Sham M. Kakade:
Super-Resolution Off the Grid. - Bo Song, Victor O. K. Li:
A Revisit of Infinite Population Models for Evolutionary Algorithms on Continuous Optimization Problems. - Jun Zhang, Urbashi Mitra, Kuan-Wen Huang, Nicolò Michelusi:
A new result of the scaling law of weighted L1 minimization. - Ti-Cao Zhang, Chao-Kai Wen, Shi Jin, Tao Jiang:
Mixed-ADC Massive MIMO Detectors: Performance Analysis and Design Optimization. - Yong Feng, Fei Chen, Rui Zeng, Jiasong Wu, Huazhong Shu:
Error Gradient-based Variable-Lp Norm Constraint LMS Algorithm for Sparse System Identification. - Markus Chimani, Petr Hlinený:
Inserting Multiple Edges into a Planar Graph. - Yunpeng Wang, Walid Saad, Narayan B. Mandayam, H. Vincent Poor:
Load Shifting in the Smart Grid: To Participate or Not? - Anoop Mehta, Ruchir Gupta:
An Efficient Local Strategy to Control Information Spreading in Network. - Takuya Ikeda, Masaaki Nagahara, Shunsuke Ono:
Discrete-Valued Control by Sum-of-Absolute-Values Optimization. - Yogesh A. Girdhar, Gregory Dudek:
Modeling Curiosity in a Mobile Robot for Long-Term Autonomous Exploration and Monitoring. - Yogesh A. Girdhar, Walter Cho, Matthew Campbell, Jesus Pineda, Elizabeth Clarke, Hanumant Singh:
Anomaly Detection in Unstructured Environments using Bayesian Nonparametric Scene Modeling. - Takayuki Iguchi, Dustin G. Mixon, Jesse Peterson, Soledad Villar:
Probably certifiably correct k-means clustering. - Giovanni Rossi:
Continuous set packing and near-Boolean functions. - Nitin Singha, Ruchir Gupta, Yatindra Nath Singh:
Reputation Management in Peer-to-Peer Networks: A Control-Theoretical Perspective. - Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Overlapping Community Detection via Local Spectral Clustering. - Fanzhao Wang, Lei Guo, Shiqiang Wang, Qingyang Song, Abbas Jamalipour:
Approaching Single-Hop Performance in Multi-Hop Networks: End-To-End Known-Interference Cancellation (E2E-KIC). - Timothy J. Armstrong:
Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization. - Nicolò Michelusi, Petar Popovski, Michele Zorzi:
Cognitive Access-Transmission Policies under a Primary ARQ process via Chain Decoding. - Sugam Sharma:
An Extended Classification and Comparison of NoSQL Big Data Models. - Takahiro Kawabe, Taiki Fukiage, Masataka Sawayama, Shin'ya Nishida:
Deformation Lamps: A Projection Technique to Make a Static Object Dynamic. - Wentao Zhu, Jun Miao, Laiyun Qing, Xilin Chen:
Deep Trans-layer Unsupervised Networks for Representation Learning. - Yong Niu, Chuhan Gao, Yong Li, Li Su, Depeng Jin:
Exploiting Multi-Hop Relaying to Overcome Blockage in Directional mmWave Small Cells. - Yong Niu, Chuhan Gao, Yong Li, Li Su, Depeng Jin:
Energy Efficient Scheduling for mmWave Backhauling of Small Cells in Heterogeneous Cellular Networks. - Kun Zhang, Biwei Huang, Bernhard Schölkopf, Michel Besserve, Masataka Watanabe, Dajiang Zhu:
Towards Robust and Specific Causal Discovery from fMRI. - Georg Heigold, Ignacio Moreno, Samy Bengio, Noam Shazeer:
End-to-End Text-Dependent Speaker Verification. - Kun He, Yiwei Sun, David Bindel, John E. Hopcroft, Yixuan Li:
Detecting Overlapping Communities from Local Spectral Subspaces. - Tianfu Wu, Yang Lu, Song-Chun Zhu:
Online Object Tracking, Learning and Parsing with And-Or Graphs. - Abhinav Jangda:
Block-Level Parallelism in Parsing Block Structured Languages. - Hao-Min Lin, Hsin-Mu Tsai, Mate Boban:
Scooter-to-X Communications: Antenna Placement, Human Body Shadowing, and Channel Modeling. - Hamid Izadinia, Fereshteh Sadeghi, Santosh Kumar Divvala, Yejin Choi, Ali Farhadi:
Segment-Phrase Table for Semantic Segmentation, Visual Entailment and Paraphrasing. - Martin Welk:
Multivariate Median Filters and Partial Differential Equations. - Anton Kolleck, Jan Vybíral:
Non-asymptotic Analysis of ℓ1-norm Support Vector Machines. - Arvind Kumar, Adarsh Anand, Pankaj Kumar Garg, Mohini Agarwal:
Optimal Release Time Decision from Fuzzy Mathematical Programming Perspective. - Noam Hazon, Mira Gonen, Max Kleb:
Approximation and Heuristic Algorithms for Probabilistic Physical Search on General Graphs. - Pinghui Wang, Jing Tao, Junzhou Zhao, Xiaohong Guan:
Moss: A Scalable Tool for Efficiently Sampling and Counting 4- and 5-Node Graphlets. - Paul Farrow, Martin J. Reed, Maciej Glowiak, Joe Mambretti:
Transcoder Migration For Real Time Video Streaming Systems. - Matus Telgarsky:
Representation Benefits of Deep Feedforward Networks. - Shin Ando:
Discriminative Learning of the Prototype Set for Nearest Neighbor Classification. - Çagkan Yapar, Volker Pohl, Holger Boche:
Compressive phase retrieval of sparse bandlimited signals. - Wojciech M. Zabolotny:
Automatic latency balancing in VHDL-implemented complex pipelined systems. - Phool Preet, Sanjit Singh Batra, Jayadeva:
Feature Selection for classification of hyperspectral data by minimizing a tight bound on the VC dimension. - Ofer Grossman, Dana Moshkovitz:
Amplification and Derandomization Without Slowdown. - Gautier Marti, Frank Nielsen, Philippe Donnat:
Optimal Copula Transport for Clustering Multivariate Time Series. - Saber Mirzaei, Assaf J. Kfoury:
Linear Arrangement of Halin Graphs. - Abhishek Kar, Shubham Tulsiani, João Carreira, Jitendra Malik:
Amodal Completion and Size Constancy in Natural Scenes. - Laszlo Bela Kish, Claes-Goran Granqvist:
Random-resistor-random-temperature KLJN key exchange. - Beipeng Mu, Liam Paull, Ali-akbar Agha-mohammadi, John J. Leonard, Jonathan P. How:
Information-based Active SLAM via Topological Feature Graphs. - Nathalie Bertrand, Mirco Tribastone:
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. EPTCS 194, 2015 [contents] - Yi Dai, Bin Liu:
Robust video object tracking using particle filter with likelihood based feature fusion and adaptive template updating. - Harry Crane, Walter Dempsey:
Atypical scaling behavior persists in real world interaction networks. - Abhishek Sinha, Pradeepkumar Mani, Jie Liu, Ashley Flavel, David A. Maltz:
Distributed Load Management in Anycast-based CDNs. - Xuan Luo, Xuejiao Bai, Shuo Li, Hongtao Lu, Sei-ichiro Kamata:
Fast Non-local Stereo Matching based on Hierarchical Disparity Prediction. - Niharika Sachdeva, Ponnurangam Kumaraguru:
Characterising Behavior and Emotions on Social Media for Safety: Exploring Online Communication between Police and Citizens. - Hosny A. Abbas, Samir Ibrahim Shaheen, Mohammed H. Amin:
Adaptive Agent-Based SCADA System. - William Kuszmaul:
Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations. - Michal Zielinski:
Stream-based aggregation of unreliable heterogeneous network links. - Hsi-En Yu, Weicheng Huang:
Building a Virtual HPC Cluster with Auto Scaling by the Docker. - Mohanad Albayati, Biju Issac:
Analysis of Intelligent Classifiers and Enhancing the Detection Accuracy for Intrusion Detection System. - Gerth Stølting Brodal:
External Memory Three-Sided Range Reporting and Top-$k$ Queries with Sublogarithmic Updates. - Christoph Berkholz, Paul S. Bonsma, Martin Grohe:
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement. - Laura Luzzi, Roope Vehkalahti, Alexander Gorodnik:
Towards a complete DMT classification of division algebra codes. - Fergal Byrne:
Encoding Reality: Prediction-Assisted Cortical Learning Algorithm in Hierarchical Temporal Memory. - Zhen Li, Jianjun Xu, Tingshao Zhu:
Recognition of Brain Waves of Left and Right Hand Movement Imagery with Portable Electroencephalographs. - Sanket S. Kalamkar, Adrish Banerjee:
Secure Communication Via a Wireless Energy Harvesting Untrusted Relay. - Nandini Singhal, Sathya Peri, Subrahmanyam Kalyanasundaram:
Multi-threaded Graph Coloring Algorithm in Shared Memory Architecture. - Stephan Friedrichs, Michael Hemmer, Christiane Schmidt:
The Continuous 1.5D Terrain Guarding Problem: Discretization, Optimal Solutions, and PTAS. - Pablo Jensen, Matteo Morini, Márton Karsai, Tommaso Venturini, Alessandro Vespignani, Mathieu Jacomy, Jean-Philippe Cointet, Pierre Mercklé, Eric Fleury:
Detecting global bridges in networks. - Amitalok J. Budkuley, Bikash Kumar Dey, Vinod M. Prabhakaran:
Communication in the Presence of a State-Aware Adversary. - Mahdi Parvizi, Elham Shadkam, Niloofar Jahani:
A hybrid COA$ε$-constraint method for solving multi-objective problems. - Elif Tugce Ceran, Tugce Erkilic, Elif Uysal-Biyikoglu, Tolga Girici, Kemal Leblebicioglu:
Optimal Energy Allocation Policies for a High Altitude Flying Wireless Access Point. - Elisabeth de Carvalho, Emil Björnson, Erik G. Larsson, Petar Popovski:
Random Access for Massive MIMO Systems with Intra-Cell Pilot Contamination. - Fang Yuan:
Tucker Decomposition For Rotated Codebook in 3D MIMO System Under Spatially Correlated Channel. - Alessio Zappone, Bho Matthiesen, Eduard A. Jorswieck:
Energy Efficiency in MIMO Underlay and Overlay Device-to-Device Communications and Cognitive Radio Systems. - Lars Jaffke, Hans L. Bodlaender:
Definability Equals Recognizability for $k$-Outerplanar Graphs. - Abhaykumar Kumbhar, Farshad Koohifar, Ismail Güvenç, Bruce Mueller:
A Survey on Legacy and Emerging Technologies for Public Safety Communications. - J. M. Landsberg, Nicholas Ryder:
On the geometry of border rank algorithms for n x 2 by 2 x 2 matrix multiplication. - Alberto N. Escalante-B., Laurenz Wiskott:
Theoretical Analysis of the Optimal Free Responses of Graph-Based SFA for the Design of Training Graphs. - Xiaobin Gao, Emrah Akyol, Tamer Basar:
Optimal Estimation with Limited Measurements and Noisy Communication. - Hsiang-Fu Yu, Nikhil Rao, Inderjit S. Dhillon:
Temporal Regularized Matrix Factorization. - Pedro O. Pereira, Dimitris Boskos, Dimos V. Dimarogonas:
A Common Framework for Attitude Synchronization of Unit Vectors in Networks with Switching Topology. - SayedJalil Modares Najafabadi, Nicholas Mastronarde, Michael J. Medley, John D. Matyjas:
UB-ANC: An Open Platform Testbed for Software-Defined Airborne Networking and Communications. - Gabriel Frahm:
Rationality and Best Response. - Utkarsh R. Patel, Piero Triverio:
Skin Effect Modeling in Conductors of Arbitrary Shape Through a Surface Admittance Operator and the Contour Integral Method. - Ivano Notarnicola, Giuseppe Notarstefano:
Asynchronous Distributed Optimization via Randomized Dual Proximal Gradient. - Iwan M. Duursma:
Matrix Theory for Minimal Trellises. - Yang Lu, Song-Chun Zhu, Ying Nian Wu:
Learning FRAME Models Using CNN Filters for Knowledge Visualization. - Ang Li, Feng Tang, Yanwen Guo, Hai Tao:
Efficient Discriminative Nonorthogonal Binary Subspace with its Application to Visual Tracking. - Chawanat Nakasan, Kohei Ichikawa, Hajimu Iida, Putchong Uthayopas:
A Simple Multipath OpenFlow Controller using topology-based algorithm for Multipath TCP. - Jai Manral, Mohammed Alamgir Hossain:
An Innovative Approach for online Meta Search Engine Optimization. - Jai Manral:
Automated Test Case Generation using Petri Nets. - Zheng Li, Liam O'Brien, Ye Yang:
The more Product Complexity, the more Actual Effort? An Empirical Investigation into Software Developments. - Kohei Ichikawa, Maurício O. Tsugawa, Jason H. Haga, Hiroaki Yamanaka, Te-Lung Liu, Yoshiyuki Kido, Pongsakorn U.-Chupala, Che Huang, Chawanat Nakasan, Jo-Yu Chang, Li-Chi Ku, Whey-Fone Tsai, Susumu Date, Shinji Shimojo, Philip M. Papadopoulos, José A. B. Fortes:
PRAGMA-ENT: Exposing SDN Concepts to Domain Scientists in the Pacific Rim. - Sayyed Ali Mirsoleimani, Aske Plaat, H. Jaap van den Herik:
Ensemble UCT Needs High Exploitation. - Sanath Narayan, Kalpathi R. Ramakrishnan:
Hyper-Fisher Vectors for Action Recognition. - Ayush Dubey, Greg D. Hill, Robert Escriva, Emin Gün Sirer:
Weaver: A High-Performance, Transactional Graph Store Based on Refinable Timestamps. - Cheng Qian, Nicholas D. Sidiropoulos, Kejun Huang, Lei Huang, Hing-Cheung So:
Phase Retrieval Using Feasible Point Pursuit: Algorithms and Cramér-Rao Bound. - Giovanni Rossi:
Multilinear objective function-based clustering. - Pedro O. S. Vaz de Melo:
How Many Political Parties Should Brazil Have? A Data-driven Method to Assess and Reduce Fragmentation in Multi-Party Political Systems. - Xiaohan Wei, Qing Ling, Zhu Han:
Recoverability of Group Sparse Signals from Corrupted Measurements via Robust Group Lasso. - Nianxia Cao, Swastik Brahma, Pramod K. Varshney:
Optimal Auction Design with Quantized Bids. - Olivier Beaude, Yujun He, Martin Hennebel:
Introducing Decentralized EV Charging Coordination for the Voltage Regulation. - Slavko Simic:
Refinement of some moment inequalities. - Annabel Sharon Shitrit, Yonathan Murin, Ron Dabora, Osnat Keren:
A New Approach to UEP-HARQ via Convolutional Codes. - Alessandro Aldini, Marco Bernardo:
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. 1-15 - Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. 16-31 - Luca Bortolussi, Jane Hillston:
Efficient Checking of Individual Rewards Properties in Markov Population Models. 32-47 - Yusuke Kawamoto, Thomas Given-Wilson:
Quantitative Information Flow for Scheduler-Dependent Systems. 48-62 - Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. 63-78 - Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. 79-94 - Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
Semiring-based Specification Approaches for Quantitative Security. 95-109 - Mads Rosendahl, Maja H. Kirkeby:
Probabilistic Output Analysis by Program Manipulation. 110-124 - Payam Delgosha, Amin Aminzadeh Gohari, Mohammad Akbarpour:
High Probability Guarantees in Repeated Games: Theory and Applications in Information Theory. - Giacomo Como, Fabio Fagnani:
From local averaging to emergent global behaviors: the fundamental role of network interconnections. - Pengfei Sun, Fang Yuan, Bin Yu, Dalin Zhu:
A Novel Scattered Pilot Design for FBMC/OQAM Systems. - Björn Engelmann, Ernst-Rüdiger Olderog:
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. - Sharma V. Thankachan, Manish Patil, Rahul Shah, Sudip Biswas:
Probabilistic Threshold Indexing for Uncertain Strings. - David Balduzzi:
Semantics, Representations and Grammars for Deep Learning. - Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker:
Often harder than in the Constructive Case: Destructive Bribery in CP-nets. - Takayuki Osogami, Makoto Otsuka:
Learning dynamic Boltzmann machines with spike-timing dependent plasticity. - Krzysztof Wolk, Krzysztof Marasek:
Tuned and GPU-accelerated parallel data mining from comparable corpora. - Yong Zeng, Rui Zhang:
Active Eavesdropping via Spoofing Relay Attack. - Krzysztof Wolk, Krzysztof Marasek:
Neural-based machine translation for medical text domain. Based on European Medicines Agency leaflet texts. - Eduardo Marques Pereira, Jaime S. Cardoso, Ricardo Morla:
Long-Range Trajectories from Global and Local Motion Representations. - Milosh Stolikj, Thomas M. M. Meyfroyt, Pieter J. L. Cuijpers, Johan J. Lukkien:
Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks. - Xiangming Meng, Sheng Wu, Linling Kuang, Jianhua Lu:
Concise Derivation of Complex Bayesian Approximate Message Passing via Expectation Propagation. - Jesus Fernandez-Bes, Rocio Arroyo-Valles, Jerónimo Arenas-García, Jesús Cid-Sueiro:
Censoring Diffusion for Harvesting WSNs. - Thomas M. M. Meyfroyt, Milosh Stolikj, Johan J. Lukkien:
Adaptive Broadcast Suppression for Trickle-Based Protocols. - Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer:
On the Scalability and Message Count of Trickle-based Broadcasting Schemes. - Pushpendra Singh:
LINOEP vectors, spiral of Theodorus, and nonlinear time-invariant system models of mode decomposition. - Zijia Li, Josef Schicho, Hans-Peter Schröcker:
Kempe's Universality Theorem for Rational Space Curves. - Mendes Oulamara, Arnaud Venet:
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. - Ekkehard Köhler, Martin Strehler:
Traffic signal optimization: combining static and dynamic models. - Roberto Marazzato, Amelia Carolina Sparavigna:
Retinex filtering of foggy images: generation of a bulk set with selection and ranking. - Nourhène Alaya, Sadok Ben Yahia, Myriam Lamolle:
Towards Unveiling the Ontology Key Features Altering Reasoner Performances. - K. Eswaran:
A non iterative method of separation of points by planes in n dimensions and its application. - Debajit Sensarma, Samar Sen Sarma:
Data Hiding using Graphical Code based Steganography Technique. - Guillaume Soulié, Vincent Gripon, Maëlys Robert:
Compression of Deep Neural Networks on the Fly. - Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Infinitely Valued G-IALCQ. - Lazhar Homri, Denis Teissandier, Alex Ballu:
Tolerance Analysis by Polytopes. - Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà:
Heuristic methods for the Traveling Salesman Problem with Drone. - Rohan Sharma, Bibhas Adhikari:
Self-Coordinated Corona Graphs: a model for complex networks. - Gabriel Martins Dias, Boris Bellalta, Simon Oechsner:
Reducing the energy consumption in WSNs: A data scientific mechanism. - Robert Nagler, David L. Bruhwiler, Paul Moeller, Stephen Webb:
Sustainability and Reproducibility via Containerized Computing. - Mallenahalli Naresh Kumar:
Hybrid architecture for satellite data processing workflow management. - Sergio Consoli, José Andrés Moreno-Pérez:
An intelligent extension of Variable Neighbourhood Search for labelling graph problems. - Anders Hval Olsen:
The Evolution of eSports: An Analysis of its origin and a look at its prospective future growth as enhanced by Information Technology Management tools. - Loet Leydesdorff, Caroline S. Wagner, Lutz Bornmann:
Replicability and the public/private divide. - Zoha Pajouhi, Xuanyao Fong, Anand Raghunathan, Kaushik Roy:
Yield, Area and Energy Optimization in Stt-MRAMs using failure aware ECC. - N. R. Aravind, R. B. Sandeep, Naveen Sivadasan:
Parameterized Lower Bounds and Dichotomy Results for the NP-completeness of $H$-free Edge Modification Problems. - Xiang Huang, Donald M. Stull:
Polynomial Space Randomness in Analysis with Application to the Lebesgue Differentiation Theorem. - Michail I. Schlesinger, Evgeniy Vodolazskiy:
How to Formulate and Solve Statistical Recognition and Learning Problems. - Ly Phan, Sandra Rugonyi, Cindy Grimm:
Visualization techniques for the developing chicken heart. - Fred Buchali, Georg Böcherer, Wilfried Idler, Laurent Schmalen, Patrick Schulte, Fabian Steiner:
Experimental Demonstration of Capacity Increase and Rate-Adaptation by Probabilistically Shaped 64-QAM. - Ryan Shaw:
Automatically Segmenting Oral History Transcripts. - Hessam Pirzadeh, Seyed Mohammad Razavizadeh, Emil Björnson:
Subverting Massive MIMO by Smart Jamming. - Pooya Monshizadeh, Claudio De Persis, Nima Monshizadeh, Arjan van der Schaft:
A Communication-Free Master-Slave Microgrid with Power Sharing. - Foto N. Afrati, Shantanu Sharma, Jeffrey D. Ullman, Jonathan R. Ullman:
Computing Marginals Using MapReduce. - Nicolas Tremblay, Gilles Puy, Pierre Borgnat, Rémi Gribonval, Pierre Vandergheynst:
Accelerated Spectral Clustering Using Graph Filtering Of Random Signals. - Krzysztof Wolk, Krzysztof Marasek:
Polish - English Speech Statistical Machine Translation Systems for the IWSLT 2014. - Krzysztof Wolk, Krzysztof Marasek:
Building Subject-aligned Comparable Corpora and Mining it for Truly Parallel Sentence Pairs. - Hamid Reza Hassanzadeh, John H. Phan, May D. Wang:
A Semi-Supervised Method for Predicting Cancer Survival Using Incomplete Clinical Data. - Hao Wu:
The Computational Principles of Learning Ability. - Holden Lee:
Quadratic polynomials of small modulus cannot represent OR. - Gaurav Sharma, Bernt Schiele:
Scalable Nonlinear Embeddings for Semantic Category-based Image Retrieval. - Krzysztof Wolk, Krzysztof Marasek:
Polish -English Statistical Machine Translation of Medical Texts. - Yinlam Chow, Jia Yuan Yu:
Real-time Bidding based Vehicle Sharing. - Nikos Bikakis, Karim Benouaret, Dimitris Sacharidis:
Finding Desirable Objects under Group Categorical Preferences. - Kensworth Subratie, Saumitra Aditya, Renato Figueiredo, Cayelan C. Carey, Paul C. Hanson:
GRAPLEr: A Distributed Collaborative Environment for Lake Ecosystem Modeling that Integrates Overlay Networks, High-throughput Computing, and Web Services. - Udayan Khurana, Amol Deshpande:
Storing and Analyzing Historical Graph Data at Scale. - Tom Sercu, Christian Puhrsch, Brian Kingsbury, Yann LeCun:
Very Deep Multilingual Convolutional Neural Networks for LVCSR. - Suren Vagharshakyan, Robert Bregovic, Atanas P. Gotchev:
Light Field Reconstruction Using Shearlet Transform. - Priyadarshini Panda, Abhronil Sengupta, Swagath Venkataramani, Anand Raghunathan, Kaushik Roy:
Object Detection using Semantic Decomposition for Energy-Efficient Neural Computing. - Priyadarshini Panda, Abhronil Sengupta, Kaushik Roy:
Conditional Deep Learning for Energy-Efficient and Enhanced Pattern Recognition. - Arash Ardakani, François Leduc-Primeau, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
VLSI Implementation of Deep Neural Network Using Integral Stochastic Computing. - Tadahiro Taniguchi, Takayuki Nagai, Tomoaki Nakamura, Naoto Iwahashi, Tetsuya Ogata, Hideki Asoh:
Symbol Emergence in Robotics: A Survey. - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. - Mohammad Amin Rahimian, Ali Jadbabaie:
Learning without Recall: A Case for Log-Linear Learning. - Justin Domke:
Maximum Likelihood Learning With Arbitrary Treewidth via Fast-Mixing Parameter Sets. - Mohammad Ramezanali, Partha P. Mitra, Anirvan M. Sengupta:
Critical behavior and universality classes for an algorithmic phase transition in sparse reconstruction. - Ohad Shamir:
Convergence of Stochastic Gradient Descent for PCA. - Rofael Emil Fayez Behnam:
Stats-Calculus Pose Descriptor Feeding A Discrete HMM Low-latency Detection and Recognition System For 3D Skeletal Actions. - Ayan Das, Sourangshu Bhattacharya:
Distributed Weighted Parameter Averaging for SVM Training on Big Data. - Stephan Friedrichs, Christoph Lenzen:
Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford. - Murad Kablan, Carlee Joe-Wong, Sangtae Ha, Hani Jamjoom, Eric Keller:
The Cloud Needs a Reputation System. - Sheng Wu, Linling Kuang, Defeng Huang, Zuyao Ni, Qinghua Guo, Jianhua Lu:
Message-Passing Receiver for Joint Channel Estimation and Decoding in Broadband Massive MIMO Systems. - Jun He, Tao Xu:
Multi-objective Differential Evolution with Helper Functions for Constrained Optimization. - Murad Kablan, Hani Jamjoom, Eric Keller:
Quality of Consumption: The Friendlier Side of Quality of Service. - Frédérick Bénaben, Nicolas Boissel-Dallier, Hervé Pingaud, Jean-Pierre Lorré:
Semantic issues in model-driven management of information system interoperability. - Krzysztof Wolk, Krzysztof Marasek:
Enhanced Bilingual Evaluation Understudy. - Yanwei Pang, Li Ye, Xuelong Li, Jing Pan:
Moving Object Detection in Video Using Saliency Map and Subspace Learning. - Krzysztof Wolk, Krzysztof Marasek:
Real-Time Statistical Speech Translation. - David Monniaux, Laure Gonnord:
An encoding of array verification problems into array-free Horn clauses. - Krzysztof Wolk, Krzysztof Marasek:
A Sentence Meaning Based Alignment Method for Parallel Text Corpora Preparation. - Krzysztof Wolk, Krzysztof Marasek:
Polish - English Speech Statistical Machine Translation Systems for the IWSLT 2013. - Evangelos Matsinos:
Processing of acoustical signals via a wavelet-based analysis. - Yang Hua, Karteek Alahari, Cordelia Schmid:
Online Object Tracking with Proposal Selection. - Md Izhar Ashraf, Sitabhra Sinha:
The "handedness" of language: Directional symmetry breaking of sign usage in words. - Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications. - Manish Kumar, Shubham Kaul:
Technical Report on Intruder Detection and Alert System. - Yun Kuen Cheung, Monika Henzinger, Martin Hoefer, Martin Starnberger:
Combinatorial Auctions with Conflict-Based Externalities. - Frédérick Bénaben, Vatcharaphun Rajsiri, Jean-Pierre Lorré, Hervé Pingaud:
Knowledge-based system for collaborative process specification. - Frédérick Bénaben, Wenxin Mu, Nicolas Boissel-Dallier, Anne-Marie Barthe-Delanoë, Sarah Zribi, Hervé Pingaud:
Supporting interoperability of collaborative networks through engineering of a service-based Mediation Information System (MISE 2.0). - Frédérick Bénaben, Anne-Marie Barthe-Delanoë, Sébastien Truptil, Hervé Pingaud:
Event-driven agility of interoperability during the Run-time of collaborative processes. - Vinay Chakravarthi Gogineni, Mrityunjoy Chakraborty:
Distributed Multi-task APA over Adaptive Networks Based on Partial Diffusion. - Nuno Fachada, Vitor V. Lopes, Rui Costa Martins, Agostinho C. Rosa:
Model-independent comparison of simulation output. - Xiuyuan Cheng, Xu Chen, Stéphane Mallat:
Deep Haar Scattering Networks. - Pavel Kolev, Kurt Mehlhorn:
A Note On Spectral Clustering. - Anton Kulakov, Mark Zwolinski, Jeffrey S. Reeve:
Fault Tolerance in Distributed Neural Computing. - Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita:
Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space. - Jarek Duda:
Normalized rotation shape descriptors and lossy compression of molecular shape. - SaiDhiraj Amuru, Harpreet S. Dhillon, R. Michael Buehrer:
On Jamming Against Wireless Networks. - Srikrishnan Divakaran:
Fast Algorithms for Exact String Matching. - Malte Probst:
Generative Adversarial Networks in Estimation of Distribution Algorithms for Combinatorial Optimization. - Nicolas Gillis, Stephen A. Vavasis:
On the Complexity of Robust PCA and ℓ1-norm Low-Rank Matrix Approximation. - Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea:
Efficiently Finding All Maximal $α$-gapped Repeats. - Chu Luo:
Solving a Mathematical Problem in Square War: a Go-like Board Game. - Yuan Wu, Yanfei He, Liping Qian, Jianwei Huang, Xuemin Shen:
Joint Scheduling and Power Allocations for Traffic Offloading via Dual-Connectivity. - Yuan Zhou, Anand Rangarajan, Paul D. Gader:
A spatial compositional model (SCM) for linear unmixing and endmember uncertainty estimation. - Massoud Mokhtarpour Ghahroodi, Mark Zwolinski:
In-Field Logic Repair of Deep Sub-Micron CMOS Processors. - Harry Crane, Walter Dempsey:
Community detection for interaction networks. - Dimitri P. Bertsekas:
Incremental Aggregated Proximal and Augmented Lagrangian Algorithms. - Shanying Zhu, Yeng Chai Soh, Lihua Xie:
Distributed Inference for Relay-Assisted Sensor Networks With Intermittent Measurements Over Fading Channels. - David Duvenaud, Dougal Maclaurin, Jorge Aguilera-Iparraguirre, Rafael Gómez-Bombarelli, Timothy Hirzel, Alán Aspuru-Guzik, Ryan P. Adams:
Convolutional Networks on Graphs for Learning Molecular Fingerprints. - Armin Mustafa, Hansung Kim, Jean-Yves Guillemaut, Adrian Hilton:
General Dynamic Scene Reconstruction from Multiple View Video. - Sergey D. Andreev, Olga Galinina, Alexander Pyattaev, Mikhail Gerasimenko, Tuomas Tirronen, Johan Torsner, Joachim Sachs, Mischa Dohler, Yevgeni Koucheryavy:
Understanding the IoT Connectivity Landscape: A Contemporary M2M Radio Technology Roadmap. - Andrew Lavin:
Fast Algorithms for Convolutional Neural Networks. - Ramakrishnan Kannan, Grey Ballard, Haesun Park:
A High-Performance Parallel Algorithm for Nonnegative Matrix Factorization. - Kanchan Sarkar, S. P. Bhattacharyya:
Pure and Hybrid Evolutionary Computing in Global Optimization of Chemical Structures: from Atoms and Molecules to Clusters and Crystals. - Yang Cao, Yao Xie, Nagi Gebraeel:
Multi-Sensor Slope Change Detection. - Saeed Salehi:
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally. - Eun Lee, Petter Holme:
Impact of mobility structure on the optimization of small-world networks of mobile agents. - Iasson Karafyllis, Maria Kontorinaki, Markos Papageorgiou:
Robust Global Adaptive Exponential Stabilization of Discrete-Time Systems with Application to Freeway Traffic Control. - F. Michel Dekking:
Pure morphic sequences and their standard forms. - Jesús Gómez-Gardeñes, Manlio De Domenico, Gerardo Gutiérrez, Alex Arenas, Sergio Gómez:
Layer-layer competition in multiplex complex networks. - Adam D. Bookatz, Martin Roetteler, Pawel Wocjan:
Improved bounded-strength decoupling schemes for local Hamiltonians. - Joseph S. Miller, Jason Rute:
Energy randomness. - Mahdi Gorjestani, Elham Shadkam, Mehdi Parvizi, Sajedeh Aminzadegan:
A hybrid COA-DEA method for solving multi-objective problems. - Ky Khac Vu, Pierre-Louis Poirion, Leo Liberti:
Gaussian random projections for Euclidean membership problems. - Gang Li, Tao Wang, Ming-Yong Ye, He-Shan Song:
Weak measurement combined with quantum delayed-choice experiment and implementation in optomechanical system. - Lev D. Beklemishev:
A note on strictly positive logics and word rewriting systems. - Ross Atkins, Colin McDiarmid:
Extremal Distances for Subtree Transfer Operations in Binary Trees. - Johan Thunberg, Florian Bernard, Jorge M. Gonçalves:
On Transitive Consistency for Linear Invertible Transformations between Euclidean Coordinate Systems. - Afonso S. Bandeira:
A note on Probably Certifiably Correct algorithms. - Olivier Marchal:
Locks and keys: How fast can you open several locks with too many keys? - Jonathan P. Sorenson, Jonathan E. Webster:
Strong Pseudoprimes to Twelve Prime Bases. - Pengwen Chen, Albert Fannjiang:
Fourier Phase Retrieval with a Single Mask by Douglas-Rachford Algorithm. - Yohei Kondo, Kohei Hayashi, Shin-ichi Maeda:
Bayesian Masking: Sparse Bayesian Estimation with Weaker Shrinkage Bias. - Zdenek Dvorák, Daniel Král, Robin Thomas:
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations. - Andreas C. Damianou, Neil D. Lawrence:
Semi-described and semi-supervised learning with Gaussian processes. - Yuan Zhang, Elizaveta Levina, Ji Zhu:
Community Detection in Networks with Node Features. - Erika Fille T. Legara, Christopher P. Monterola:
Inferring Passenger Type from Commuter Eigentravel Matrices. - Manfred Opper, Burak Çakmak, Ole Winther:
A Theory of Solving TAP Equations for Ising Models with General Invariant Random Matrices. - Manuel Sebastian Mariani, Matús Medo, Yi-Cheng Zhang:
Ranking nodes in growing networks: When PageRank fails. - Matús Medo, Manuel Sebastian Mariani, An Zeng, Yi-Cheng Zhang:
Identification and modeling of discoverers in online social systems. - Jurgis Pods:
A Comparison of Computational Models for the Extracellular Potential of Neurons. - Nathaniel Rodriguez, Johan Bollen, Yong-Yeol Ahn:
Collective dynamics of belief evolution under cognitive coherence and social conformity. - David P. Hofmeyr, Nicos G. Pavlidis, Idris A. Eckley:
Minimum Spectral Connectivity Projection Pursuit for Unsupervised Classification. - Andreas Kreienbuehl, Pietro Benedusi, Daniel Ruprecht, Rolf Krause:
Time parallel gravitational collapse simulation. - Umut Simsekli, Hazal Koptagel, Figen Öztoprak, S. Ilker Birbil, Ali Taylan Cemgil:
HAMSI: Distributed Incremental Optimization Algorithm Using Quadratic Approximations for Partially Separable Problems. - Alexander Michael Petersen:
Quantifying the impact of weak, strong, and super ties in scientific careers. - Gaurav Pandey, Ambedkar Dukkipati:
Hierarchical Completely Random Measures for Mixed Membership Modelling. - Sophie Hautphenne, Gautier Krings, Jean-Charles Delvenne, Vincent D. Blondel:
Sensitivity analysis of a branching process evolving on a network with application in epidemiology. - Ian R. Petersen, Elanor H. Huntington:
A Possible Implementation of a Direct Coupling Coherent Quantum Observer. - Eyal Ackerman:
On topological graphs with at most four crossings per edge. - Alexey Gribovskiy, Francesco Mondada, Jean-Louis Deneubourg, Leo Cazenille, Nicolas Bredèche, José Halloy:
Automated Analysis of Behavioural Variability and Filial Imprinting of Chicks (G. gallus), using Autonomous Robots. - Ignacio García-Marco, Kolja Knauer:
Drawing graphs with vertices and edges in convex position. - Seungyoung Lee:
Characteristics of Preferentially Attached Network Grown from Small World. - Olivier Guédon, Alexander E. Litvak, Alain Pajor, Nicole Tomczak-Jaegermann:
On the interval of fluctuation of the singular values of random matrices. - Fabien Lauer:
On the complexity of piecewise affine system identification. - Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach. - Ashley Montanaro:
Quantum walk speedup of backtracking algorithms. - J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas:
Static Output Feedback: On Essential Feasible Information Patterns. - Eyal Ackerman, Balázs Keszegh, Máté Vizer:
On the size of planarly connected crossing graphs. - Victor A. Campos, Ricardo C. Corrêa, Diego Delle Donne, Javier Marenco, Annegret Wagler:
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation. - J. M. Landsberg:
An introduction to geometric complexity theory. - Will Dison, Eduard Einstein, Timothy R. Riley:
Taming the hydra: the word problem and extreme integer compression. - Elizabeth Roberto:
Spatial Boundaries and the Local Context of Residential Segregation. - Hendrik W. Lenstra Jr., Alice Silverberg:
Roots of unity in orders. - Onvaree Techakesari, Hendra I. Nurdin:
Error Bounds on Finite-Dimensional Approximations of Input-Output Open Quantum Systems. - Christoph Lehrenfeld:
High order unfitted finite element methods on level set domains using isoparametric mappings. - Teng Qiu, Yongjie Li:
H-NND: A New Member of the In-Tree (IT) Clustering Family. - Jordan Greenblatt:
Dimensionally Exponential Lower Bounds on the $L^p$ Norms of the Spherical Maximal Operator for Cartesian Powers of Finite Trees and Related Graphs. - Andrew Knyazev, Alexander Malyshev:
Continuation model predictive control on smooth manifolds. - Andrew Knyazev, Alexander Malyshev:
Efficient particle continuation model predictive control. - Andrew Knyazev, Alexander Malyshev:
Preconditioning for continuation model predictive control. - Beate Franke, Jean-François Plante, Ribana Roscher, Annie Lee, Cathal Smyth, Armin Hatefi, Fuqi Chen, Einat Gil, Alexander G. Schwing, Alessandro Selvitella, Michael M. Hoffman, Roger B. Grosse, Dieter Hendricks, Nancy Reid:
Statistical Inference, Learning and Models in Big Data. - Edward Eaton, Fang Song:
Making Existential-Unforgeable Signatures Strongly Unforgeable in the Quantum Random-Oracle Model. - Joseph Wang, Kirill Trapeznikov, Venkatesh Saligrama:
Sensor Selection by Linear Programming. - Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy:
On computability and disintegration. - Yudong Chen, Martin J. Wainwright:
Fast low-rank estimation by projected gradient descent: General statistical and algorithmic guarantees. - Jan Krajícek:
Consistency of circuit evaluation, extended resolution and total NP search problems. - Khaled Alshehri, Ji Liu, Xudong Chen, Tamer Basar:
A Stackelberg Game for Multi-Period Demand Response Management in the Smart Grid. - Michael Joswig, Joe Kileel, Bernd Sturmfels, André Wagner:
Rigid Multiview Varieties. - Sébastien Bubeck, Shirshendu Ganguly:
Entropic CLT and phase transition in high-dimensional Wishart matrices. - Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. - Anna L. Smith, Catherine A. Calder, Christopher R. Browning:
Empirical Reference Distributions for Networks of Different Size. - Elchanan Mossel, Jiaming Xu:
Density Evolution in the Degree-correlated Stochastic Block Model. - Matt Barnes, Kyle Miller, Artur Dubrawski:
Performance Bounds for Pairwise Entity Resolution. - Mihai Nica:
Optimal Strategy in "Guess Who?". - Wei Wang, Ming Tang, Panpan Shu, Zhen Wang:
Dynamics of social contagions with heterogeneous adoption thresholds: Crossover phenomena in phase transition. - Yanqing Hu, Shenggong Ji, Ling Feng, Yuliang Jin:
Quantify and Maximise Global Viral Influence Through Local Network Information. - Daniela Lera, Yaroslav D. Sergeyev:
Deterministic global optimization using space-filling curves and multiple estimates of Lipschitz and Holder constants. - Mathew P. Abraham, Ankur A. Kulkarni:
New Results on the Existence of Open Loop Nash Equilibria in Discrete Time Dynamic Games. - Elizabeth Roberto:
The Spatial Context of Residential Segregation. - Ronald D. Vale:
Accelerating Scientific Publication in Biology. - Colin Defant:
Binary Codes and Period-$2$ Orbits of Sequential Dynamical Systems. - Yong Zhuang, Osman Yagan:
Information Propagation in Clustered Multilayer Networks. - Srinadh Bhojanapalli, Anastasios Kyrillidis, Sujay Sanghavi:
Dropping Convexity for Faster Semi-definite Optimization. - Rafael A. Barrio, Tzipe Govezensky, Robin Dunbar, Gerardo Iñiguez, Kimmo Kaski:
Dynamics of deceptive interactions in social networks. - Davide Barbieri:
Geometry and dimensionality reduction of feature spaces in primary visual cortex. - Pablo Escandell-Montero, Milena Chermisi, José María Martínez-Martínez, Juan Gómez-Sanchís, Carlo Barbieri, Emilio Soria-Olivas, Flavio Mari, Joan Vila-Francés, Andrea Stopper, Emanuele Gatti, José David Martín-Guerrero:
Optimization of anemia treatment in hemodialysis patients via reinforcement learning. - Manuel Wüthrich, Cristina Garcia Cifuentes, Sebastian Trimpe, Stefan Schaal:
Robust Gaussian Filtering. - Fabrizio Dabbene, Didier Henrion, Constantino Lagoa:
Simple Approximations of Semialgebraic Sets and their Applications to Control. - Suyog Gupta, Wei Zhang, Josh Milthorpe:
Model Accuracy and Runtime Tradeoff in Distributed Deep Learning. - Klaus Jaffe:
Agent based simulations visualize Adam Smith's invisible hand by solving Friedrich Hayek's Economic Calculus. - Irfan Ahmed, Arif Bhatti:
Design and Implementation of Performance Metrics for Evaluation of Assessments Data. - Stella Civelli, Luigi Barletti, Marco Secondini:
Numerical Methods for the Inverse Nonlinear Fourier Transform. - Artemy Kolchinsky, Alexander J. Gates, Luis M. Rocha:
Modularity and the Spread of Perturbations in Complex Dynamical Systems. - Suriya Gunasekar, Pradeep Ravikumar, Joydeep Ghosh:
Exponential Family Matrix Completion under Structural Constraints. - Yaroslav D. Sergeyev, Dmitri E. Kvasov:
A deterministic global optimization using smooth diagonal auxiliary functions. - Liang Liu:
On the evolution of word usage of classical Chinese poetry. - Badong Chen, Xi Liu, Haiquan Zhao, José C. Príncipe:
Maximum Correntropy Kalman Filter. - Joshua A. Anderson, M. Eric Irrgang, Sharon C. Glotzer:
Scalable Metropolis Monte Carlo for simulation of hard shapes. - Xiang Wang, Ronald D. Haynes, Qihong Feng:
Well Control Optimization using Derivative-Free Algorithms and a Multiscale Approach. - Taylor Ball, Robert W. Bell, Jonathan Guzman, Madeleine Hanson-Colvin, Nikolas Schonsheck:
On the cop number of generalized Petersen graphs. - Albert Solé-Ribalta, Clara Granell, Sergio Gómez, Alex Arenas:
Information transfer in community structured multiplex networks. - Liang Xu, Lihua Xie, Nan Xiao:
Mean Square Capacity of Power Constrained Fading Channels with Causal Encoders and Decoders. - Markus Grassl, Masaaki Harada:
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs. - Balázs Gerencsér, Christophe Cloquet, Vincent D. Blondel:
Markov modeling of Twitter tweet inter-arrival times. - Pooya Ronagh, Brad Woods, Ehsan Iranmanesh:
Solving constrained quadratic binary problems via quantum adiabatic evolution. - Ramón Escobedo, Aitziber Ibañez, Enrique Zuazua:
Optimal strategies for driving a mobile agent in a guidance by repulsion model. - Valery Vilisov:
Modeling Concordances of Company's Investment Directions With Its Market Attraction. - Taylor Short:
On some conjectures concerning critical independent sets of a graph. - Fernando G. S. L. Brandão, Aram W. Harrow:
Estimating operator norms using covering nets. - Lingfei Wu, Jacopo A. Baggio, Marco A. Janssen:
The Dynamics of Collaborative Knowledge Production. - Nathan Kallus, Madeleine Udell:
Learning Preferences from Assortment Choices in a Heterogeneous Population. - Irineo Cabreros, Emmanuel Abbe, Aristotelis Tsirigos:
Detecting Community Structures in Hi-C Genomic Data. - Assaf Hallak, Aviv Tamar, Rémi Munos, Shie Mannor:
Generalized Emphatic Temporal Difference Learning: Bias-Variance Analysis. - Christos Nicolaides, Ruben Juanes, Luis Cueto-Felgueroso:
Self-organization of network dynamics into local quantized states. - Hoang Thanh Lam, Ernesto Diaz-Aviles, Alessandra Pascale, Yiannis Gkoufas, Bei Chen:
(Blue) Taxi Destination and Trip Time Prediction from Partial Trajectories. - Carlo Albert:
A Simulated Annealing Approach to Bayesian Inference. - Richard W. Kenyon, Charles Radin, Kui Ren, Lorenzo Sadun:
Bipodal structure in oversaturated random graphs. - Adam Borchert, Narad Rampersad:
Words with many palindrome pair factors. - Gautier Marti, Philippe Very, Philippe Donnat, Frank Nielsen:
A proposal of a methodological framework with experimental guidelines to investigate clustering stability on financial time series. - Farhad Farokhi, Henrik Sandberg, Iman Shames, Michael Cantoni:
Quadratic Gaussian Privacy Games. - Farhad Farokhi, Michael Cantoni, Iman Shames:
Scheduling Rigid Demands on Continuous-Time Linear Shift-Invariant Systems. - Farhad Farokhi, Iman Shames, Michael G. Rabbat, Mikael Johansson:
On Reconstructability of Quadratic Utility Functions from the Iterations in Gradient Methods. - Onvaree Techakesari, Hendra I. Nurdin:
Tangential Interpolatory Projection for Model Reduction of Linear Quantum Stochastic Systems. - Hendra I. Nurdin, Symeon Grivopoulos, Ian R. Petersen:
The Transfer Function of Generic Linear Quantum Stochastic Systems Has a Pure Cascade Realization. - Yohann Benchetrit, András Sebö:
Ear-decompositions and the complexity of the matching polytope. - Yasuhiro Hashimoto:
Growth fluctuation in preferential attachment dynamics. - Dan Garber, Elad Hazan:
Fast and Simple PCA via Convex Optimization. - Edward J. Fuselier, Varun Shankar, Grady B. Wright:
A High-Order Radial Basis Function (RBF) Leray Projection Method for the Solution of the Incompressible Unsteady Stokes Equations. - Tarek A. Lahlou, Anuran Makur:
Transient Signal Spaces and Decompositions. - Vahan Hovhannisyan, Panos Parpas, Stefanos Zafeiriou:
MAGMA: Multi-level accelerated gradient mirror descent algorithm for large-scale convex composite minimization. - Michael Zehnder, Holger Wache, Hans Friedrich Witschel, Danilo Zanatta, Miguel Rodriguez:
Energy saving in smart homes based on consumer behaviour: A case study. - Krishnamurthy Kirthi:
Narayana Sequences for Cryptographic Applications. - Mehryar Mohri, Scott Yang:
Accelerating Optimization via Adaptive Prediction. - Barbara Zogala-Siudem, Grzegorz Siudem, Anna Cena, Marek Gagolewski:
Agent-based model for the h-index - Exact solution. - Juan Bermejo-Vega, Kevin C. Zatloukal:
Abelian Hypergroups and Quantum Computation. - József Solymosi, Joshua Zahl:
New bounds on curve tangencies and orthogonalities. - Alexander Lozovskiy:
A greedy algorithm for the minimization of a ratio of same-index element sums from two positive arrays. - Siddharth Patwardhan, Subhayan Roy Moulick, Prasanta K. Panigrahi:
Efficient Controlled Quantum Secure Direct Communication Protocols. - Markus Lohrey, Georg Zetzsche:
Knapsack in graph groups, HNN-extensions and amalgamated products. - Rakesh Achanta, Trevor Hastie:
Telugu OCR Framework using Deep Learning. - Carlos Hugo López-Caraballo, Juan A. Lazzús, Ignacio Salfate, Pedro Rojas, Marco Rivera, Luis Palma-Chilla:
Impact of noise on a dynamical system: prediction and uncertainties from a swarm-optimized neural network. - Ben Adcock:
Infinite-dimensional compressed sensing and function interpolation. - Qiyi Lu, Xingye Qiao:
Significance Analysis of High-Dimensional, Low-Sample Size Partially Labeled Data. - Oliver Knill:
Universality for Barycentric subdivision. - Bernhard Gittenberger, Zbigniew Golebiewski:
On the number of lambda terms with prescribed size of their De Bruijn representation. - Ming-Xia Li, Wen-Jie Xie, Zhi-Qiang Jiang, Wei-Xing Zhou:
Communication cliques in mobile phone calling networks. - Matthew B. Hawes, Lyudmila Mihaylova, François Septier, Simon J. Godsill:
A Bayesian Compressed Sensing Kalman Filter for Direction of Arrival Estimation. - Hector Zenil, James A. R. Marshall, Jesper Tegnér:
Approximations of Algorithmic and Structural Complexity Validate Cognitive-behavioural Experimental Results. - Yingxiang Yang, Jalal Etesami, Negar Kiyavash:
Efficient Neighborhood Selection for Gaussian Graphical Models. - Suneel Sarswat, Kandathil Mathew Abraham, Subir Kumar Ghosh:
Identifying collusion groups using spectral clustering. - Arkadiusz Stopczynski, Alex Pentland, Sune Lehmann:
Physical Proximity and Spreading in Dynamic Social Networks. - Matt V. Leduc, Matthew O. Jackson, Ramesh Johari:
Pricing and Referrals in Diffusion on Networks. - José A. Iglesias, Martin Rumpf, Otmar Scherzer:
Shape Aware Matching of Implicit Surfaces based on Thin Shell Energies. - Laurence Boxer, P. Christopher Staecker:
Homotopy relations for digital images. - Ya-Feng Liu, Rui Diao, Feng Ye, Hongwei Liu:
An Efficient Inexact Newton-CG Algorithm for the Smallest Enclosing Ball Problem of Large Dimensions. - Abhinav Singh, Mark D. Humphries:
Finding communities in sparse networks. - Irina A. Kogan, Peter J. Olver:
Invariants of objects and their images under surjective maps. - Boris Leistedt, Jason D. McEwen, Thomas D. Kitching, Hiranya V. Peiris:
3D weak lensing with spin wavelets on the ball. - Jinhu Liu, Jun Wang, Junming Shao, Tao Zhou:
Online Social Activity Reflects Economic Status. - Karthik Gangavarapu, Vyshakh Babji, Tobias Meißner, Andrew I. Su, Benjamin M. Good:
Branch: An interactive, web-based tool for testing hypotheses and developing predictive models. - Andrey Y. Lokhov, Theodor Misiakiewicz:
Efficient reconstruction of transmission probabilities in a spreading process from partial observations. - Janne I. Kokkala, Patric R. J. Östergård:
A coloring of the square of the 8-cube with 13 colors. - Ville Hyvönen, Teemu Pitkänen, Sotiris K. Tasoulis, Liang Wang, Teemu Roos, Jukka Corander:
Fast k-NN search. - Maria Deijfen, Mathias Lindholm:
Growing networks with preferential addition and deletion of edges. - Lezhi Wang, Ri-Qi Su, Zi-Gang Huang, Xiao Wang, Wen-Xu Wang, Celso Grebogi, Ying-Cheng Lai:
Control and controllability of nonlinear dynamical networks: a geometrical approach. - Zhe Gan, Chunyuan Li, Ricardo Henao, David E. Carlson, Lawrence Carin:
Deep Temporal Sigmoid Belief Networks for Sequence Modeling. - Bruno Sanguinetti, Anthony Martin, Giulia Traverso, Jonathan Lavoie, Hugo Zbinden:
Perfectly secure steganography: hiding information in the quantum noise of a photograph. - Marius Junge, Renato Renner, David Sutter, Mark M. Wilde, Andreas J. Winter:
Universal recovery from a decrease of quantum relative entropy. - Cunlai Pu, Siyuan Li, Xianxia Yang, Jian Yang:
Information transport in multiplex networks. - Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani:
Power of Quantum Computation with Few Clean Qubits. - Jeff Alstott, Giorgio Triulzi, Bowen Yan, Jianxi Luo:
Mapping Technology Space by Normalizing Technology Relatedness Networks. - Uri Shaham, Alexander Cloninger, Ronald R. Coifman:
Provable approximation properties for deep neural networks. - Mohammad Bavarian, Thomas Vidick, Henry Yuen:
Anchoring games for parallel repetition. - João Paixão, Jonathan Spreer:
Random collapsibility and 3-sphere recognition. - Sebastian Trip, Claudio De Persis:
Optimal frequency regulation in nonlinear structure preserving power networks including turbine dynamics: an incremental passivity approach. - Ilaria Cardinali, Luca Giuzzi:
Polar Grassmannians and their Codes. - Thierry Sousbie, Stéphane Colombi:
ColDICE: a parallel Vlasov-Poisson solver using moving adaptive simplicial tessellation. - Or Sattath, Siddhardh C. Morampudi, Christopher R. Laumann, Roderich Moessner:
When must a local Hamiltonian be frustration free? - Pablo Huijse, Pablo A. Estévez, Pavlos Protopapas, José C. Príncipe, Pablo Zegers:
Computational Intelligence Challenges and Applications on Large-Scale Astronomical Time Series Databases. - Bruce E. Hajek, Yihong Wu, Jiaming Xu:
Information Limits for Recovering a Hidden Community. - E. D. Vol:
Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning. - Laura Alessandretti, Márton Karsai, Laetitia Gauvin:
User-based representation of time-resolved multimodal public transportation networks. - Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms. - Quan-Hui Liu, Wei Wang, Ming Tang, Hai-Feng Zhang:
Impacts of complex behavioral responses on asymmetric interacting spreading dynamics in multiplex networks. - Farhad Farokhi, Iman Shames, Michael Cantoni:
Optimal Contract Design for Information Acquisition and Sensing. - Carlo Maria Zwölf, Paul Harrison, Julián Garrido, José Enrique Ruiz, Franck Le Petit:
IVOA recommendation: Parameter Description Language Version 1.0. - Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, Andreas von Manteuffel, Carsten Schneider:
Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra. - Dinesh Ramasamy, Upamanyu Madhow:
Compressive spectral embedding: sidestepping the SVD. - Lorenzo Coviello, Massimo Franceschetti, Iyad Rahwan:
Limits of Friendship Networks in Predicting Epidemic Risk. - John Lipor, Laura Balzano, Branko Kerkez, Donald Scavia:
Quantile Search: A Distance-Penalized Active Learning Algorithm for Spatial Sampling. - Aivar Sootla, Alexandre Mauroy:
Properties of Eventually Positive Linear Input-Output Systems. - Alexander J. Gates, Luis M. Rocha:
Control of complex networks requires both structure and dynamics. - Maximilian Karl, Justin Bayer, Patrick van der Smagt:
Efficient Empowerment. - Siamak Ravanbakhsh, Russell Greiner:
Boolean Matrix Factorization and Completion via Message Passing. - Uros Kalabic, Rohit Gupta, Stefano Di Cairano, Anthony M. Bloch, Ilya V. Kolmanovsky:
MPC on manifolds with applications to the control of systems on matrix Lie groups. - Zhaosong Lu:
A Nonmonotone Projected Gradient Method for Optimization over Sparse Symmetric Sets. - Michael Drmota, Manuel Kauers, Lukas Spiegelhofer:
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. - Iman Kazemian, Samin Aref:
A green perspective on capacitated time-dependent vehicle routing problem with time windows. - Chengpu Yu, Michel Verhaegen, Shahar Z. Kovalsky, Ronen Basri:
Identification of Structured LTI MIMO State-Space Models. - Shakir Mohamed, Danilo Jimenez Rezende:
Variational Information Maximisation for Intrinsically Motivated Reinforcement Learning. - Dmitry Storcheus, Mehryar Mohri, Afshin Rostamizadeh:
Foundations of Coupled Nonlinear Dimensionality Reduction. - Paul K. Radtke, Lutz Schimansky-Geier:
A Nonlinear HP-Type Complementary Resistive Switch. - Xin Jiang Hunt, Patricia Reynaud-Bouret, Vincent Rivoirard, Laure Sansonnet, Rebecca Willett:
A data-dependent weighted LASSO under Poisson noise. - Chen-Yu Lee, Patrick W. Gallagher, Zhuowen Tu:
Generalizing Pooling Functions in Convolutional Neural Networks: Mixed, Gated, and Tree. - Junpei Komiyama, Junya Honda, Hiroshi Nakagawa:
Regret Lower Bound and Optimal Algorithm in Finite Stochastic Partial Monitoring. - Julien Perret, Maurizio Gribaudi, Marc Barthelemy:
Roads and cities of $18^{th}$ century France. - Claire Vernade, Olivier Cappé:
Learning From Missing Data Using Selection Bias in Movie Recommendation. - Adam Hackett, Davide Cellai, S. Gómez, Alexandre Arenas, James P. Gleeson:
Bond percolation on multiplex networks. - Daniel K. Molzahn, Dhagash Mehta, Matthew E. Niemerg:
Toward Topologically Based Upper Bounds on the Number of Power Flow Solutions. - Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski:
Optimal quantum algorithm for polynomial interpolation. - Marc Wiedermann, Jonathan F. Donges, Jürgen Kurths, Reik V. Donner:
Spatial network surrogates for disentangling complex system structure from spatial embedding of nodes. - Danica J. Sutherland, Junier B. Oliva, Barnabás Póczos, Jeff G. Schneider:
Linear-time Learning on Distributions with Approximate Kernel Embeddings. - Muhammad Imran Qureshi:
Computing isolated orbifolds in weighted flag varieties. - Vladimir P. Gerdt, Daniel Robertz:
Lagrangian Constraints and Differential Thomas Decomposition. - Daniel R. Jiang, Warren B. Powell:
Risk-Averse Approximate Dynamic Programming with Quantile-Based Risk Measures. - Ervin Györi, Tamás Róbert Mezei:
Partitioning orthogonal polygons into at most 8-vertex pieces, with application to an art gallery theorem. - Kelum Gajamannage, Erik M. Bollt:
Detecting phase transitions in collective behavior using manifold's curvature.
a service of 
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.
last updated on 2024-08-30 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
