default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, August 2015
- Michael S. Gashler, Zachariah Kindle, Michael R. Smith:
A Minimal Architecture for General Cognition. - Alexandre de Brébisson, Étienne Simon, Alex Auvolat
, Pascal Vincent, Yoshua Bengio:
Artificial Neural Networks Applied to Taxi Destination Prediction. - Avhishek Chatterjee, Lav R. Varshney, Sriram Vishwanath:
Work Capacity of Freelance Markets: Fundamental Limits and Decentralized Schemes. - Petra Kralj Novak, Miha Grcar, Borut Sluban, Igor Mozetic:
Analysis of Financial News with NewsStream, Technical Report IJS-DP-11965. - Wei Xia, Danny Ho, Luiz Fernando Capretz:
Calibrating Function Points Using Neuro-Fuzzy Technique. - Wei Lin Du, Danny Ho, Luiz Fernando Capretz:
A Neuro-Fuzzy Model with SEER-SEM for Software Effort Estimation. - Xishi Huang, Luiz Fernando Capretz, Danny Ho, Jing Ren:
An Intelligent Approach to Software Cost Prediction. - Danny Ho, Luiz Fernando Capretz, Xishi Huang, Jing Ren:
Neuro-Fuzzy Algorithmic (NFA) Models and Tools for Estimation. - Heba Aly, Moustafa Youssef:
An Analysis of Device-Free and Device-Based WiFi-Localization Systems. - Gerd Gidion, Michael Grosch, Luiz Fernando Capretz, Ken N. Meadows:
Media Usage Survey: Overall Comparison of Faculty and Students. - Gerd Gidion, Luiz Fernando Capretz, Ken N. Meadows, Michael Grosch:
How Students Use Media: A Comparison across Faculties. - Yan Fang, Victor V. Yashin, Donald M. Chiarulli, Steven P. Levitan:
A Simplified Phase Model for Oscillator Based Computing. - Peter A. Gloor, João Marcos, Patrick De Boer, Hauke Fuehres, Wei Lo, Keiichi Nemoto:
Cultural Anthropology through the Lens of Wikipedia: Historical Leader Networks, Gender Bias, and News-based Sentiment. - Zenon Colaco, Mohan Sridharan:
Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics. - (Withdrawn) Snow Globe: An Advancing-Front 3D Delaunay Mesh Refinement Algorithm.
- Heping Jiang:
A New Property of Hamilton Graphs. - Zhen Gao, Linglong Dai, Chau Yuen, Zhaocheng Wang:
Asymptotic Orthogonality Analysis of Time-Domain Sparse Massive MIMO Channels. - Song-Nam Hong, Ivana Maric, Dennis Hui:
A Novel Cooperative Strategy for Wireless Multihop Backhaul Networks. - D. S. Shashaank, V. Sruthi, M. L. S. Vijayalakshimi, Shomona Gracia Jacob:
Turnover Prediction Of Shares using Data Mining techniques : A Case Study. - Yiling Yang, Yu Huang, Jiannong Cao, Jian Lu:
Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime. - Marco Castelluccio, Giovanni Poggi, Carlo Sansone, Luisa Verdoliva:
Land Use Classification in Remote Sensing Images by Convolutional Neural Networks. - Yuxi Fu, Han Zhu:
The Name-Passing Calculus. - Anatoly D. Plotnikov:
On a logical model of combinatorial problems. - Jaderick P. Pabico, Eliezer A. Albacea:
The Interactive Effects of Operators and Parameters to GA Performance Under Different Problem Sizes. - Axel Angel:
Towards Distortion-Predictable Embedding of Neural Networks. - Biao He, Xiangyun Zhou, Thushara D. Abhayapala:
Achieving secrecy without knowing the number of eavesdropper antennas. - Ira Leviant, Roi Reichart:
Judgment Language Matters: Multilingual Vector Space Models for Judgment Language Aware Lexical Semantics. - Yinsheng Liu, Geoffrey Ye Li, Zhenhui Tan, Deli Qiao:
Single-Carrier Modulation for Large-Scale Antenna Systems. - Arjun Bhardwaj:
Extending SROIQ with Constraint Networks and Grounded Circumscription. - Anatoly D. Plotnikov:
On non-canonical solving the Satisfiability problem. - Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Carlo Vallati:
Efficient handoff for mass transit connectivity using IEEE 802.11. - Ahmed Douik, Hayssam Dahrouj, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Resilient Backhaul Network Design Using Hybrid Radio/Free-Space Optical Technology. - Moran Feldman, Ola Svensson, Rico Zenklusen:
Online Contention Resolution Schemes. - Lyudmila Grigoryeva, Julie Henriques, Juan-Pablo Ortega:
Forecasting, filtering, and reconstruction of stochastic stationary signals using discrete-time reservoir computers. - Yuanpeng Liu, Elza Erkip:
Completion Time in Two-user Channels: An Information-Theoretic Perspective. - Yuanpeng Liu, Elza Erkip:
Capacity and Rate Regions of A Class of Broadcast Interference Channels. - Hamed Yaghoubi Shahir, Uwe Glässer, Amir Yaghoubi Shahir, Hans Wehn:
An Analytic Framework for Maritime Situation Analysis. - Ali Al Imem:
Comparison and evaluation of digital signature schemes employed in ndn network. - Feixiong Luo, Guofeng Cao, Kevin Mulligan, Xiang Li:
Explore Spatiotemporal and Demographic Characteristics of Human Mobility via Twitter: A Case Study of Chicago. - Devendra Singh Sachan, Shailesh Kumar:
Class Vectors: Embedding representation of Document Classes. - Ling Chen, Ting Yu, Rada Chirkova:
WaveCluster with Differential Privacy. - Jian Tang, Meng Qu, Qiaozhu Mei:
PTE: Predictive Text Embedding through Large-scale Heterogeneous Text Networks. - Ahmed M. Alaa, Kartik Ahuja, Mihaela van der Schaar:
Evolution of Social Networks: A Microfounded Model. - Jakub Kowalski, Marek Szykula:
Procedural Content Generation for GDL Descriptions of Simplified Boardgames. - Ruoyu Liu, Yao Zhao, Shikui Wei, Zhenfeng Zhu, Lixin Liao, Shuang Qiu:
Indexing of CNN Features for Large Scale Image Search. - Mohammad Abu Alsheikh, Shaowei Lin, Hwee-Pink Tan, Dusit Niyato:
Toward a Robust Sparse Data Representation for Wireless Sensor Networks. - Dongmei Liang, Wushan Cheng:
Partial matching face recognition method for rehabilitation nursing robots beds. - Salimeh Yasaei Sekeh, Gholamreza Mohtashami Borzadran, Abdolhamid Rezaei Roknabadi:
On double truncated (interval) WCRE and WCE. - Renaud-Alexandre Pitaval, Lu Wei, Olav Tirkkonen, Jukka Corander:
Volume of Metric Balls in High-Dimensional Complex Grassmann Manifolds. - Katerina Fragkiadaki, Sergey Levine, Jitendra Malik:
Recurrent Network Models for Kinematic Tracking. - Mohammad Aghagolzadeh, Hayder Radha:
Dictionary and Image Recovery from Incomplete and Random Measurements. - Johannes Textor, Alexander Idelberger, Maciej Liskiewicz:
Learning from Pairwise Marginal Independencies. - Mohammad Aghagolzadeh, Hayder Radha:
On Hyperspectral Classification in the Compressed Domain. - Zhenhua Zou, Anders Gidmark, Themistoklis Charalambous, Mikael Johansson:
Optimal Radio Frequency Energy Harvesting with Limited Energy Arrival Knowledge. - John Ellis, Ulrike Stege:
A Provably, Linear Time, In-place and Stable Merge Algorithm via the Perfect Shuffle. - Pin-Yu Chen, Shin-Ming Cheng, Pai-Shun Ting, Chia-Wei Lien, Fu-Jen Chu:
When Crowdsourcing Meets Mobile Sensing: A Social Network Perspective. - Panupong Pasupat, Percy Liang:
Compositional Semantic Parsing on Semi-Structured Tables. - Jun He, Wei Song:
SOARAN: A Service-oriented Architecture for Radio Access Network Sharing in Evolving Mobile Networks. - Sheng Guo, Weilin Huang, Yu Qiao:
Local Color Contrastive Descriptor for Image Classification. - Zhibin Liao, Gustavo Carneiro:
On the Importance of Normalisation Layers in Deep Learning with Piecewise Linear Activation Units. - Igal Sason, Sergio Verdú:
Bounds among $f$-divergences. - Hossein Shokri Ghadikolaei, Ioannis Glaropoulos, Viktória Fodor, Carlo Fischione, Anthony Ephremides:
Green Sensing and Access: Energy-Throughput Tradeoffs in Cognitive Networking. - Sivanand Achanta, Anandaswarup Vadapalli, Sai Krishna R., Suryakanth V. Gangashetty:
Significance of Maximum Spectral Amplitude in Sub-bands for Spectral Envelope Estimation and Its Application to Statistical Parametric Speech Synthesis. - Hamed Haddadi, Ferda Ofli, Yelena Mejova, Ingmar Weber, Jaideep Srivastava:
360 Quantified Self. - Martin Cerný, Tomás Plch, Matej Marko, Jakub Gemrot, Petr Ondrácek, Cyril Brom:
Using Behavior Objects to Manage Complexity in Virtual Worlds. - Vikraman Arvind, Pushkar S. Joglekar, S. Raja:
Noncommutative Valiant's Classes: Structure and Complete Problems. - Pui Tung Choi, Lok Ming Lui:
A Linear Algorithm for Disk Conformal Parameterization of Simply-Connected Open Surfaces. - Liqing Cui, Shun Li, Wan Zhang, Zhan Zhang, Tingshao Zhu:
Identifying Emotion from Natural Walking. - Mengyang Yu, Li Liu, Ling Shao:
Kernelized Multiview Projection. - Jing Li, Young-Han Kim:
Partial Decode-Forward Relaying for the Gaussian Two-Hop Relay Network. - Cyprien Mangin, Matthieu Sozeau:
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study. - Ka-Chun Wong:
Evolutionary Multimodal Optimization: A Short Survey. - Ka-Chun Wong:
Evolutionary Algorithms: Concepts, Designs, and Applications in Bioinformatics: Evolutionary Algorithms for Bioinformatics. - Daniele Astolfi, Laurent Praly:
Integral Action in Output Feedback for multi-input multi-output nonlinear systems. - (Withdrawn) Simple relay channel.
- Yuichiro Fujiwara, Charles J. Colbourn:
A combinatorial approach to X-tolerant compaction circuits. - Cody Buntain, Jimmy Lin, Jennifer Golbeck:
Learning to Discover Key Moments in Social Media Streams. - Carl P. Dettmann, Mrinal Kanti Roychowdhury:
Quantization for uniform distributions on equilateral triangles. - Karthik Siva, Jim Tao, Matilde Marcolli:
Spin Glass Models of Syntax and Language Evolution. - Tameem Adel, Alexander Wong, Daniel W. Stashuk:
A Weakly Supervised Learning Approach based on Spectral Graph-Theoretic Grouping. - Christoph Jahnz:
Maintaining prediction quality under the condition of a growing knowledge space. - Cody W. Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki:
Efficient Universal Computation by Greedy Molecular Folding. - Mark Braverman, Ran Gelles, Jieming Mao, Rafail Ostrovsky:
Coding for interactive communication correcting insertions and deletions. - Michael Kech:
Explicit Frames for Deterministic Phase Retrieval via PhaseLift. - Zoubeir Mlika, Elmahdi Driouch, Wessam Ajib, Halima Elbiaze:
On the Base Station Association Problem in HetSNets. - Shuyang Gao, Greg Ver Steeg, Aram Galstyan:
Estimating Mutual Information by Local Gaussian Approximation. - Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado:
Evaluating software-based fingerprint liveness detection using Convolutional Networks and Local Binary Patterns. - Ceyda Sanli, Renaud Lambiotte:
Temporal Pattern of Communication Spike Trains in Twitter: How Often, Who Interacts with Whom? - Jun Zhao, Osman Yagan, Virgil D. Gligor:
Connectivity in Secure Wireless Sensor Networks under Transmission Constraints. - Venkatesan Guruswami, Lingfei Jin, Chaoping Xing:
Efficient list decoding of punctured Reed-Muller codes. - Ágnes Cseh, Telikepalli Kavitha:
Popular Edges and Dominant Matchings. - Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos:
ViSpec: A graphical tool for elicitation of MTL requirements. - Cristina Videira Lopes, Joel Ossher:
How Scale Affects Structure in Java Programs. - Rodrigo C. de Lamare:
Low-Rank Signal Processing: Design, Algorithms for Dimensionality Reduction and Applications. - Tung Thanh Vu, Ha Hoang Kha, Trung Quang Duong, Nguyen-Son Vo:
Wiretapped Signal Leakage Minimization for Secure Multiuser MIMO Systems via Interference Alignment. - Cem Tekin, Mihaela van der Schaar:
Staged Multi-armed Bandits. - Gang Wang, Vassilis Kekatos, Antonio J. Conejo, Georgios B. Giannakis:
Ergodic Energy Management Leveraging Resource Variability in Distribution Grids. - Miguel Ballesteros, Chris Dyer, Noah A. Smith:
Improved Transition-Based Parsing by Modeling Characters instead of Words with LSTMs. - James Jian Qiao Yu, Junhao Lin, Albert Y. S. Lam, Victor O. K. Li:
Coordinated Electric Vehicle Charging Control with Aggregator Power Trading and Indirect Load Control. - Jithin Ravi, Bikash Kumar Dey, Emanuele Viterbo:
Oblivious Transfer over Wireless Channels. - Rajesh Mathur, Scott Miles, Miao Du:
Adaptive Automation: Leveraging Machine Learning to Support Uninterrupted Automated Testing of Software Applications. - Kexin Xiao, Baicen Xiao, Shutian Zhang, Zhiyong Chen, Bin Xia:
Simplified Multiuser Detection for SCMA with Sum-Product Algorithm. - Baicen Xiao, Kexin Xiao, Shutian Zhang, Zhiyong Chen, Bin Xia, Hui Liu:
Iterative detection and decoding for SCMA systems with LDPC codes. - Alban Grastien:
Interval Predictability in Discrete Event Systems. - Bogdan Oancea, Tudorel Andrei, Raluca Mariana Dragoescu:
Accelerating R with high performance linear algebra libraries. - Hans-Andrea Loeliger, Pascal O. Vontobel:
Factor Graphs for Quantum Probabilities. - Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam:
Non-commutative Edmonds' problem and matrix semi-invariants. - Po-Chun Fu, Pei-Rong Li, Li-Ming Wei, Chang-Lin Chen, Che Lin:
Deterministic Differential Search Algorithm for Distributed Sensor/Relay Networks. - Naman Goel, Divyakant Agrawal, Sanjay Chawla, Ahmed K. Elmagarmid:
Parameter Database : Data-centric Synchronization for Scalable Machine Learning. - Zhilin Yang, Jie Tang:
Multi-Source Bayesian Embeddings for Learning Social Knowledge Graphs. - Shao-Yuan Li, Yuan Jiang, Zhi-Hua Zhou:
Multi-Label Active Learning from Crowds. - Raphaël Clifford, Allyx Fontaine, Ely Porat, Benjamin Sach, Tatiana Starikovskaya:
The k-mismatch problem revisited. - Tomas Krilavicius, Indre Zliobaite, Henrikas Simonavicius, Laimonas Jarusevicius:
Predicting respiratory motion for real-time tumour tracking in radiotherapy. - Shun Li, Changye Zhu, Liqing Cui, Nan Zhao, Baobin Li, Tingshao Zhu:
Recognition of Emotions using Kinects. - Adrien Gaidon, Eleonora Vig:
Online Domain Adaptation for Multi-Object Tracking. - Xiao Han, Leye Wang, Jiangtao Wen, Ángel Cuevas, Chao Chen, Noël Crespi:
Are You Really Hidden? Predicting Current City from Profile and Social Relationship. - Zelda Mariet, Suvrit Sra:
Fixed-point algorithms for determinantal point processes. - Namusale Chama, Rute C. Sofia:
A Discussion on Developing Multihop Routing Metrics Sensitive to Node Mobility. - Olivier Cavadenti, Víctor Codocedo, Jean-François Boulicaut, Mehdi Kaytoue:
Identifying Avatar Aliases in Starcraft 2. - Jeremie Papon, Markus Schoeler:
Semantic Pose using Deep Networks Trained on Synthetic RGB-D. - Gang Wang, Bolun Wang, Tianyi Wang, Ana Nika, Bingzhe Liu, Haitao Zheng, Ben Y. Zhao:
Attacks and Defenses in Crowdsourced Mapping Services. - Sougata Chaudhuri, Ambuj Tewari:
Perceptron like Algorithms for Online Learning to Rank. - Manfred Schwarz, Kyrill Winkler, Ulrich Schmid:
Fast Consensus under Eventually Stabilizing Message Adversaries. - Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. - Ankit Agrawal:
Qualitative Decision Methods for Multi-Attribute Decision Making. - Eric Showers, Nathan Tindall, Todd Davies:
Equality of Participation Online Versus Face to Face: Condensed Analysis of the Community Forum Deliberative Methods Demonstration. - Oussama Fadil, Jake Soloff:
Information Cascades and Online Rating Games. - Roberto Assis Machado, Jerry Anderson Pinheiro, Marcelo Firer:
Characterization of metrics induced by hierarchical posets. - (Withdrawn) Degrees of Freedom for Instantaneous-Relay Aided Interference Channel: Bounds and Achievable Schemes.
- Nicolò Michelusi, James Q. Boedicker, Mohamed Y. El-Naggar, Urbashi Mitra:
Queuing models for abstracting interactions in Bacterial communities. - Weiping Zhu:
Loss Rate Estimators and the Properties for the Tree Topology. - Yirui Cong, Xiangyun Zhou:
Event-Trigger Based Robust-Optimal Control for Energy Harvesting Transmitter. - Namyoon Lee:
MAP Support Detection for Greedy Sparse Signal Recovery Algorithms in Compressive Sensing. - Yankui Sun, Tian Zhang, Yue Zhao, Yufan He:
3D Automatic Segmentation Method for Retinal Optical Coherence Tomography Volume Data Using Boundary Surface Enhancement. - Peixian Chen, Nevin L. Zhang, Leonard K. M. Poon, Zhourong Chen:
Progressive EM for Latent Tree Models and Hierarchical Topic Detection. - Tao Zhang, Gennian Ge:
Quantum Block and Synchronizable Codes Derived from Certain Classes of Polynomials. - Tao Zhang, Gennian Ge:
Quantum Codes from Generalized Reed-Solomon Codes and Matrix-Product Codes. - Peng He, Yuming Mao, Qiang Liu, Kun Yang:
Improving Reliability Performance of Diffusion-based Molecular Communication With Adaptive Threshold Variation Algorithm. - Pitoyo Hartono:
Dimension Reduction with Non-degrading Generalization. - Zhuoran Wang, Paul A. Crook, Wenshuo Tang, Oliver Lemon:
On the Linear Belief Compression of POMDPs: A re-examination of current methods. - Xiaodong Liu, Xiangke Liao, Shanshan Li, Jingying Zhang, Lisong Shao, Chenlin Huang, Liquan Xiao:
On the Shoulders of Giants: Incremental Influence Maximization in Evolving Social Networks. - Mazhar Tayel, Eslam I. AlSaba:
Robust and Sensitive Method of Lyapunov Exponent for Heart Rate Variability. - Simone Bianco, Claudio Cusano, Raimondo Schettini:
Single and Multiple Illuminant Estimation Using Convolutional Neural Networks. - Dongxu Zhang, Dong Wang:
Relation Classification via Recurrent Neural Network. - Jaeyong Chung, Taehwan Shin, Yongshin Kang:
INsight: A Neuromorphic Computing System for Evaluation of Large Neural Networks. - Dongxu Zhang, Tianyi Luo, Dong Wang, Rong Liu:
Learning from LDA using Deep Neural Networks. - Dusan Knop, Tomás Masarík:
Computational complexity of distance edge labeling. - Bokai Cao, Xiangnan Kong, Philip S. Yu:
A review of heterogeneous data mining for brain disorders. - Kristian Ejlebjerg Jensen, Peter Szabó, Fridolin Okkels:
Implementation of the Log-Conformation Formulation for Two-Dimensional Viscoelastic Flow. - Florian Lonsing, Martina Seidl, Allen Van Gelder:
The QBF Gallery: Behind the Scenes. - Manuel Jesús Rivas Sández:
A Review of Technical Problems when Conducting an Investigation in Cloud Based Environments. - Roman Fedorov, Alessandro Camerada, Piero Fraternali, Marco Tagliasacchi:
Estimating snow cover from publicly available images. - Francesca Arrigo, Michele Benzi:
Edge modification criteria for enhancing the communicability of digraphs. - Spyridoula D. Xenaki, Konstantinos Koutroumbas, Athanasios A. Rontogiannis:
On the convergence of the sparse possibilistic c-means algorithm. - Noa Avigdor-Elgrabli, Gideon Blocq, Iftah Gamzu:
Offline and Online Models of Budget Allocation for Maximizing Influence Spread. - Jing Su, Oisín Boydell, Derek Greene, Gerard Lynch:
Topic Stability over Noisy Sources. - Rodrigo Carvajal, Juan C. Agüero, Boris I. Godoy, Dimitrios Katselis:
A MAP approach for ℓq-norm regularized sparse parameter estimation using the EM algorithm. - Oswin Aichholzer, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, Birgit Vogtenhuber:
Representing Directed Trees as Straight Skeletons. - Paolo Nesi, Gianni Pantaleo:
Detection of Critical Number of People in Interlocked Doors for Security Access Control by Exploiting a Microwave Transceiver-Array. - Pierfrancesco Bellini, Paolo Nesi, Nadia Rauch:
Ontology Bulding vs Data Harvesting and Cleaning for Smart-city Services. - Fabio Anselmi, Lorenzo Rosasco, Cheston Tan, Tomaso A. Poggio:
Deep Convolutional Networks are Hierarchical Kernel Machines. - Pierfrancesco Bellini, Monica Benigni, Riccardo Billero, Paolo Nesi, Nadia Rauch:
Km4City Ontology Building vs Data Harvesting and Cleaning for Smart-city Services. - Rute C. Sofia, Paulo Mendes, Manuel José Damásio, Sara Henriques, Fabio Giglietto, Erica Giambitto, Alessandro Bogliolo:
Moving Towards a Socially-Driven Internet Architectural Design. - Vincent Froese, Iyad A. Kanj, André Nichterlein, Rolf Niedermeier:
Finding Points in General Position. - Martin Mayer, Norbert Goertz:
Bayesian Optimal Approximate Message Passing to Recover Structured Sparse Signals. - Claudio Cusano, Paolo Napoletano, Raimondo Schettini:
Evaluating color texture descriptors under large variations of controlled lighting conditions. - Vladimir P. Burichenko:
Symmetries of matrix multiplication algorithms. I. - Xin Li:
Improved Constructions of Two-Source Extractors. - Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann:
Encoding CSP into CCS (Extended Version). - Awais Mansoor, Juan J. Cerrolaza, Robert Avery, Marius George Linguraru:
Partitioned Shape Modeling with On-the-Fly Sparse Appearance Learning for Anterior Visual Pathway Segmentation. - George Christodoulou, Alkmini Sgouritsa, Bo Tang:
On the Efficiency of All-Pay Mechanisms. - Francesco Solera, Simone Calderara, Rita Cucchiara:
Socially Constrained Structural Learning for Groups Detection in Crowd. - Ying Li, Kun Xie, Xin Wang:
Pushing towards the Limit of Sampling Rate: Adaptive Chasing Sampling. - Tung Thanh Vu, Ha Hoang Kha, Trung Quang Duong, Nguyen-Son Vo:
Particle Swarm Optimization for Weighted Sum Rate Maximization in MIMO Broadcast Channels. - Tung Thanh Vu, Ha Hoang Kha, Trung Quang Duong:
Interference Alignment Designs for Secure Multiuser MIMO Systems: Rank Constrained Rank Minimization Approach. - Foto N. Afrati, Shlomi Dolev, Shantanu Sharma, Jeffrey D. Ullman:
Meta-MapReduce: A Technique for Reducing Communication in MapReduce Computations. - Garrick Orchard, Cedric Meyer, Ralph Etienne-Cummings, Christoph Posch, Nitish V. Thakor, Ryad Benosman:
HFirst: A Temporal Approach to Object Recognition. - Lucas Bernardi, Jaap Kamps, Julia Kiseleva, Melanie J. I. Müller:
The Continuous Cold Start Problem in e-Commerce Recommender Systems. - Ying Li, Katherine Guo, Xin Wang, Emina Soljanin, Thomas Woo:
SEARS: Space Efficient And Reliable Storage System in the Cloud. - Robert Döring:
Evaluation des Algorithmus DIBADAWN zum Detektieren von Bruecken und Gelenkpunkten in 802.11 Maschennetzen. - Jándor Fülöp, Waldemar W. Koczkodaj, Stanislaw J. Szarek:
A different perspective on a scale for pairwise comparisons. - Andrew Stanton, Amanda Thart, Ashish Jain, Priyank Vyas, Arpan Chatterjee, Paulo Shakarian:
Mining for Causal Relationships: A Data-Driven Study of the Islamic State. - William Chan, Navdeep Jaitly, Quoc V. Le, Oriol Vinyals:
Listen, Attend and Spell. - Amin Azari, Jalil S. Harsini, Farshad Lahouti:
Power Allocation in Multi-hop OFDM Transmission Systems with Amplify-and-Forward Relaying: A Unified Approach. - Manas Joglekar, Christopher Ré:
It's all a matter of degree: Using degree information to optimize multiway joins. - Qiong Huang, Ashok Veeraraghavan, Ashutosh Sabharwal:
TabletGaze: A Dataset and Baseline Algorithms for Unconstrained Appearance-based Gaze Estimation in Mobile Tablets. - Weiping Zhu:
Divide and Conquer: Loss Tomography in General Topology. - Anvesh Komuravelli, Nikolaj S. Bjørner, Arie Gurfinkel, Kenneth L. McMillan:
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. - Ilya Kalinowski, Vladimir Spitsyn:
Compact Convolutional Neural Network Cascade for Face Detection. - Kittipong Kittichokechai, Giuseppe Caire:
Secret key-based Identification and Authentication with a Privacy Constraint. - Emanuele G. Fusco, Andrzej Pelc:
Knowledge, Level of Symmetry, and Time of Leader Election. - Michael Minock, Nils Everling:
Replication and Generalization of PRECISE. - Joan Duran, Michael Möller, Catalina Sbert, Daniel Cremers:
Collaborative Total Variation: A General Framework for Vectorial TV Models. - Fatima M. Moncada, Jaderick P. Pabico:
On Gobbledygook and Mood of the Philippine Senate: An Exploratory Study on the Readability and Sentiment of Selected Philippine Senators' Microposts. - Shlomi Dolev, Lukasz Krzywiecki, Nisha Panwar, Michael Segal:
Vehicle to Vehicle Authentication. - Neda Abdollahi, Mohammad Jafari, Morteza Bayat, Ali Amiri, Mahmood Fathy:
An efficient parallel algorithm for computing determinant of non square matrices. - Yousef Abuseta, Khaled Swesi:
Design Patterns for Self Adaptive Systems Engineering. - Marc Boullé:
Universal Approximation of Edge Density in Large Graphs. - Fatih Korkmaz, Ismail Topaloglu, Hayati Mamur:
Fuzzy Logic Based Direct Torque Control Of Induction Motor With Space Vector Modulation. - Alok Ranjan Pal, Diganta Saha:
Word sense disambiguation: a survey. - Alok Ranjan Pal, Diganta Saha, Niladri Sekhar Dash:
Automatic classification of bengali sentences based on sense definitions present in bengali wordnet. - Alessia Amelio, Clara Pizzuti:
Mining and Analyzing the Italian Parliament: Party Structure and Evolution. - Anatoly V. Anisimov, Igor O. Zavadskyi:
Variable-length Splittable Codes with Multiple Delimiters. - Moritz Mühlenthaler:
Degree-constrained Subgraph Reconfiguration is in P. - Abdolahad Noori Zehmakan:
Bin Packing Problem: Two Approximation Algorithms. - Gary A. McGilvary, Malcolm P. Atkinson, Sandra Gesing, Alvaro Aguilera, Richard Grunzke, Eva Sciacca:
Enhanced Usability of Managing Workflows in an Industrial Data Gateway. - Luís Marujo, José Portelo, Wang Ling, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell, Isabel Trancoso, Bhiksha Raj:
Privacy-Preserving Multi-Document Summarization. - Mohammad Abdus Salam, Alfred Sarkodee-Adoo:
Referencing Tool for Reputation and Trust in Wireless Sensor Networks. - Jessica A. Enright, Lorna Stewart:
Equivalence of the filament and overlap graphs of subtrees of limited trees. - Iyad AlAgha:
Using Linguistic Analysis to Translate Arabic Natural Language Queries to SPARQL. - Rico Zenklusen:
An O(1)-Approximation for Minimum Spanning Tree Interdiction. - Ying Wang, Xiangming Dai, Jason Min Wang, Brahim Bensaou:
Energy Efficient Medium Access with Interference Mitigation in LTE Femtocell Networks. - Monowar Hasan, Ekram Hossain:
Distributed Resource Allocation for Relay-Aided Device-to-Device Communication Under Channel Uncertainties: A Stable Matching Approach. - Alex Samorodnitsky:
On the entropy of a noisy function. - Qiang Zhan, Chunhong Wang:
Hyponymy extraction of domain ontology concept based on ccrfs and hierarchy clustering. - Reem Ahmed Alotaibi, Lamiaa A. Elrefaei:
Arabic Text Watermarking: A Review. - Richard Cole, Vijaya Ramachandran:
Resource Oblivious Sorting on Multicores. - Saif Dawood Salman Al-Shaikhli, Michael Ying Yang, Bodo Rosenhahn:
Automatic 3D Liver Segmentation Using Sparse Representation of Global and Local Image Information via Level Set Formulation. - Bibo Shi, Jundong Liu:
Nonlinear Metric Learning for kNN and SVMs through Geometric Transformations. - Pete Trautman:
A Unified Approach to 3 Basic Challenges in Shared Autonomy. - Uday Kamath, Carlotta Domeniconi, Kenneth A. De Jong:
Theoretical and Empirical Analysis of a Parallel Boosting Algorithm. - Yaoqing Yang, Soummya Kar, Pulkit Grover:
Graph Codes for Distributed Instant Message Collection in an Arbitrary Noisy Broadcast Network. - Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam:
On generating the ring of matrix semi-invariants. - Humberto Jesús Corona Pampín, Michael P. O'Mahony:
A Mood-based Genre Classification of Television Content. - Yukio Hayashi:
Recoverable DTN Routing based on a Relay of Cyclic Message-Ferries on a MSQ Network. - Lei Zhang, Chuanyan Hu, Qianhong Wu, Josep Domingo-Ferrer, Bo Qin:
On the Security of Privacy-Preserving Vehicular Communication Authentication with Hierarchical Aggregation and Fast Response. - (Withdrawn) Automata networks model for alignment and least effort on vocabulary formation.
- Javier Vera, Eric Goles:
Automata Networks Model of Memory Loss Effects on the Formation of Linguistic Conventions. - Minwei Feng, Bing Xiang, Michael R. Glass, Lidan Wang, Bowen Zhou:
Applying Deep Learning to Answer Selection: A Study and An Open Task. - Rajeev Kohli, Ramesh Krishnamurti:
Lower Bound for the Unique Games Problem. - Jonathan Sterling:
Remark on the hypothetical judgment. - Paul Cuff:
A Stronger Soft-Covering Lemma and Applications. - Yuanye Ma, He Chen, Zihuai Lin, Yonghui Li, Branka Vucetic:
Distributed and Optimal Resource Allocation for Power Beacon-Assisted Wireless-Powered Communications. - Adyasha Behera, Amrutanshu Panigrahi:
Determining the network throughput and flow rate using GSR And AAL2R. - Maria Spichkova, Heinz W. Schmidt:
Requirements Engineering Aspects of a Geographically Distributed Architecture. - Ruiliang Zhang, Shuai Zheng, James T. Kwok:
Fast Distributed Asynchronous SGD with Variance Reduction. - Shunsuke Horii, Toshiyasu Matsushima, Shigeichi Hirasawa:
Linear Programming Decoding of Binary Linear Codes for Symbol-Pair Read Channels. - Shiva Asadianfam, Mahboubeh Shamsi, Sima Asadianfam:
Predicting academic major of students using bayesian networks to the case of iran. - David Barrera, Raphael M. Reischuk, Pawel Szalachowski, Adrian Perrig:
SCION Five Years Later: Revisiting Scalability, Control, and Isolation on Next-Generation Networks. - René van Bevern, Rolf Niedermeier, Ondrej Suchý:
A parameterized complexity view on non-preemptively scheduling interval-constrained jobs: few machines, small looseness, and small slack. - Iosif Salem, Elad Schiller, Marina Papatriantafilou, Philippas Tsigas:
Shared-object System Equilibria: Delay and Throughput Analysis. - Limin Wang, Sheng Guo, Weilin Huang, Yu Qiao:
Places205-VGGNet Models for Scene Recognition. - Natarajan Meghanathan:
Distribution of maximal clique size of the vertices for theoretical small-world networks and real-world networks. - Zeinab Zaremohzzabieh, Bahaman Abu Samah, Siti Zobidah Omar, Jusang Bolong, Nurul Akhtar Kamarudin:
Addictive Facebook Use among University Students. - An Zeng, Chi Ho Yeung, Matús Medo, Yi-Cheng Zhang:
Modeling mutual feedback between users and recommender systems. - Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. - Kasra Madadipouya:
A Location-Based Movie Recommender System Using Collaborative Filtering. - Mohammad Ahmadi, Mostafa Vali, Farez Moghaddam, Aida Hakemi, Kasra Madadipouya:
A Reliable User Authentication and Data Protection Model in Cloud Computing Environments. - Morteza Jaderian, Hossein Moradzadeh, Kasra Madadipouya, Mohammad Firoozinia, Shahaboddin Shamshirband:
A Method in Security of Wireless Sensor Network based on Optimized Artificial immune system in Multi-Agent Environments. - Wanpeng Li, Chris J. Mitchell:
Analysing the Security of Google's implementation of OpenID Connect. - Rimah Amami, Noureddine Ellouze:
Study of Phonemes Confusions in Hierarchical Automatic Phoneme Recognition System. - Daniel Fett, Ralf Küsters, Guido Schmitz:
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web. - Jure Sokolic, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:
Mismatch in the Classification of Linear Subspaces: Sufficient Conditions for Reliable Classification. - Jun-Cheng Chen, Vishal M. Patel, Rama Chellappa:
Unconstrained Face Verification using Deep CNN Features. - Daniele Bartoli, Matteo Bonini, Massimo Giulietti:
Constant dimension codes from Riemann-Roch spaces. - Sureyya Sahin:
Position Equations of a 3RPR Planar Manipulator. - Vangelis Angelakis, Ioannis Avgouleas, Nikolaos Pappas, Emma Fitzgerald, Di Yuan:
Allocation of Heterogeneous Resources of an IoT Device to Flexible Services. - Tsung-Hsien Wen, Milica Gasic, Nikola Mrksic, Pei-hao Su, David Vandyke, Steve J. Young:
Semantically Conditioned LSTM-based Natural Language Generation for Spoken Dialogue Systems. - Alan Godoy, Flávio Olmos Simões, José Augusto Stuchi, Marcus de Assis Angeloni, Mário Uliani Neto, Ricardo P. V. Violato:
Using Deep Learning for Detecting Spoofing Attacks on Speech Signals. - Martin Marinov, Nicholas Nash, David Gregg:
Practical Algorithms for Finding Extremal Sets. - Tsung-Hsien Wen, Milica Gasic, Dongho Kim, Nikola Mrksic, Pei-hao Su, David Vandyke, Steve J. Young:
Stochastic Language Generation in Dialogue using Recurrent Neural Networks with Convolutional Sentence Reranking. - Gerardo Vega:
Reducible Cyclic Codes Constructed as the Direct Sum of Two Semiprimitive Cyclic Codes. - David E. Simmons, Justin P. Coon, Naqueeb Ahmad Warsi:
Capacity and Power Scaling Laws for Finite Antenna MIMO Amplify-and-Forward Relay Networks. - Daniel M. Romero, Roderick I. Swaab, Brian Uzzi, Adam D. Galinsky:
Mimicry Is Presidential: Linguistic Style Matching in Presidential Debates and Improved Polling Numbers. - Teruyoshi Kobayashi:
Trend-driven information cascades on random networks. - Kaarthik Sundar, Sivakumar Rathinam:
Generalized multiple depot traveling salesmen problem - polyhedral study and exact algorithm. - Chong Huang, Lalitha Sankar, Anand D. Sarwate:
Designing Incentive Schemes For Privacy-Sensitive Users. - Bryant Chen:
Decomposition and Identification of Linear Structural Equation Models. - Peter J. Ayre, Amin Coja-Oghlan, Catherine S. Greenhill:
Hypergraph coloring up to condensation. - Mohammad Aghagolzadeh, Hayder Radha:
New Guarantees for Blind Compressed Sensing. - Eric M. Clark, Chris A. Jones, Jake Ryland Williams, Allison N. Kurti, Michell Craig Nortotsky, Christopher M. Danforth, Peter Sheridan Dodds:
Vaporous Marketing: Uncovering Pervasive Electronic Cigarette Advertisements on Twitter. - Pengfei Xuan, Jeffrey Denton, Feng Luo, Pradip K. Srimani:
Big Data Analytics on Traditional HPC Infrastructure Using Two-Level Storage. - G. D. Illeperuma, D. U. J. Sonnadara:
Simulation of optical flow and fuzzy based obstacle avoidance system for mobile robots. - Vincenzo De Florio:
On ambients as systemic exoskeletons: Crosscutting optimizers and antifragility enablers. - Stanislav Levin, Amiram Yehudai:
Alleviating Merge Conflicts with Fine-grained Visual Awareness. - Annina Bracher, Michèle Angela Wigger:
Feedback and Partial Message Side-Information on the Semideterministic Broadcast Channel. - Zhanglin Peng, Ya Li, Zhaoquan Cai, Liang Lin:
Deep Boosting: Joint Feature Selection and Analysis Dictionary Learning in Hierarchy. - Tala Tafazzoli, Elham Salahi, Hossein Gharaee:
A proposed architecture for network forensic system in large-scale networks. - Yifan Gu, He Chen, Yonghui Li, Branka Vucetic:
An Adaptive Transmission Protocol for Wireless-Powered Cooperative Communications. - Jingchu Liu, Shugong Xu, Sheng Zhou, Zhisheng Niu:
Redesigning Fronthaul for Next-Generation Networks: Beyond Baseband Samples and Point-to-Point Links. - Jingchu Liu, Ruichen Deng, Sheng Zhou, Zhisheng Niu:
Seeing the Unobservable: Channel Learning for Wireless Communication Networks. - Adnan Aijaz, Nazir Uddin, Oliver Holland, A. Hamid Aghvami:
On Practical Aspects of Mobile Data Offloading to Wi-Fi Networks. - Keehang Kwon:
Incorporating Inductions and Game Semantics into Logic Programming. - Martin Líska, Petr Sojka, Michal Ruzicka:
Combining Text and Formula Queries in Math Information Retrieval: Evaluation of Query Results Merging Strategies. - Ming Zhang, Zizhan Zheng, Ness B. Shroff:
A Game Theoretic Model for Defending Against Stealthy Attacks with Limited Resources. - Besmira Nushi, Adish Singla, Anja Gruenheid, Erfan Zamanian, Andreas Krause, Donald Kossmann:
Crowd Access Path Optimization: Diversity Matters. - Mujahid Sultan, Andriy V. Miranskyy:
Ordering Interrogative Questions for Effective Requirements Engineering: The W6H Pattern. - Kevin Dorling, Geoffrey G. Messier, Stefan Valentin, Sebastian Magierowski:
Minimizing the Net Present Cost of Deploying and Operating Wireless Sensor Networks. - Sushant Sachdeva, Nisheeth K. Vishnoi:
A Simple Analysis of the Dikin Walk. - Amr Bakry, Mohamed Elhoseiny, Tarek El-Gaaly, Ahmed M. Elgammal:
Digging Deep into the Layers of CNNs: In Search of How CNNs Achieve View Invariance. - Zhiheng Huang, Wei Xu, Kai Yu:
Bidirectional LSTM-CRF Models for Sequence Tagging. - Hui Yu, Xiaofeng Wu, Wenbin Jiang, Qun Liu, Shouxun Lin:
An Automatic Machine Translation Evaluation Metric Based on Dependency Parsing Model. - Sukhamoy Pattanayak, Abhay Kumar Singh:
On cyclic DNA codes over the Ring $\Z_4 + u \Z_4$. - Carla-Fabiana Chiasserini, Michele Garetto, Emilio Leonardi:
Impact of Clustering on the Performance of Network De-anonymization. - Weixi Wang, Zhihan Lv, Xiaoming Li, Weiping Xu, Baoyun Zhang:
Preprint Virtual Reality Based GIS Analysis Platform. - Oliver Knill:
The graph spectrum of barycentric refinements. - Kai Chen, Bin Li, Hui Shen, Jie Jin, David Tse:
Reduce the Complexity of List Decoding of Polar Codes by Tree-Pruning. - Fedor Dzerzhinskiy, Leonid D. Raykov:
What Is Software Engineering? - Hossein Khani, Mohsen Afsharchi:
Security Games with Ambiguous Beliefs of Agents. - Tahani Almanie, Rsha Mirza, Elizabeth Lor:
Crime Prediction Based On Crime Types And Using Spatial And Temporal Criminal Hotspots. - Farooq Khan:
Coreless 5G Mobile Network. - Prasenjit Karmakar, K. Gopinath:
Scalable Reliability Modelling of RAID Storage Subsystems. - Walaa Medhat, Ahmed Hassan Yousef, Hoda Korashy Mohamed:
Egyptian Dialect Stopword List Generation from Social Network Data. - M. Akhil Jabbar, Bulusu Lakshmana Deekshatulu, Priti Chandra:
Classification of Heart Disease Using K- Nearest Neighbor and Genetic Algorithm. - Farooq Khan:
Multi-Comm-Core Architecture for Terabit/s Wireless. - Daniel Reichman, Igor Shinkar:
On Percolation and NP-Hardness. - Luke Schaeffer, Jeffrey O. Shallit:
Closed, Rich, Privileged, Trapezoidal, and Balanced Words in Automatic Sequences. - Tuyen X. Tran, Dario Pompili:
Dynamic Radio Cooperation for Downlink Cloud-RANs with Computing Resource Sharing. - Janani Kalyanam, Sumithra Velupillai, Son Doan, Mike Conway, Gert R. G. Lanckriet:
Facts and Fabrications about Ebola: A Twitter Based Study. - Benjamin Lim:
Vulnerability Analysis of GWireless. - Hassan A. Kingravi, Harshal Maske, Girish Chowdhary:
Kernel Controllers: A Systems-Theoretic Approach for Data-Driven Modeling and Control of Spatiotemporally Evolving Processes. - Jack Hessel, Nicolas Savva, Michael J. Wilber:
Image Representations and New Domains in Neural Image Captioning. - Wang Ling, Tiago Luís, Luís Marujo, Ramón Fernandez Astudillo, Silvio Amir, Chris Dyer, Alan W. Black, Isabel Trancoso:
Finding Function in Form: Compositional Character Models for Open Vocabulary Word Representation. - Sanghack Lee, Vasant G. Honavar:
Lifted Representation of Relational Causal Models Revisited: Implications for Reasoning and Structure Learning. - Azam Khalili, Amir Rastegarnia:
Steady-state Performance of Incremental LMS Strategies For Parameter Estimation Over Fading Wireless Channels. - Yuqing Zhu, Yilei Wang, Fan Wang:
10 Observations on Google Cluster Trace + 2 Measures for Cluster Utilization Enhancement. - Amogh Rajanna, Mos Kaveh:
Cooperative Relaying for Large Random Multihop Networks. - Manvi, Komal Kumar Bhatia, Ashutosh Dixit:
A novel design of hidden web crawler using ontology. - Daniel Beck, Trevor Cohn, Christian Hardmeier, Lucia Specia:
Learning Structural Kernels for Natural Language Processing. - Vladimir V. Gusev, Marek Szykula:
On the Number of Synchronizing Colorings of Digraphs. - Iftekhar Naim, Daniel Gildea:
Feature-based Decipherment for Large Vocabulary Machine Translation. - John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber:
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications. - Niv Buchbinder, Moran Feldman:
Deterministic Algorithms for Submodular Maximization Problems. - Hing Yin Tsang, Ning Xie, Shengyu Zhang:
Fourier Sparsity of GF(2) Polynomials. - Yeon-Geun Lim, Daesik Hong, Chan-Byoung Chae:
Performance Analysis of Self-Interference Cancellation Methods in Full-Duplex Large-Scale MIMO Systems. - László Gyarmati, Xavier Anguera:
Automatic Extraction of the Passing Strategies of Soccer Teams. - Shubha Sharma, Ankush Vashistha, Vivek Ashok Bohara:
On the Performance of Multiple Antenna Cooperative Spectrum Sharing Protocol under Nakagami-m Fading. - Xue-Mei Ning, Zhaoqi Liu, Shihua Zhang:
Local community extraction in directed networks. - Lutz Bornmann, Robin Haunschild:
t factor: A metric for measuring impact on Twitter. - Saeedeh Moloudi, Michael Lentmaier, Alexandre Graell i Amat:
Threshold Saturation for Spatially Coupled Turbo-like Codes over the Binary Erasure Channel. - Young Jin Chun, Aymen Omri, Mazen O. Hasna:
Joint Optimization of Area Spectral Efficiency and Delay Over PPP Interfered Ad-hoc Networks. - Pengbo Xing, Ju Liu, Chao Zhai, Xinhua Wang, Lina Zheng:
Self-Interference Suppression for the Full-Duplex Wireless Communication with Large-Scale Antenna. - Weiyu Zhang, Sergiy A. Vorobyov:
Joint Robust Transmit/Receive Adaptive Beamforming for MIMO Radar Using Probability-Constrained Optimization. - Hui Yu, Xiaofeng Wu, Wenbin Jiang, Qun Liu, Shouxun Lin:
Improve the Evaluation of Translation Fluency by Using Entropy of Matched Sub-segments. - Taeho Lee, Pawel Szalachowski, David Barrera, Adrian Perrig, Heejo Lee, David Watrin:
Bootstrapping Real-world Deployment of Future Internet Architectures. - Ngu Nguyen:
Feature Learning for Interaction Activity Recognition in RGBD Videos. - Pedro H. J. Nardelli, Iran Ramezanipour, Hirley Alves, Carlos H. M. de Lima, Matti Latva-aho:
Average Error Probability in Wireless Sensor Networks with Imperfect Sensing and Communication for Different Decision Rules. - Ning Chen, Jun Zhu, Jianfei Chen, Ting Chen:
Dropout Training for SVMs with Data Augmentation. - Simona Samardjiska, Danilo Gligoroski:
Approaching Maximum Embedding Efficiency on Small Covers Using Staircase-Generator Codes. - Nut Limsopatham, Nigel Collier:
Adapting Phrase-based Machine Translation to Normalise Medical Terms in Social Media Messages. - Adriaan M. J. Schakel, Benjamin J. Wilson:
Measuring Word Significance using Distributed Representations of Words. - Edouard Klein:
Easy steps towards a sane IT policy in hospitals. - Yanjun Li, Lingkun Fu, Min Chen, Kaikai Chi, Yi-hua Zhu:
RF-Based Charger Placement for Duty Cycle Guarantee in Battery-Free Sensor Networks. - Nilesh Khambekar, Chad M. Spooner, Vipin Chaudhary:
MUSE: A Methodology for Characterizing and Quantifying the Use of Spectrum. - Justin F. Brunelle, Michele C. Weigle, Michael L. Nelson:
Archiving Deferred Representations Using a Two-Tiered Crawling Approach. - Xiao-Yang Liu, Shuchin Aeron, Vaneet Aggarwal, Xiaodong Wang, Min-You Wu:
Fine-grained Indoor Localization with Adaptively Sampled RF Fingerprints. - Nils Bulling, Hoang Nga Nguyen:
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. - Abhisek Ukil:
Theoretical Analysis of Tuned HVAC Line for Low Loss Long Distance Bulk Power Transmission. - Arian Shoari:
On the Definition and Existence of an MVU Estimator for Target Location Estimation. - Chuan Luo, Abhisek Ukil:
Modeling and Validation of Electrical Load Profiling in Residential Buildings in Singapore. - Jianpeng Cheng, Dimitri Kartsaklis:
Syntax-Aware Multi-Sense Word Embeddings for Deep Compositional Models of Meaning. - Yuan Cao:
Training Conditional Random Fields with Natural Gradient Descent. - Jonathan Scarlett, Anelia Somekh-Baruch, Alfonso Martinez, Albert Guillén i Fàbregas:
A Counter-Example to the Mismatched Decoding Converse for Binary-Input Discrete Memoryless Channels. - Matthew R. Gormley, Mark Dredze, Jason Eisner:
Approximation-Aware Dependency Parsing by Belief Propagation. - Farooq Khan:
Mobile Internet from the Heavens. - Hokky Situngkir:
Indonesia embraces the Data Science. - Farnood Gholami, Daria A. Trojan, József Kövecses, Wassim M. Haddad, Behnood Gholami:
Gait Assessment for Multiple Sclerosis Patients Using Microsoft Kinect. - Parikshit Gopalan, Noam Nisan, Rocco A. Servedio, Kunal Talwar, Avi Wigderson:
Smooth Boolean functions are easy: efficient algorithms for low-sensitivity functions. - Oliver Schulte, Zhensong Qian:
FactorBase: SQL for Learning A Multi-Relational Graphical Model. - Tobias Weinzierl, B. Verleye, Pierre Henri, Dirk Roose:
Two Particle-in-Grid Realisations on Spacetrees. - Di Wang, Satish Rao, Michael W. Mahoney:
Unified Acceleration Method for Packing and Covering Problems via Diameter Reduction. - Carlo Comin:
Energy Structure of Optimal Positional Strategies in Mean Payoff Games. - Milos Stanojevic:
Removing Biases from Trainable MT Metrics by Using Self-Training. - Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta:
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. - Xing Wang, Jie Liang:
Multi-Resolution Compressed Sensing via Approximate Message Passing. - Tobin Isaac, Matthew G. Knepley:
Support for Non-conformal Meshes in PETSc's DMPlex Interface. - Avery Miller, Andrzej Pelc:
Time Versus Cost Tradeoffs for Deterministic Rendezvous in Networks. - Indranil Banerjee, Dana Richards:
On Maximal Layers Of Random Orders. - Heejin Choi, Yutaka Sasaki, Nathan Srebro:
Normalized Hierarchical SVM. - Han van der Veen, Djoerd Hiemstra, Tijs A. van den Broek, Michel L. Ehrenhard, Ariana Need:
Determine the User Country of a Tweet. - Chengdi Xiang, Ian R. Petersen, Daoyi Dong:
Guaranteed Cost Dynamic Coherent Control for Uncertain Linear Quantum Systems. - Zheng Zhang, Hung D. Nguyen, Konstantin S. Turitsyn, Luca Daniel:
Probabilistic Power Flow Computation via Low-Rank and Sparse Tensor Recovery. - Eirik Rosnes, Alexandre Graell i Amat:
Analysis of Spatially-Coupled Counter Braids. - Hamidreza Arjmandi, Mohammad Movahednasab, Amin Gohari, Mahtab Mirmohseni, Masoumeh Nasiri-Kenari, Faramarz Fekri:
On ISI-free Modulations for Diffusion based Molecular Communication. - Vijay Chandrasekhar, Jie Lin, Olivier Morère, Hanlin Goh, Antoine Veillard:
A Practical Guide to CNNs and Fisher Vectors for Image Instance Retrieval. - George Barmpalias, Richard Elwes, Andy Lewis-Pye:
Minority population in the one-dimensional Schelling model of segregation. - Maryam Keyvanara, S. Amirhassan Monadjemi:
Simulating Brain Reaction to Methamphetamine Regarding Consumer Personality. - Rui Costa Martins, Nuno Fachada:
Finite Element Procedures for Enzyme, Chemical Reaction and 'In-Silico' Genome Scale Networks. - Arie Bos, Herman J. Haverkort:
Hyperorthogonal well-folded Hilbert curves. - Sajid Ullah, Mussarat Wahid:
Topology Control of wireless sensor network using Quantum Inspired Genetic algorithm. - George Grispos, William Bradley Glisson, Tim Storer:
Security Incident Response Criteria: A Practitioner's Perspective. - Christoph Lenzen, Joel Rybicki:
Efficient counting with optimal resilience. - Travis Gagie, Gonzalo Navarro, Simon J. Puglisi, Jouni Sirén:
Relative Compressed Suffix Trees. - Mansaf Alam, Kishwar Sadaf:
Web Search Result Clustering based on Heuristic Search and k-means. - Germán Corrales Madueño, Jimmy Jessen Nielsen, Dong-Min Kim, Nuno K. Pratas, Cedomir Stefanovic, Petar Popovski:
Assessment of LTE Wireless Access for Monitoring of Energy Distribution in the Smart Grid. - Neha Bothra, Kritika Jain, Sanjay Chakraborty:
Can JSP Code be Generated Using XML Tags? - Blesson Varghese, Javier Prades, Carlos Reaño, Federico Silla:
Acceleration-as-a-Service: Exploiting Virtualised GPUs for a Financial Application. - Steven Kisseleff, Ian F. Akyildiz, Wolfgang H. Gerstacker:
Beamforming for Magnetic Induction based Wireless Power Transfer Systems with Multiple Receivers. - Mwawi M. Nyirenda, Siaw-Lynn Ng, Keith M. Martin:
A Combinatorial Model of Interference in Frequency Hopping Schemes. - Vahid Aref, Henning Bülow, Karsten Schuh, Wilfried Idler:
Experimental Demonstration of Nonlinear Frequency Division Multiplexed Transmission. - Denis Krompaß, Stephan Baier, Volker Tresp:
Type-Constrained Representation Learning in Knowledge Graphs. - Hao Hu, Hainan Cui:
InAR: Inverse Augmented Reality. - Stéphane Lens, Bernard Boigelot:
Efficient Path Interpolation and Speed Profile Computation for Nonholonomic Mobile Robots. - Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. - Mehrnaz Afshang, Harpreet S. Dhillon, Peter Han Joo Chong:
Modeling and Performance Analysis of Clustered Device-to-Device Networks. - Dinh Doan Van Bien, David Lillis, Rem W. Collier:
Space-Time Diagram Generation for Profiling Multi Agent Systems. - Dinh Doan Van Bien, David Lillis, Rem W. Collier:
Call Graph Profiling for Multi Agent Systems. - Hatem Ibn-Khedher, Emad Abd-Elrahman, Hossam Afifi, Jacky Forestier:
Network Issues in Virtual Machine Migration. - Fatemeh Jahedpari, Marina De Vos, Sattar Hashemi, Benjamin Hirsch, Julian A. Padget:
Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report. - David Lillis, Rem W. Collier:
Augmenting Agent Platforms to Facilitate Conversation Reasoning. - Ioannis Filippidis, Richard M. Murray:
Symbolic construction of GR(1) contracts for synchronous systems with full information. - Kyeong Soo Kim, Sanghyuk Lee, Eng Gee Lim:
On enery-efficient time synchronization based on source clock frequency recovery in wireless sensor networks. - Thibaut Vidal:
Technical Note: Split Algorithm in O(n) for the Vehicle Routing Problem. - Mostafa El Gamal, Lifeng Lai:
Are Slepian-Wolf Rates Necessary for Distributed Parameter Estimation? - Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
Intrinsic Properties of Complete Test Suites. - Konrad K. Dabrowski, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma, Dimitrios M. Thilikos:
Editing to a Planar Graph of Given Degrees. - Thomas M. Breuel:
Benchmarking of LSTM Networks. - Thomas M. Breuel:
The Effects of Hyperparameters on SGD Training of Neural Networks. - Thomas M. Breuel:
On the Convergence of SGD Training of Neural Networks. - Thomas M. Breuel:
Possible Mechanisms for Neural Reconfigurability and their Implications. - Xinyang Zhou, Masoud Farivar, Lijun Chen:
Pseudo-gradient Based Local Voltage Control in Distribution Networks. - Chenchen Yang, Yao Yao, Zhiyong Chen, Bin Xia:
Analysis on Cache-enabled Wireless Heterogeneous Networks. - Ming Ding, David López-Pérez, Guoqiang Mao, Zihuai Lin:
Microscopic Analysis of the Uplink Interference in FDMA Small Cell Networks. - Jiamou Liu, Ziheng Wei:
A Game of Attribute Decomposition for Software Architecture Design. - Kishore Jaganathan, Yonina C. Eldar, Babak Hassibi:
STFT Phase Retrieval: Uniqueness Guarantees and Recovery Algorithms. - Adish Singla, Eric Horvitz, Pushmeet Kohli, Andreas Krause:
Learning to Hire Teams. - Nicolas Ray, Dmitry Sokolov:
Inappropriate use of L-BFGS, Illustrated on frame field design. - Sudhir Kumar, Rishabh Dixit, Rajesh M. Hegde:
Second Order Cone Programming for Sensor Node Localization in Mixed LOS/NLOS Conditions. - Bojan Pepik, Rodrigo Benenson, Tobias Ritschel, Bernt Schiele:
What is Holding Back Convnets for Detection? - Yunjin Chen, Thomas Pock:
Trainable Nonlinear Reaction Diffusion: A Flexible Framework for Fast and Effective Image Restoration. - Fei Jiang, Lili Jia, Xiaobao Sheng, Riley LeMieux:
Manifold regularization in structured output space for semi-supervised structured output prediction. - Hrant Khachatrian, Tigran Mamikonyan:
On interval edge-colorings of bipartite graphs of small order. - Mayer Goldberg:
Ellipses and Lambda Definability. - Giulia Prando, Gianluigi Pillonetto, Alessandro Chiuso:
Maximum Entropy Vector Kernels for MIMO system identification. - Hokky Situngkir:
Cellular-Automata and Innovation within Indonesian Traditional Weaving Crafts: A Discourse of Human-Computer Interaction. - Aditya Gupta, Abhishek Shamra:
Modeling and Analysis of Walking Pattern for a Biped Robot. - Ernesto Diaz-Aviles, Fabio Pinelli, Karol Lynch, Zubair Nabi, Yiannis Gkoufas, Eric Bouillet, Francesco Calabrese, Eoin Coughlan, Peter Holland, Jason Salzwedel:
Towards Real-time Customer Experience Prediction for Telecommunication Operators. - Ahmad AlAmmouri, Hesham ElSawy, Osama Amin, Mohamed-Slim Alouini:
In-Band Full-Duplex Communications for Cellular Networks with Partial Uplink/Downlink Overlap. - Juan M. Alonso:
A Hausdorff dimension for finite sets. - Roman Fedorov:
Mountain Peak Detection in Online Social Media. - Ehsan Fattahi, Christian Waluga, Barbara I. Wohlmuth, Ulrich Rüde, Michael Manhart, Rainer Helmig:
Pore-scale lattice Boltzmann simulation of laminar and turbulent flow through a sphere pack. - Djamal Belazzougui, Fabio Cunial:
Space-efficient detection of unusual words. - Diane Gilliocq-Hirtz, Zakaria Belhachmi:
A massively parallel multi-level approach to a domain decomposition method for the optical flow estimation with varying illumination. - Michael Nebeling, Anhong Guo, Kyle I. Murray, Annika Tostengard, Angelos Giannopoulos, Martin Mihajlov, Steven Dow, Jaime Teevan, Jeffrey P. Bigham:
WearWrite: Orchestrating the Crowd to Complete Complex Tasks from Wearables (We Wrote This Paper on a Watch). - Hsien-Pu Chen, Elias Gonzalez, Yessica Saez, Laszlo B. Kish:
Cable Capacitance Attack against the KLJN Secure Key Exchange. - Liva Ralaivola, Ugo Louche:
From Cutting Planes Algorithms to Compression Schemes and Active Learning. - Ramviyas Parasuraman:
Few common failure cases in mobile robots. - Raghed El-Bardan, Walid Saad, Swastik Brahma, Pramod K. Varshney:
Matching-based Spectrum Allocation in Cognitive Radio Networks. - Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin:
OOASP: Connecting Object-oriented and Logic Programming. - Ramón Casares:
Syntax Evolution: Problems and Recursion. - Xi Chen, Igor C. Oliveira, Rocco A. Servedio:
Addition is exponentially harder than counting for shallow monotone circuits. - Kathie Cameron, Steven Chaplick, Chính T. Hoàng:
On the structure of (pan, even hole)-free graphs. - Yasha Pushak, Warren L. Hare, Yves Lucet:
Multiple-Path Selection for new Highway Alignments using Discrete Algorithms. - Rachel Cummings, Katrina Ligett, Mallesh M. Pai, Aaron Roth:
The Strange Case of Privacy in Equilibrium Models. - Lavanya Subramanian:
Providing High and Controllable Performance in Multicore Systems Through Shared Resource Management. - Joshua Saxe, Konstantin Berlin:
Deep Neural Network Based Malware Detection Using Two Dimensional Binary Program Features. - Jason D. McEwen, Martin Büttner, Boris Leistedt, Hiranya V. Peiris, Yves Wiaux:
A novel sampling theorem on the rotation group. - Bin Li, David Tse, Kai Chen, Hui Shen:
Capacity-Achieving Rateless Polar Codes. - Jian Xu, Thanuka L. Wickramarathne, Nitesh V. Chawla:
Representing Higher Order Dependencies in Networks. - Christan Earl Grant, Daisy Zhe Wang, Michael L. Wick:
Query-Driven Sampling for Collective Entity Resolution. - Zhouchen Lin, Canyi Lu, Huan Li:
Optimized Projections for Compressed Sensing via Direct Mutual Coherence Minimization. - Narayanan Unny Edakunni, Aditi Raghunathan, Abhishek Tripathi, John Handley, Frédéric Roulland:
Probabilistic Dependency Networks for Prediction and Diagnostics. - Bracha Laufer-Goldshtein, Ronen Talmon, Sharon Gannot:
Semi-Supervised Sound Source Localization Based on Manifold Regularization. - Amit Srivastava, Shikha Maheshwari:
A New Weighted Information Generating Function for Discrete Probability Distributions. - Benjamin R. C. Amor, Sabine I. Vuik, Ryan Callahan, Ara Darzi, Sophia N. Yaliraki, Mauricio Barahona:
Community detection and role identification in directed networks: understanding the Twitter network of the care.data debate. - Axel Bacher, Olivier Bodini, Alexandros Hollender, Jérémie O. Lumbroso:
MergeShuffle: A Very Fast, Parallel Random Permutation Algorithm. - Paulo Figueiredo, Marta Aparício, David Martins de Matos, Ricardo Ribeiro:
Generation of Multimedia Artifacts: An Extractive Summarization-based Approach. - Victor Hernandez-Urbina:
Logical N-AND Gate on a Molecular Turing Machine. - Nuno K. Pratas, Petar Popovski:
Network-Assisted Device-to-Device (D2D) Direct Proximity Discovery with Underlay Communication. - Constantin Dumitrescu:
On the Design of a User-in-the-Loop Channel. With Application to Emergency Egress. - Tor G. J. Myklebust:
Computing accurate Horner form approximations to special functions in finite precision arithmetic. - Navin Kumar, Aryabartta Sahu:
Bufferless NOC Simulation of Large Multicore System on GPU Hardware. - Tarun K. Agrawal, R. Sharma, Manojit Ghose, Aryabartta Sahu:
Scheduling Chained Multiprocessor Tasks onto Large Multiprocessor System. - Yin Tat Lee, He Sun:
Constructing Linear-Sized Spectral Sparsification in Almost-Linear Time. - Keehang Kwon:
Logic Programming with Macro Connective. - Mario Corsolini, Andrea Carta:
A New Approach to an Old Problem: The Reconstruction of a Go Game through a Series of Photographs. - Jakob Suchan, Mehul Bhatt, Harshita Jhavar:
Talking about the Moving Image: A Declarative Model for Image Schema Based Embodied Perception Grounding and Language Generation. - Jonathan Ben-Artzi, Anders C. Hansen, Olavi Nevanlinna, Markus Seidel:
Can everything be computed? - On the Solvability Complexity Index and Towers of Algorithms. - Yinjie Huang, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Hash Function Learning via Codewords. - Gilad Katz, Bracha Shapira:
Enabling Complex Wikipedia Queries - Technical Report. - Li Zhou:
A Survey on Contextual Multi-armed Bandits. - Niloofar Yousefi, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Multi-Task Learning with Group-Specific Feature Space Sharing. - Petros Drineas, Kimon Fountoulakis, Abhisek Kundu:
A Randomized Rounding Algorithm for Sparse PCA. - Daniel S. Katz, Rajiv Ramnath:
Looking at Software Sustainability and Productivity Challenges from NSF. - Parham Noorzad, Michelle Effros, Michael Langberg:
The Multivariate Covering Lemma and its Converse. - Shaocheng Wang, Wei Ren:
On the Consistency and Confidence of Distributed Dynamic State Estimation in Wireless Sensor Networks. - Zubair Khalid, Salman Durrani, Rodney A. Kennedy, Yves Wiaux, Jason D. McEwen:
Gauss-Legendre Sampling on the Rotation Group. - Ruocheng Guo, Elham Shaabani, Abhinav Bhatnagar, Paulo Shakarian:
Toward Order-of-Magnitude Cascade Prediction. - Vida Vakilian, Jean-François Frigon, Sébastien Roy:
Space-Frequency Block Code for MIMO-OFDM Communication Systems with Reconfigurable Antennas. - Lasse Leskelä, Hoa Ngo:
The impact of degree variability on connectivity properties of large networks. - Hangjun Xu:
An Algorithm for Comparing Similarity Between Two Trees. - Pei-hao Su, David Vandyke, Milica Gasic, Dongho Kim, Nikola Mrksic, Tsung-Hsien Wen, Steve J. Young:
Learning from Real Users: Rating Dialogue Success with Neural Networks for Reinforcement Learning in Spoken Dialogue Systems. - Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents] - Maurice H. ter Beek, Alberto Lluch-Lafuente:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents] - Adams Wei Yu, Qihang Lin, Tianbao Yang:
Doubly Stochastic Primal-Dual Coordinate Method for Regularized Empirical Risk Minimization with Factorized Data. - Pei-hao Su, David Vandyke, Milica Gasic, Nikola Mrksic, Tsung-Hsien Wen, Steve J. Young:
Reward Shaping with Recurrent Neural Networks for Speeding up On-Line Policy Learning in Spoken Dialogue Systems. - Vaneet Aggarwal, Shuchin Aeron:
Information-theoretic Bounds on Matrix Completion under Union of Subspaces Model. - Jianshu Chen, Ji He, Yelong Shen, Lin Xiao, Xiaodong He, Jianfeng Gao, Xinying Song, Li Deng:
End-to-end Learning of Latent Dirichlet Allocation by Mirror-Descent Back Propagation. - Mahyar Shirvanimoghaddam, Yonghui Li, Branka Vucetic, Jinhong Yuan:
Binary Compressive Sensing via Analog Fountain Coding. - Mohammad Karami, Youngsam Park, Damon McCoy:
Stress Testing the Booters: Understanding and Undermining the Business of DDoS Services. - Guangkui Xu, Xiwang Cao:
Several classes of bent, near-bent and 2-plateaued functions over finite fields of odd characteristic. - Liron Ravner, Moshe Haviv, Hai Le Vu:
A strategic timing of arrivals to a linear slowdown processor sharing system. - Salman Hameed Khan, Mohammed Bennamoun, Ferdous Ahmed Sohel, Roberto Togneri:
Cost Sensitive Learning of Deep Feature Representations from Imbalanced Data. - Dimitris P. Papamichail, Hongmei Liu, Vitor Machado, Nathan Gould, J. Robert Coleman, Georgios Papamichail:
Codon Context Optimization in Synthetic Gene Design. - Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino:
A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and Few Random Positions. - Neema Mduma, Khamisi Kalegele:
An Integrated Mobile Application for Enhancing Management of Nutrition Information in Arusha Tanzania. - Mert Bastug, Mihály Petreczky, Roland Tóth, Rafael Wisniewski, John Leth, Denis V. Efimov:
Moment Matching Based Model Reduction for LPV State-Space Models. - Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino:
A Potential Reduction Algorithm for Two-person Zero-sum Mean Payoff Stochastic Games. - Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
Total Variation Discrepancy of Deterministic Random Walks for Ergodic Markov Chains. - Fabrizio Frati:
A Lower Bound on the Diameter of the Flip Graph. - Manish Kumar, Shubham Kaul, Vibhutesh Kumar Singh, Vivek Ashok Bohara:
iDART-Intruder Detection and Alert in Real Time. - Xin Yuan, Hong Jiang, Gang Huang, Paul A. Wilford:
Lensless Compressive Imaging. - B. N. Bharath, Kyatsandra G. Nagananda, H. Vincent Poor:
A Learning-Based Approach to Caching in Heterogenous Small Cell Networks. - Dominik Kaaser, Frederik Mallmann-Trenn, Emanuele Natale:
On the Voting Time of the Deterministic Majority Process. - Jordi Roca-Lacostena, Jesús Cerquides, Marc Pouly:
Sufficient and necessary conditions for Dynamic Programming in Valuation-Based Systems. - Damián G. Hernández, Damián H. Zanette, Inés Samengo:
Information-theoretical analysis of the statistical dependencies among three variables: Applications to written language. - Tijs van der Storm, Sebastian Erdweg:
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015). - Florian Brandl, Felix Brandt, Johannes Hofbauer:
Welfare Maximization Entices Participation. - Mahsa Derakhshani, Xiaowei Wang, Tho Le-Ngoc, Alberto Leon-Garcia:
Virtualization of Multi-Cell 802.11 Networks: Association and Airtime Control. - Marco Tulio Angulo, Jaime A. Moreno, Albert-László Barabási, Yang-Yu Liu:
Fundamental limitations of network reconstruction. - Aras Atalar, Paul Renaud-Goud, Philippas Tsigas:
Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model. - Rami Hamdi, Wessam Ajib:
Sum-rate Maximizing in Downlink Massive MIMO Systems with Circuit Power Consumption. - Andreas Björklund, Petteri Kaski, Lukasz Kowalik:
Fast Witness Extraction Using a Decision Oracle. - Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. - Michael Dinitz, Jeremy T. Fineman, Seth Gilbert, Calvin Newport:
Smoothed Analysis of Dynamic Networks. - Timothy Barker, Chao Zhai, Mario di Bernardo:
A Coverage Based Decentralised Routing Algorithm for Vehicular Traffic Networks. - Lois Mignard-Debise, Ivo Ihrke:
Light-field Microscopy with a Consumer Light-field Camera. - Kyoomars Alizadeh Noghani, M. Oguz Sunay:
Streaming Multicast Video over Software-Defined Networks. - Sepehr Assadi, Justin Hsu, Shahin Jabbari:
Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. - Gauri Joshi, Emina Soljanin, Gregory W. Wornell:
Efficient Redundancy Techniques for Latency Reduction in Cloud Systems. - Anastasios Sidiropoulos, Yusu Wang:
Metric embedding with outliers. - Ranjitha R. K., Sanjay Singh:
Is Stack Overflow Overflowing With Questions and Tags. - Brian Drawert, Michael Trogdon, Salman Zubair Toor, Linda R. Petzold, Andreas Hellander:
MOLNs: A cloud platform for interactive, reproducible and scalable spatial stochastic computational experiments in systems biology using PyURDME. - Srikant Manas Kala, Ranadheer Musham, M. Pavan Kumar Reddy, Bheemarjuna Reddy Tamma:
Reliable Prediction of Channel Assignment Performance in Wireless Mesh Networks. - Anusha A., Sanjay Singh:
Is That Twitter Hashtag Worth Reading. - Hokky Situngkir:
Exploring Ancient Architectural Designs with Cellular Automata. - Scott Beamer, Krste Asanovic, David A. Patterson:
The GAP Benchmark Suite. - Laurent Fournier:
RFC 7800 - Money Over IP. - Guillaume Hoffmann:
Undecidability of a Very Simple Modal Logic with Binding. - Hokky Situngkir:
Borobudur was Built Algorithmically. - Ebrahim Moradi Shahrivar, Mohammad Pirani, Shreyas Sundaram:
Robustness and Algebraic Connectivity of Random Interdependent Networks. - Koji Tsukada, Maho Oki, Kazutaka Kurihara, Yuko Furudate:
AnimalCatcher: a digital camera to capture various reactions of animals. - Geir Agnarsson, Raymond Greenlaw, Sanpawat Kantabutra:
The complexity of cyber attacks in a new layered-security model and the maximum-weight, rooted-subtree problem. - Vaia Kalokidou, Oliver Johnson, Robert J. Piechocki:
A hybrid TIM-NOMA scheme for the Broadcast Channel. - Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter:
Computing in Additive Networks with Bounded-Information Codes. - Amjad Saeed Khan, Andrea Tassi, Ioannis Chatzigeorgiou:
Rethinking the Intercept Probability of Random Linear Network Coding. - Ibrahim Özkan, I. Burhan Türksen:
Fuzzy Longest Common Subsequence Matching With FCM. - Yu Cheng, Ho Yee Cheung, Shaddin Dughmi, Ehsan Emamjomeh-Zadeh, Li Han, Shang-Hua Teng:
Mixture Selection, Mechanism Design, and Signaling. - Diederik Aerts, Massimiliano Sassoli de Bianchi:
Beyond-Quantum Modeling of Question Order Effects and Response Replicability in Psychological Measurements. - Shachar Siboni, Asaf Cohen:
Universal Anomaly Detection: Algorithms and Applications. - Weiye Zheng, WenChuan Wu, Antonio Gómez Expósito, Boming Zhang:
Distributed Robust Bilinear State Estimation for Power Systems with Nonlinear Measurements. - Indranil Banerjee, Dana Richards:
Sorting Under Restrictions. - Mohsen Fayyaz, Masoud PourReza, Mohammad Hajizadeh Saffar, Mohammad Sabokrou, Mahmood Fathy:
A Novel Approach For Finger Vein Verification Based on Self-Taught Learning. - Quentin Bramas, Sébastien Tixeuil:
Asynchronous Pattern Formation without Chirality. - Eleni Stai, Michail Loulakis, Symeon Papavassiliou:
Cross-Layer Design of Wireless Multihop Networks over Stochastic Channels with Time-Varying Statistics. - Yan Xu, Lili Mou, Ge Li, Yunchuan Chen, Hao Peng, Zhi Jin:
Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Path. - Hao Peng, Lili Mou, Ge Li, Yunchuan Chen, Yangyang Lu, Zhi Jin:
A Comparative Study on Regularization Strategies for Embedding-based Neural Networks. - Veljko Pejovic, Abhinav Mehrotra, Mirco Musolesi:
Anticipatory Mobile Digital Health: Towards Personalised Proactive Therapies and Prevention Strategies. - Veljko Pejovic, Neal Lathia, Cecilia Mascolo, Mirco Musolesi:
Mobile-Based Experience Sampling for Behaviour Research. - Kaibin Huang, Caijun Zhong, Guangxu Zhu:
Some New Trends in Wirelessly Powered Communications. - Rachel Cummings, Katrina Ligett, Jaikumar Radhakrishnan, Aaron Roth, Zhiwei Steven Wu:
Coordination Complexity: Small Information Coordinating Large Populations. - Danila Potapov, Matthijs Douze, Jérôme Revaud, Zaïd Harchaoui, Cordelia Schmid:
Beat-Event Detection in Action Movie Franchises. - Gregory V. Chockler, Dan Dobre, Alexander Shraer, Alexander Spiegelman:
Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives. - Yodsawalai Chodpathumwan, Amirhossein Aleyasen, Arash Termehchy, Yizhou Sun:
Representation Independent Proximity and Similarity Search. - Evan Everett, Clayton Shepard, Lin Zhong, Ashutosh Sabharwal:
Measurement-driven Evaluation of All-digital Many-antenna Full-duplex Communication. - Zhipeng Wei, Zehan Cui, Mingyu Chen:
Cracking Intel Sandy Bridge's Cache Hash Function. - Lachlan L. H. Andrew, Siddharth Barman, Katrina Ligett, Minghong Lin, Adam Meyerson, Alan Roytman, Adam Wierman:
A Tale of Two Metrics: Simultaneous Bounds on Competitiveness and Regret. - Herman J. Haverkort:
No acute tetrahedron is an 8-reptile. - Weimin Wang, Chong Xu:
Analysis of Information Theoretic Limitation for Linear Time Invariant Feedback Systems. - Nihar B. Shah, K. V. Rashmi, Kannan Ramchandran, P. Vijay Kumar:
Information-theoretically Secure Erasure Codes for Distributed Storage. - Kaisheng Yao, Trevor Cohn, Katerina Vylomova, Kevin Duh, Chris Dyer:
Depth-Gated LSTM. - Qian Lv, Yuhao Yi, Zhongzhi Zhang:
Corona Graph as a Small-world Model. - Daniele Catanzaro, Steven Chaplick, Stefan Felsner, Bjarni V. Halldórsson, Magnús M. Halldórsson, Thomas Hixon, Juraj Stacho:
Max Point-Tolerance Graphs. - Jiuyong Li, Saisai Ma, Thuc Duy Le, Lin Liu, Jixue Liu:
Causal Decision Trees. - Jiuyong Li, Thuc Duy Le, Lin Liu, Jixue Liu, Zhou Jin, Bing-Yu Sun, Saisai Ma:
From Observational Studies to Causal Rule Mining. - Shaohua Li, Jun Zhu, Chunyan Miao:
A Generative Word Embedding Model and its Low Rank Positive Semidefinite Solution. - Keehang Kwon:
Incorporating User Interaction into Imperative Languages. - Stephan Merz, Hernán Vanzetto:
Encoding TLA+ set theory into many-sorted first-order logic. - Ibrahim Adeyanju, Comfort Babalola, Kareemat Salaudeen, Biola Oyediran:
3D-Computer Animation for a Yoruba Native Folktale. - Marko A. Rodriguez:
The Gremlin Graph Traversal Machine and Language. - Jose Picado, Arash Termehchy, Alan Fern:
Schema Independent Relational Learning. - Marek Rei:
Online Representation Learning in Recurrent Neural Language Models. - Sheikh Muhammad Sarwar, Mahamudul Hasan, Dmitry I. Ignatov:
Two-stage Cascaded Classifier for Purchase Prediction. - Seth Gilbert, Calvin Newport:
The Computational Power of Beeps. - Mark Sh. Levin:
Discrete Route/Trajectory Decision Making Problems. - Yannick Meier, Jie Xu, Onur Atan, Mihaela van der Schaar:
Predicting Grades. - Brendan Jou, Tao Chen, Nikolaos Pappas, Miriam Redi, Mercan Topkara, Shih-Fu Chang:
Visual Affect Around the World: A Large-scale Multilingual Visual Sentiment Ontology. - Anoosheh Heidarzadeh, Alex Sprintson:
Cooperative Data Exchange with Unreliable Clients. - Manuel S. Stein, Josef A. Nossek:
A Pessimistic Approximation for the Fisher Information Measure. - Fangting Xia, Jun Zhu, Peng Wang, Alan L. Yuille:
Pose-Guided Human Parsing with Deep Learned Features. - Muhibur Rasheed, Nathan Clement, Abhishek Bhowmick, Chandrajit L. Bajaj:
Quantifying and Visualizing Uncertainties in Molecular Models. - Jun Zhao:
On connectivity in a general random intersection graph. - Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt:
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics. - Dipak L. Chaudhari, Om P. Damani:
Building an IDE for the Calculational Derivation of Imperative Programs. 1-13 - Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen:
Towards Enabling Overture as a Platform for Formal Notation IDEs. 14-27 - Frank Dordowsky:
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. 28-41 - Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen:
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. 42-55 - Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman:
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. 56-71 - Bojan Nokovic, Emil Sekerinski:
A Holistic Approach in Embedded System Development. 72-85 - Julien Signoles:
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. 86-96 - Adrian Francalanza, Marco Giunti, António Ravara:
Unlocking Blocked Communicating Processes. 23-32 - Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola:
Domain-specific queries and Web search personalization: some investigations. 51-58 - Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Properties of Policy-Based Specifications. 33-50 - Hai-Feng Guo, Qing Ouyang, Harvey P. Siy:
Semantics-based Automated Web Testing. 59-74 - Davide Bacciu, Stefania Gnesi, Laura Semini:
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. 75-83 - Nosheen Gul:
A Calculus of Mobility and Communication for Ubiquitous Computing. 6-22 - Hongyang Li, Huchuan Lu, Zhe Lin, Xiaohui Shen, Brian L. Price:
LCNN: Low-level Feature Embedded CNN for Salient Object Detection. - Saeed Reza Kheradpisheh, Masoud Ghodrati, Mohammad Ganjtabesh, Timothée Masquelier:
Deep Networks Resemble Human Feed-forward Vision in Invariant Object Recognition. - Michael T. Goodrich, Timothy Johnson, Manuel R. Torres:
Knuthian Drawings of Series-Parallel Flowcharts. - Samuel Townsend, Mark E. Larsen, Tjeerd W. Boonstra, Helen Christensen:
Using Bluetooth Low Energy in smartphones to map social networks. - Zhen Gao, Linglong Dai, De Mi, Zhaocheng Wang, Muhammad Ali Imran, Muhammad Zeeshan Shakir:
MmWave Massive MIMO Based Wireless Backhaul for 5G Ultra-Dense Network. - Lutz Bornmann, Moritz Stefaner, Félix de Moya-Anegón, Rüdiger Mutz:
Excellence networks in science: A web-based application (www.excellence-networks.net) for the identification of institutions collaborating successfully. - Mohammad Vahid Jamali, Farhad Akhoundi, Jawad A. Salehi:
Performance Studies of Underwater Wireless Optical Communication Systems with Spatial Diversity: MIMO Scheme. - Kang Wang, Tam V. Nguyen, Jiashi Feng, Jose Sepulveda:
Sense Beyond Expressions: Cuteness. - Bram Reps, Tobias Weinzierl:
Complex additive geometric multilevel solvers for Helmholtz equations on spacetrees. - Romeo Ortega, Alexey A. Bobtsov, Anton A. Pyrkin, Stanislav Aranovskiy:
A Parameter Estimation Approach to State Observation of Nonlinear Systems. - Lei Wang, Fulvio Forni, Romeo Ortega, Hongye Su:
Immersion and Invariance Stabilization of Nonlinear Systems: A Horizontal Contraction Approach. - Elham Shaabani, Ashkan Aleali, Paulo Shakarian, John Bertetto:
Early Identification of Violent Criminal Gang Members. - Rossi Kamal, Choong Seon Hong, Mi-Jung Choi:
Autonomic Resilient Internet-of-Things(IoT)Management. - Olga Kolchyna, Thársis T. P. Souza, Tomaso Aste, Philip C. Treleaven:
In Quest of Significance: Identifying Types of Twitter Sentiment Events that Predict Spikes in Sales. - Andrew Twigg, Eduardo C. Xavier:
Locality-preserving allocations Problems and coloured Bin Packing. - Kristian Ejlebjerg Jensen:
Simulating Viscous Fingering with a Timespace Method and Anisotropic Mesh Adaptation. - Ying Zhang, Mohammad Hassan Hajiesmaili, Minghua Chen:
Peak-Aware Online Economic Dispatching for Microgrids. - Sajjad Bahrami, Behrooz Razeghi, Mostafa Monemizadeh, Ghosheh Abed Hodtani:
Joint Source-Channel Coding for Broadcast Channel with Cooperating Receivers. - Minh-Thang Luong, Hieu Pham, Christopher D. Manning:
Effective Approaches to Attention-based Neural Machine Translation. - Lex Fridman, Joonbum Lee, Bryan Reimer, Trent Victor:
"Owl" and "Lizard": Patterns of Head Pose and Eye Pose in Driver Gaze Classification. - Mohammad Vahid Jamali, Farhad Akhoundi, Jawad A. Salehi:
Performance Characterization of Relay-Assisted Wireless Optical CDMA Networks in Turbulent Underwater Channel. - Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman:
Variable Elimination in Fourier Domain. - Emmanuel N. Osegi:
A Generative Model for Multi-Dialect Representation. - Jean-François Determe, Jérôme Louveaux, Laurent Jacques, François Horlin:
On The Exact Recovery Condition of Simultaneous Orthogonal Matching Pursuit. - Kostadin Damevski, David C. Shepherd, Nicholas A. Kraft, Lori L. Pollock:
Supporting Developers in Porting Software via Combined Textual and Structural Analysis of Software Artifacts. - Leila Esmaeili, Muhamad Mutallebi, Shahla Mardani, Seyyed Alireza Hashemi Golpayegani:
Studying the Affecting Factors on Trust in Social Commerce. - Ali Mousavi, Ankit B. Patel, Richard G. Baraniuk:
A Deep Learning Approach to Structured Signal Recovery. - Tim Weninger, Rodrigo Palácios, Valter Crescenzi, Thomas Gottron, Paolo Merialdo:
Web Content Extraction - a Meta-Analysis of its Past and Thoughts on its Future. - Ali Mousavi, Richard G. Baraniuk:
An Information-Theoretic Measure of Dependency Among Variables in Large Datasets. - J. Gerard Wolff:
The SP theory of intelligence: distinctive features and advantages. - Mokshay M. Madiman, Ioannis Kontoyiannis:
The Ruzsa divergence for random elements in locally compact abelian groups. - Siddharth Barman, Omar Fawzi:
Algorithmic Aspects of Optimal Channel Coding. - Nelson O. Ogbogu, Theophilus C. Madueme, Emmanuel N. Osegi:
PTILE: A framework for the Evaluation of Power Transformer Insulation Life in Electric Power System. - Tao Lei, Regina Barzilay, Tommi S. Jaakkola:
Molding CNNs for text: non-linear, non-consecutive convolutions. - Alex Mbaziira, Ehab Atif Abozinadah, James H. Jones Jr.:
Evaluating Classifiers in Detecting 419 Scams in Bilingual Cybercriminal Communities. - Richard Altendorfer, Sebastian J. Wirkert:
A Complete Derivation Of The Association Log-Likelihood Distance For Multi-Object Tracking. - Adam Case, Jack H. Lutz, Donald M. Stull:
Reachability Problems for Continuous Chemical Reaction Networks. - Huanyu Ding, David A. Castañón:
Optimal Solutions for Adaptive Search Problems with Entropy Objectives. - Pushkar Joshi:
Contextually proximate approach to develop smart user interface. - Benja Fallenstein, Jessica Taylor, Paul F. Christiano:
Reflective Oracles: A Foundation for Classical Game Theory. - André Dietrich, Sebastian Zug, Luigi Nardi, Jörg Kaiser:
Reasoning in complex environments with the SelectScript declarative language. - Ashkan Haji Hosseinloo, Thanh Long Vu, Konstantin S. Turitsyn:
Optimal control strategies for efficient energy harvesting from ambient vibrations. - Jianming Liu, Steven L. Grant:
Proportionate Adaptive Filtering for Block Sparse System Identification. - Matteo Turilli, Mark Santcroos, Shantenu Jha:
A Comprehensive Perspective on the Pilot-Job Abstraction. - Jaehyuk Park, Giovanni Luca Ciampaglia, Emilio Ferrara:
Style in the Age of Instagram: Predicting Success within the Fashion Industry using Social Media. - Hao Yi Ong, Kevin Chavez, Augustus Hong:
Distributed Deep Q-Learning. - Zong Bo Hao, Linlin Lu, Qianni Zhang, Jie Wu, Ebroul Izquierdo, Juanyu Yang, Jun Zhao:
Action Recognition based on Subdivision-Fusion Model. - Yifan Fu, Junbin Gao, Xia Hong, David Tien:
Low Rank Representation on Riemannian Manifold of Square Root Densities. - Xuejie Liu, Jingbin Wang, Ming Yin, Benjamin Edwards, Peijuan Xu:
Supervised learning of sparse context reconstruction coefficients for data representation and classification. - Jingyan Wang, Yihua Zhou, Haoxiang Wang, Xiaohong Yang, Feng Yang, Austin Peterson:
Image tag completion by local learning. - Shun Watanabe:
Second-Order Region for Gray-Wyner Network. - Hyeji Kim, Benjamin Nachman, Abbas El Gamal:
Superposition Coding is Almost Always Optimal for the Poisson Broadcast Channel. - Fulvio Forni:
Differential Positivity on Compact Sets. - Armando Castañeda, Danny Dolev, Amitabh Trehan:
Compact Routing Messages in Self-Healing Trees. - Xiaolei Zhang, Yong Han, DongSheng Hao, Zhihan Lv:
Preprint ARPPS Augmented Reality Pipeline Prospect System. - Salman Fadaei:
Mechanism Design via Dantzig-Wolfe Decomposition. - Wenpeng Yin, Hinrich Schütze:
Learning Word Meta-Embeddings by Using Ensembles of Embedding Sets. - Paolo Campigotto, Roberto Battiti, Andrea Passerini:
Learning Modulo Theories for preference elicitation in hybrid domains. - Neel Choudhury, Ravikant Dindokar, Akshay Dixit, Yogesh Simmhan:
Partitioning Strategies for Load Balancing Subgraph-centric Distributed Graph Processing. - Jan A. Botha:
Probabilistic Modelling of Morphologically Rich Languages. - Fabian Fuchs, Matthias Wolf:
On the Distributed Computation of Fractional Connected Dominating Set Packings. - Miltiades C. Filippou, Paul de Kerret, David Gesbert, Tharmalingam Ratnarajah, Adriano Pastore, George A. Ropokis:
Coordinated Shared Spectrum Precoding with Distributed CSIT. - John R. Hershey, Zhuo Chen, Jonathan Le Roux, Shinji Watanabe:
Deep clustering: Discriminative embeddings for segmentation and separation. - Mazen Alamir:
A State-Dependent Updating Period For Certified Real-Time Model Predictive Control. - Vladislav Mladenov, Christian Mainka, Julian Krautwald, Florian Feldmann, Jörg Schwenk:
On the security of modern Single Sign-On Protocols: OpenID Connect 1.0. - Yanwei Pang, Jiale Cao, Xuelong Li:
Cascade Learning by Optimally Partitioning. - Shouvick Mondal, Arko Banerjee:
ESDF: Ensemble Selection using Diversity and Frequency. - François Renaville, Yosef Branse, Xiaotian Chen, Mark Needleman:
SFX Miscellaneous Free Ejournals Target: Usage Survey among the SFX Community. - Alireza Vahid, Ilan Shomorony, A. Robert Calderbank:
Informational Bottlenecks in Two-Unicast Wireless Networks with Delayed CSIT. - Leonardo Manuel Cabrer, George Metcalfe:
Exact Unification and Admissibility. - Gareth W. Peters, Efstathios Panayi, Ariane Chapelle:
Trends in crypto-currencies and blockchain technologies: A monetary theory and regulation perspective. - Fateme Ghayem, Farokh Marvasti:
A Fast and Efficient Algorithm for Reconstructing MR images From Partial Fourier Samples. - Rajeev Ranjan, Vishal M. Patel, Rama Chellappa:
A Deep Pyramid Deformable Part Model for Face Detection. - Sebastian Daum, Fabian Kuhn:
Tight Bounds for MIS in Multichannel Radio Networks. - Dzmitry Bahdanau, Jan Chorowski, Dmitriy Serdyuk, Philemon Brakel, Yoshua Bengio:
End-to-End Attention-based Large Vocabulary Speech Recognition. - Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov:
Synthesizing and tuning chemical reaction networks with specified behaviours. - Masashi Wakaiki, Yutaka Yamamoto:
Stabilization of discrete-time piecewise affine systems with quantized signals. - Shiyao Wang, Tianbo Yang, Qi Zhang, Kang Zhao:
Concurrent diffusion of information and behaviors in online social networks - a case study of the Ice Bucket Challenge. - Andreas Bernhard Michael Brunner, Steffen Lewitzka:
Topological representation of intuitionistic and distributive abstract logics. - Saleh Soltan, Gil Zussman:
Generation of Synthetic Spatially Embedded Power Grid Networks. - Soysal Degirmenci, Joseph A. O'Sullivan, David G. Politte:
Multiresolution Approach to Acceleration of Iterative Image Reconstruction for X-Ray Imaging for Security Applications. - Arthur Valadares, Eugenia Gabrielova, Cristina Videira Lopes:
On Designing and Testing Distributed Virtual Environments. - Zhao Kang, Chong Peng, Qiang Cheng:
Robust Subspace Clustering via Smoothed Rank Approximation. - Kangwook Lee, Ramtin Pedarsani, Kannan Ramchandran:
SAFFRON: A Fast, Efficient, and Robust Framework for Group Testing based on Sparse-Graph Codes. - Y. Cem Sübakan, Johannes Traa, Paris Smaragdis, Noah D. Stein:
A Dictionary Learning Approach for Factorial Gaussian Models. - Alex Grant, Anatoli Torokhti, Pablo Soto-Quiros:
Compression and Recovery of Distributed Random Signals. - Wei Zhang, Judith Gelernter:
Exploring Metaphorical Senses and Word Representations for Identifying Metonyms. - Nayantara Bhatnagar, Dana Randall:
Simulated Tempering and Swapping on Mean-Field Models. - Arnab Bhattacharyya, Palash Dey:
Fishing out Winners from Vote Streams. - Henry E. Baidoo-Williams, Octav Chipara, Raghuraman Mudumbai, Soura Dasgupta:
PHY-layer link quality indicators for wireless networks using matched-filters. - Wei Zhang, Yang Yu, Osho Gupta, Judith Gelernter:
Recognizing Extended Spatiotemporal Expressions by Actively Trained Average Perceptron Ensembles. - Meysam Shahrbaf Motlagh, Masoud Badiei Khuzani, Patrick Mitran:
On Lossy Joint Source-Channel Coding In Energy Harvesting Communication Systems. - Francisco Lopez:
Modeling emergence of norms in multi-agent systems by applying tipping points ideas. - Ruimao Zhang, Liang Lin, Rui Zhang, Wangmeng Zuo, Lei Zhang:
Bit-Scalable Deep Hashing with Regularized Similarity Learning for Image Retrieval and Person Re-identification. - Hao Wu, Jun He, Bo Li, Yijian Pei:
Personalized QoS Prediction of Cloud Services via Learning Neighborhood-based Model. - Alexander Krull, Eric Brachmann, Frank Michel, Michael Ying Yang, Stefan Gumhold, Carsten Rother:
Learning Analysis-by-Synthesis for 6D Pose Estimation in RGB-D Images. - Bokai Cao, Xiangnan Kong, Jingyuan Zhang, Philip S. Yu, Ann B. Ragin:
Mining Brain Networks using Multiple Side Views for Neurological Disorder Identification. - Jacek Tabor, Przemyslaw Spurek, Konrad Kamieniecki, Marek Smieja, Krzysztof Misztal:
Introduction to Cross-Entropy Clustering The R Package CEC. - Jingwei Zhang, Aaron Gerow, Jaan Altosaar, James Evans, Richard Jean So:
Fast, Flexible Models for Discovering Topic Correlation across Weakly-Related Collections. - J. Gerard Wolff, Vasile Palade:
Proposal for the creation of a research facility for the development of the SP machine. - Robert Mercas:
A note on the avoidability of binary patterns with variables and reversals. - Hado van Hasselt, Richard S. Sutton:
Learning to Predict Independent of Span. - Verónica Vilaplana:
Saliency maps on image hierarchies. - Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents] - Serena Ivaldi, Sébastien Lefort, Jan Peters, Mohamed Chetouani, Joelle Provasi, Elisabetta Zibetti:
Towards engagement models that consider individual factors in HRI: on the relation of extroversion and negative attitude towards robots to gaze and speech during a human-robot assembly task. - Tao Liu, Ming Cao, Claudio De Persis, Julien M. Hendrickx:
Distributed Event-Triggered Control for Asymptotic Synchronization of Dynamical Networks. - Bhargava Shastry:
Towards Vulnerability Discovery Using Extended Compile-time Analysis. - Johannes Textor:
Drawing and Analyzing Causal DAGs with DAGitty. - Alex Alvarado, David J. Ives, Seb J. Savory, Polina Bayvel:
On the Impact of Optimal Modulation and FEC Overhead on Future Optical Networks. - Dusan Knop:
A note on partition into triangles parametrized by tree-width. - Nikita A. Shevchenko, Jaroslaw E. Prilepsky, Stanislav A. Derevyanko, Alex Alvarado, Polina Bayvel, Sergei K. Turitsyn:
A Lower Bound on the per Soliton Capacity of the Nonlinear Optical Fibre Channel. - Maher Salloum, Janine C. Bennett, Ali Pinar, Ankit Bhagatwala, Jacqueline H. Chen:
Enabling adaptive scientific workflows via trigger detection. - Samiya Khan, Kashish Ara Shakil, Mansaf Alam:
Cloud based Big Data Analytics: A Survey of Current Research and Future Directions. - M. Amarnath, S. Arunav, Hemantha Kumar, V. Sugumaran, G. S. Raghvendra:
Fault Diagnosis of Helical Gear Box using Large Margin K-Nearest Neighbors Classifier using Sound Signals. - Steffen Rechner, Annabell Berger:
Marathon: An open source software library for the analysis of Markov-Chain Monte Carlo algorithms. - Miguel Couceiro, Stephan Foldes, Gerasimos C. Meletiou:
Arrow type impossibility theorems over median algebras. - Salimeh Yasaei Sekeh:
A short note on estimation of WCRE and WCE. - Mohsen Ghaffari, Andreas Karrenbauer, Fabian Kuhn, Christoph Lenzen, Boaz Patt-Shamir:
Near-Optimal Distributed Maximum Flow. - Andreas Brunnert, André van Hoorn, Felix Willnecker, Alexandru Danciu, Wilhelm Hasselbring, Christoph Heger, Nikolas Herbst, Pooyan Jamshidi, Reiner Jung, Jóakim von Kistowski, Anne Koziolek, Johannes Kroß, Simon Spinner, Christian Vögele, Jürgen Walter, Alexander Wert:
Performance-oriented DevOps: A Research Agenda. - Kim T. Briggs, Baoguo Zhou, Gerhard W. Dueck:
Cold Object Identification in the Java Virtual Machine. - François Bélanger, Aïda Ouangraoua:
Alignment of protein-coding sequences with frameshift extension penalties. - Kuan-Ting Chen, Kezhen Chen, Peizhong Cong, Winston H. Hsu, Jiebo Luo:
Who are the Devils Wearing Prada in New York City? - Luz Rello, Clara Bayarri, Yolanda Otal, Martin Pielot:
A Computer-Based Method to Improve the Spelling of Children with Dyslexia. - Adithya Rajan, Cihan Tepedelenlioglu, Ruochen Zeng:
A Unified Fading Model Using Infinitely Divisible Distributions. - Brian C. Keegan, Shakked Lev, Ofer Arazy:
Analyzing Organizational Routines in Online Knowledge Collaborations: A Case for Sequence Analysis in CSCW. - Andrew J. R. Simpson:
Dither is Better than Dropout for Regularising Deep Neural Networks. - Harold Nikoue, Aude Marzuoli, John-Paul Clarke, Eric Feron, Jim Peters:
Passenger Flow Predictions at Sydney International Airport: A Data-Driven Queuing Approach. - Kisuk Lee, Aleksandar Zlateski, Ashwin Vishwanathan, H. Sebastian Seung:
Recursive Training of 2D-3D Convolutional Networks for Neuronal Boundary Detection. - Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Relating BIP and Reo. 3-20 - Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated Session Compliance. 21-36 - Bas Luttik, Fei Yang:
Executable Behaviour and the π-Calculus (extended abstract). 37-52 - Eike Best, Uli Schlachter:
Analysis of Petri Nets and Transition Systems. 53-67 - Clément Aubert, Ioana Cristescu:
Reversible Barbed Congruence on Configuration Structures. 68-85 - Alceste Scalas, Massimo Bartoletti:
The LTS WorkBench. 86-98 - Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining. 99-113 - Xian Xu, Qiang Yin, Huan Long:
On the Computation Power of Name Parameterization in Higher-order Processes. 114-127 - César Santos, Francisco Martins, Vasco Thudichum Vasconcelos:
Deductive Verification of Parallel Programs Using Why3. 128-142 - Yustinus Eko Soelistio:
Application Distribution Model In Volunteer Computing Environment Using Peer-to-Peer Torrent Like Approach. - Duane Wilson, Giuseppe Ateniese:
From Pretty Good To Great: Enhancing PGP using Bitcoin and the Blockchain. - Ardy Wibowo Haryanto, Adhi Kusnadi, Yustinus Eko Soelistio:
Warehouse Layout Method Based on Ant Colony and Backtracking Algorithm. - Yin Tat Lee, Aaron Sidford, Sam Chiu-wai Wong:
A Faster Cutting Plane Method and its Implications for Combinatorial and Convex Optimization. - Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar:
Efficient Computation of Exact IRV Margins. - Ko-Jen Hsiao, Kevin S. Xu, Jeff Calder, Alfred O. Hero III:
Multi-criteria Similarity-based Anomaly Detection using Pareto Depth Analysis. - Amir Burshtein, Michael Birk, Tanya Chernyakova, Alon Eilam, Arcady Kempinski, Yonina C. Eldar:
Sub-Nyquist Sampling and Fourier Domain Beamforming in Volumetric Ultrasound Imaging. - Konstantin Avrachenkov, Pavel Chebotarev, Alexey Mishenin:
Semi-supervised Learning with Regularized Laplacian. - Li Su, Yongluan Zhou:
Passive and Partially Active Fault Tolerance for Massively Parallel Stream Processing Engines. - Alain Rakotomamonjy, Gilles Gasso:
Histogram of gradients of Time-Frequency Representations for Audio scene detection. - Ahmed Douik, Salah A. Aly, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Robust Node Estimation and Topology Discovery Algorithm in Large-Scale Wireless Sensor Networks. - Hamid Palangi, Rabab K. Ward, Li Deng:
Distributed Compressive Sensing: A Deep Learning Approach. - Hiromi Narimatsu, Hiroyuki Kasai:
Duration and Interval Hidden Markov Model for Sequential Data Analysis. - Amichai Painsky, Saharon Rosset, Meir Feder:
Generalized Independent Component Analysis Over Finite Alphabets. - Bertrand M. Roehner:
Translation into any natural language of the error messages generated by any computer program. - Fredrik Dahlqvist, David J. Pym:
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. - Weixin Yang, Lianwen Jin, Manfei Liu:
DeepWriterID: An End-to-end Online Text-independent Writer Identification System. - Ksenia Konyushkova, Raphael Sznitman, Pascal Fua:
Introducing Geometry in Active Learning for Image Segmentation. - Aggeliki Dimitriou, Ananya Dass, Dimitri Theodoratos:
Cohesiveness Relationships to Empower Keyword Search on Tree Data on the Web. - Moritz Sinn, Florian Zuleger, Helmut Veith:
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. - Giovanni Paolo Gibilisco, Srdan Krstic:
InstaCluster: Building A Big Data Cluster in Minutes. - Tobias Kuhn:
nanopub-java: A Java Library for Nanopublications. - Krzysztof Szczypiorski, Artur Janicki, Steffen Wendzel:
"The Good, The Bad And The Ugly": Evaluation of Wi-Fi Steganography. - Changsoo Je, Sang Wook Lee, Rae-Hong Park:
High-Contrast Color-Stripe Pattern for Rapid Structured-Light Range Imaging. - (Withdrawn) A Deep Bag-of-Features Model for Music Auto-Tagging.
- Hrishikesh Deshpande:
HoneyMesh: Preventing Distributed Denial of Service Attacks using Virtualized Honeypots. - Siamak Ravanbakhsh:
Message Passing and Combinatorial Optimization. - Sanjay Goyal, Tan Le, Amith Chincholi, Tariq Elkourdi, Alpaslan Demir:
On the Packet Allocation of Multi-Band Aggregation Wireless Networks. - Ramgopal Venkat, Thirumoorthy Divagar, Tie Luo, Hwee Pink Tan:
Participatory Sensing for Government-Centric Applications: A Singapore Case Study. - Samson Abramsky, Radha Jagadeesan, Matthijs Vákár:
Games for Dependent Types. - Yuncheng Li, Jifei Huang, Jiebo Luo:
Using User Generated Online Photos to Estimate and Monitor Air Pollution in Major Cities. - Anton V. Proskurnikov, Alexey S. Matveev, Ming Cao:
Opinion Dynamics in Social Networks with Hostile Camps: Consensus vs. Polarization. - Christopher Thomas, Adriana Kovashka:
Who's Behind the Camera? Identifying the Authorship of a Photograph. - Anton V. Proskurnikov, Ming Cao:
Synchronization of Goodwin's oscillators under boundedness and nonnegativeness constraints for solutions. - Md. Imrul Kayes, Nicolas Kourtellis, Daniele Quercia, Adriana Iamnitchi, Francesco Bonchi:
Cultures in Community Question Answering. - Xing Mei, Honggang Qi, Bao-Gang Hu, Siwei Lyu:
Improving Image Restoration with Soft-Rounding. - Kenton Murray, David Chiang:
Auto-Sizing Neural Networks: With Applications to n-gram Language Models. - Victor Campos, Amaia Salvador, Brendan Jou, Xavier Giró-i-Nieto:
Diving Deep into Sentiment: Understanding Fine-tuned CNNs for Visual Sentiment Prediction. - Momme Allalen, David Brayford, Daniele Tafani, Volker Weinberg, Bernd Mohr, Dirk Brömmel, Rene Halver, Jan H. Meinke, Sandipan Mohanty:
The Mont-Blanc Project: First Phase Successfully Finished. - Gerardo Vega:
A characterization of a class of optimal three-weight cyclic codes of dimension 3 over any finite field. - Kaya Tutuncuoglu, Aylin Yener:
Energy Harvesting Networks with Energy Cooperation: Procrastinating Policies. - Raffaele Marino, Giorgio Parisi, Federico Ricci-Tersenghi:
The Backtracking Survey Propagation Algorithm for Solving Random K-SAT Problems. - Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Ondrej Kuzelka:
Lifted Relational Neural Networks. - Tamir Hazan, Tommi S. Jaakkola:
Steps Toward Deep Kernel Methods from Infinite Neural Networks. - Shan Zhang, Jie Gong, Sheng Zhou, Zhisheng Niu:
How Many Small Cells Can Be Turned off via Vertical Offloading under a Separation Architecture? - Haris Aziz, Simon Mackenzie:
A Discrete and Bounded Envy-free Cake Cutting Protocol for Four Agents. - Shan Zhang, Sheng Zhou, Jie Gong, Zhisheng Niu, Ning Zhang, Xuemin Shen:
Spatial Traffic Shaping in Heterogeneous Cellular Networks with Energy Harvesting. - Ritesh Kolte, Ayfer Özgür, Haim H. Permuter:
Cooperative Binning for Semideterministic Channels. - Christian Bailer, Bertram Taetz, Didier Stricker:
Flow Fields: Dense Correspondence Fields for Highly Accurate Large Displacement Optical Flow Estimation. - Khanh Nguyen, Brendan O'Connor:
Posterior calibration and exploratory analysis for natural language processing models. - Yustinus Eko Soelistio, Martinus Raditia Sigit Surendra:
Simple Text Mining for Sentiment Analysis of Political Figure Using Naive Bayes Classifier Method. - Dylan J. Foster, Alexander Rakhlin, Karthik Sridharan:
Adaptive Online Learning. - Karthikeyan Shanmugam, Mingyue Ji, Antonia M. Tulino, Jaime Llorca, Alexandros G. Dimakis:
Finite Length Analysis of Caching-Aided Coded Multicasting. - Cosmin Safta, Richard Li-Yang Chen, Habib N. Najm, Ali Pinar, Jean-Paul Watson:
Efficient Representation of Uncertainty for Stochastic Economic Dispatch. - Alessandro Biason, Nicola Laurenti, Michele Zorzi:
Achievable Secrecy Rates of an Energy Harvesting Device. - Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck:
Correlation in Hard Distributions in Communication Complexity. - Wolfgang Schmidt, Michael Hanspach, Jörg Keller:
A Case Study on Covert Channel Establishment via Software Caches in High-Assurance Computing Systems. - Lu Lu, Haiquan Zhao, Badong Chen:
Variable-mixing parameter quantized kernel robust mixed-norm algorithms for combating impulsive interference. - Gaia Nicosia, Andrea Pacifici, Ulrich Pferschy:
Price of Fairness for Allocating a Bounded Resource. - Alex Pereira da Silva, Pierre Comon, André Lima Férrer de Almeida:
Rank-1 Tensor Approximation Methods and Application to Deflation. - Ivan Bliznets, Marek Cygan, Pawel Komosa, Lukás Mach, Michal Pilipczuk:
Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems. - Volker Betz, Stéphane Le Roux:
Stable states of perturbed Markov chains. - Zhen Zuo, Gang Wang, Bing Shuai, Lifan Zhao, Qingxiong Yang:
Exemplar Based Deep Discriminative and Shareable Feature Learning for Scene Image Classification. - Se-Hang Cheong, Yain-Whar Si:
Accelerating the Kamada-Kawai algorithm for boundary detection in a mobile ad hoc network. - Samuel R. Bowman, Gabor Angeli, Christopher Potts, Christopher D. Manning:
A large annotated corpus for learning natural language inference. - Luowei Zhou, Pei Yang, Chunlin Chen, Yang Gao:
Multi-agent Reinforcement Learning with Sparse Interactions by Negotiation and Knowledge Transfer. - Noe Casas:
Genetic Algorithms for multimodal optimization: a review. - Rajit Johri, Jayanthi Rao, Hai Yu, Hongwei Zhang:
A Multi-Scale Spatiotemporal Perspective of Connected and Automated Vehicles: Applications and Wireless Networking. - Vasilis Syrgkanis, Johannes Gehrke:
Pricing Queries Approximately Optimally. - Guoru Ding, Jinlong Wang, Qihui Wu, Yu-Dong Yao, Rongpeng Li, Honggang Zhang, Yulong Zou:
On the Limits of Predictability in Real-World Radio Spectrum State Dynamics: From Entropy Theory to 5G Spectrum Sharing. - Hokky Situngkir, Yanu Endar Prasetyo:
On Social and Economic Spheres: An Observation of the 'gantangan' Indonesian tradition. - Mark Braverman, Cristobal Rojas, Jon Schneider:
Tight space-noise tradeoffs in computing the ergodic measure. - Yun-Fu Liu, Jing-Ming Guo:
Dot-Diffused Halftoning with Improved Homogeneity. - Christos Dimitroulis, Theophanes Raptis, Vasilios Raptis:
POLYANA - A tool for the calculation of molecular radial distribution functions based on Molecular Dynamics trajectories. - Yang-Yu Liu, Albert-László Barabási:
Control Principles of Complex Networks. - Liang Zhang, Tao Han, Nirwan Ansari:
Renewable Energy-Aware Inter-datacenter Virtual Machine Migration over Elastic Optical Networks. - Youssef Gahi, Mouhcine Guennoun, Zouhair Guennoun, Khalil El-Khatib:
On the use of homomorphic encryption to secure cloud computing, services, and routing protocols. - Murat Kuscu, Özgür B. Akan:
On the Physical Design of Receiver for Molecular Communications. - Md. Mazder Rahman, Gerhard W. Dueck:
Synthesis of Linear Nearest Neighbor Quantum Circuits. - Heru Pranata, Leon Andretti Abdillah, Usman Ependi:
Analisis Keamanan Protokol Secure Socket Layer (SSL) Terhadap Proses Sniffing di Jaringan. - Mohammad Javad Shafiee, Parthipan Siva, Alexander Wong:
StochasticNet: Forming Deep Neural Networks via Stochastic Connectivity. - Bilegsaikhan Naidan, Leonid Boytsov:
Non-Metric Space Library Manual. - Wenchao Huang, Yan Xiong, Xiang-Yang Li, Yiqing Hu, XuFei Mao, Panlong Yang:
WalkieLokie: Relative Positioning for Augmented Reality Using a Dummy Acoustic Speaker. - Gang Mei:
CudaChain: A Practical GPU-accelerated 2D Convex Hull Algorithm. - Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
Skolem Functions for Factored Formulas. - Baolin Peng, Zhengdong Lu, Hang Li, Kam-Fai Wong:
Towards Neural Network-based Reasoning. - Yishuo Shi, Zhao Zhang, Ding-Zhu Du:
Approximation Algorithm for Minimum Weight (k, m)-CDS Problem in Unit Disk Graph. - Xiaowen Gong, Xu Chen, Junshan Zhang, H. Vincent Poor:
Exploiting Social Trust Assisted Reciprocity (STAR) towards Utility-Optimal Socially-aware Crowdsensing. - Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia:
A framework for adaptive real-time applications: the declarative real-time OSGi component model. - Ilias Diakonikolas, Daniel M. Kane, Vladimir Nikishkin:
Optimal Algorithms and Lower Bounds for Testing Closeness of Structured Distributions. - Sarabjot Singh, Mikhail Geraseminko, Shu-Ping Yeh, Nageen Himayat, Shilpa Talwar:
Proportional Fair Traffic Splitting and Aggregation in Heterogeneous Wireless Networks. - Christian Weilbach, Konrad Kühne, Annette Bieniusa:
replikativ.io: Composable consistency primitives for a scalable and robust global replication system. - Ofir Lindenbaum, Arie Yeredor, Moshe Salhov, Amir Averbuch:
MultiView Diffusion Maps. - Daxin Zhu, Lei Wang, Yingjie Wu, Xiaodong Wang:
A Practical O(Rlog log n+n) time Algorithm for Computing the Longest Common Subsequence. - Mauricio Toro:
Structured Interactive Music Scores. - Weicong Ding, Prakash Ishwar, Venkatesh Saligrama:
Necessary and Sufficient Conditions and a Provably Efficient Algorithm for Separable Topic Discovery. - Benjamin Grimmer:
Dual-Fitting Approximation Algorithms for Network Connectivity Problems. - Nidhin Koshy Vaidhiyan, Rajesh Sundaresan:
Learning to detect an oddball target. - Yanwei Pang, Jiale Cao, Xuelong Li:
Learning Sampling Functions for Efficient Object Detection. - Muhammad Anis Uddin Nasir, Sarunas Girdzijauskas, Nicolas Kourtellis:
Socially-Aware Distributed Hash Tables for Decentralized Online Social Networks. - Fabrício Olivetti de França, Denise H. Goya, Claudio Luis de Camargo Penteado:
The message does not matter: the influence of the network on information diffusion. - Joseph Maguire, Karen Renaud:
You Only Live Twice or "The Years We Wasted Caring about Shoulder-Surfing". - Nirwan Ansari, Tao Han:
FreeNet: Spectrum and Energy Harvesting Wireless Networks. - Oliver Knill:
A Sard theorem for graph theory. - Yanfeng Qi, Chunming Tang, Zhengchun Zhou, Cuiling Fan:
New infinite families of p-ary weakly regular bent functions. - Chunming Tang, Yanfeng Qi, Zhengchun Zhou, Cuiling Fan:
Constructing bent functions and bent idempotents of any possible algebraic degrees. - Chunming Tang, Yanfeng Qi, Zhengchun Zhou, Cuiling Fan:
Two infinite classes of rotation symmetric bent functions with simple representation. - Siqi Liu, Sidong Liu, Sonia Pujol, Ron Kikinis, Dagan Feng, Michael J. Fulham, Weidong Cai:
Morphometry-Based Longitudinal Neurodegeneration Simulation with MR Imaging. - Salvatore Talarico, Matthew C. Valenti, Don J. Torrieri:
Optimization of an Adaptive Frequency-Hopping Network. - Curtis G. Northcutt, Andrew D. Ho, Isaac L. Chuang:
Detecting and Preventing "Multiple-Account" Cheating in Massive Open Online Courses. - Sudarshan Mukherjee, Saif Khan Mohammed, Indra Bhushan:
Impact of CFO Estimation on the Performance of ZF Receiver in Massive MU-MIMO Systems. - Muhammad Ali Qadar, Yan Zhaowen, Li Hua:
Iterative Thresholded Bi-Histogram Equalization for Medical Image Enhancement. - Zixuan Zhuang:
An Experimental Study of Distributed Quantile Estimation. - Shan Huang, Hong Sun, Lei Yu, Haijian Zhang:
Joint Frequency Estimation with Two Sub-Nyquist Sampling Sequences. - (Withdrawn) Codewords With Memory Improve Achievable Rate Regions of the Memoryless Gaussian Interference Channel.
- Aidil Afriansyah, Leon Andretti Abdillah, Ria Andryani:
E-Monitoring Program Pembangunan Infrastruktur Perdesaan (PPIP) pada Dinas PU Cipta Karya dan Pengairan Kabupaten Muba. - Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp:
When Six Gates are Not Enough. - Witold Bolt, Jan M. Baetens, Bernard De Baets:
An evolutionary approach to the identification of Cellular Automata based on partial observations. - Valerio Bioglio, Frederic Gabry, Ingmar Land:
Optimizing MDS Codes for Caching at the Edge. - Alexandr Kazda:
$n$-permutability and linear Datalog implies symmetric Datalog. - Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro, Daniel Pareja:
Multi-round Master-Worker Computing: a Repeated Game Approach. - I. S. Terekhov, A. V. Reznichenko, Ya. A. Kharkov, S. K. Turitsyn:
Optimal input signal distribution and per-sample mutual information for nondispersive nonlinear optical fiber channel in large SNR limit. - Alphan Sahin, Yusuf Said Eroglu, Ismail Güvenç, Nezih Pala, Murat Yuksel:
Hybrid 3D Localization for Visible Light Communication Systems. - Patrizio Angelini, Till Bruckdorfer, Michael Kaufmann, Tamara Mchedlidze:
A Universal Point Set for 2-Outerplanar Graphs. - Rafal Kapelko, Evangelos Kranakis:
On the Displacement for Covering a $d-$dimensional Cube with Randomly Placed Sensors. - Mitra Fatemi, Arash Amini, Loïc Baboulaz, Martin Vetterli:
Shapes From Pixels. - Bernardo Gonçalves, Fábio Porto:
A note on the complexity of the causal ordering problem. - Andreas Loukas, Andrea Simonetto, Geert Leus:
Distributed Autoregressive Moving Average Graph Filters. - Arkaitz Zubiaga:
Euskahaldun: Euskararen Aldeko Martxa Baten Sare Sozialetako Islaren Bilketa eta Analisia. - Tomoyuki Yamakami:
Structural Complexity of Multi-Valued Partial Functions Computed by Nondeterministic Pushdown Automata. - Marco Guerini, Gözde Özbal, Carlo Strapparava:
Echoes of Persuasion: The Effect of Euphony in Persuasive Communication. - J. M. van der Steen, A. W. M. van Schijndel:
The development of a mapping tool for the evaluation of building systems for future climate scenarios on European scale. - Hardeep, Parminder Singh:
Andriod Based Punjabi TTS System. - Stuart Marsden, Jouko Vankka:
Tactical Network Modeller Simulation Tool Combined discrete event and network back-ends. - Matt Challacombe, Terry Haut, Nicolas Bock:
A $N$-Body Solver for Square Root Iteration. - Jingen Ni, Jian Yang, Jie Chen, Cédric Richard, José Carlos M. Bermudez:
Stochastic Behavior of the Nonnegative Least Mean Fourth Algorithm for Stationary Gaussian Inputs and Slow Learning. - Gilberto P. Silva Junior, Alejandro C. Frery, Sandra A. Sandri, Humberto Bustince, Edurne Barrenechea, Cédric Marco-Detchart:
Optical images-based edge detection in Synthetic Aperture Radar images. - Rozita Rashtchi, Ramy H. Gohary, Halim Yanikomeroglu:
Generalized Cross-Layer Designs for Generic Half-Duplex Multicarrier Wireless Networks with Frequency-Reuse. - Arun S. Maiya:
A Framework for Comparing Groups of Documents. - Prem Nath, Dhiraj Kumar Singh:
A sum form functional equation on a closed domain and its role in information theory. - Gang Mei:
gScan: Accelerating Graham Scan on the GPU. - Shengli Zhang, Xiugang Wu, Ayfer Özgür:
STAC: Simultaneous Transmitting and Air Computing in Wireless Data Center Networks. - Kaarthik Sundar, Saravanan Venkatachalam, Sivakumar Rathinam:
Formulations and algorithms for the multiple depot, fuel-constrained, multiple vehicle routing problem. - Kenza Guenda, T. Aaron Gulliver:
Algebraic Quantum Synchronizable Codes. - Jianrui Ding, Min Xian, Heng-Da Cheng, Yang Li, Fei Xu, Yingtao Zhang:
An algorithm for Left Atrial Thrombi detection using Transesophageal Echocardiography. - Muhammad Zubair Ahmad, Amir Ali Khan, Sihem Mezghani, Eric Perrin, Kamel Mouhoubi, Jean-Luc Bodnar, Valeriu Vrabie:
Wavelet subspace decomposition of thermal infrared images for defect detection in artworks. - Don J. Torrieri, Salvatore Talarico, Matthew C. Valenti:
Performance Analysis of Fifth-Generation Cellular Uplink. - Zeinab Bahmani, Leopoldo E. Bertossi, Nikolaos Vasiloglou:
ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution. - (Withdrawn) A combination of small-gain and density propagation inequalities for stability analysis of networked systems.
- Per Austrin, Mikko Koivisto, Petteri Kaski, Jesper Nederlof:
Dense Subset Sum may be the hardest. - Hampei Sasahara, Kazunori Hayashi, Masaaki Nagahara:
Symbol Detection for Frame-Based Faster-than-Nyquist Signaling via Sum-of-Absolute-Values Optimization. - Yury Polyanskiy, Yihong Wu:
A note on the strong data-processing inequalities in Bayesian networks. - Zhiyong Cui, Ying Long:
Perspectives on Stability and Mobility of Passenger's Travel Behavior through Smart Card Data. - Jun-Ping Ng, Viktoria Abrecht:
Better Summarization Evaluation with Word Embeddings for ROUGE. - Yoram Zarai, Oz Mendel, Michael Margaliot:
Analyzing Linear Communication Networks using the Ribosome Flow Model. - Hanchuan Li, Haichen Shen, Shengliang Xu, Congle Zhang:
Visualizing NLP annotations for Crowdsourcing. - Tanmay Biswas, Sudhindu Bikash Mandal, Debasree Saha, Amlan Chakrabarti:
A Novel Reconfigurable Hardware Design for Speech Enhancement Based on Multi-Band Spectral Subtraction Involving Magnitude and Phase Components. - Muhammad Ilham Daniel, Leon Andretti Abdillah, Kiky Rizky Nova Wardani:
Evaluasi Celah Keamanan Web Server pada LPSE Kota Palembang. - Shlomi Hacohen, Shraga Shoval, Nir Shvalb:
A Navigation Function For Uncertain Environment. - Hilde Kuehne, Thomas Serre:
Cooking in the kitchen: A generative approach to the recognition, parsing and segmentation of human daily activities. - Rossella Cancelliere, R. Deluca, Mario Gai, Patrick Gallinari, Luca Rubini:
An analysis of numerical issues in neural training by pseudoinversion. - Jie Xu, Lingjie Duan, Rui Zhang:
Energy Group-Buying with Loading Sharing for Green Cellular Networks. - Rossella Cancelliere, Mario Gai, Patrick Gallinari, Luca Rubini:
OCReP: An Optimally Conditioned Regularization for Pseudoinversion Based Neural Training. - Nicholas Downing, Thibaut Feydy, Peter J. Stuckey:
Unsatisfiable Cores and Lower Bounding for Constraint Programming. - Georges Nassopoulos, Patricia Serrano-Alvarado, Pascal Molli, Emmanuel Desmontils:
Tracking Federated Queries in the Linked Data. - Xiaomao Deng, Xiao-Chuan Cai, Jun Zou:
Two-level space-time domain decomposition methods for unsteady inverse problems. - Roman Starosolski:
Reversible Denoising and Lifting Based Color Component Transformation for Lossless Image Compression. - Luca Melis, George Danezis, Emiliano De Cristofaro:
Efficient Private Statistics with Succinct Sketches. - Mathias Slawik, Begüm Ilke Zilci, Fabian Knaack, Axel Küpper:
The Open Service Compendium. Business-pertinent Cloud Service Discovery, Assessment, and Selection. - Vitaly Perevoshchikov:
Weight Assignment Logic. - Kuang Zhou, Arnaud Martin, Quan Pan:
A similarity-based community detection method with multiple prototype representation. - Kardi Teknomo, Gloria P. Gerilla:
Pedestrian Static Trajectory Analysis of a Hypermarket. - Lukasz Debowski:
Regular Hilberg Processes: An Example of Processes with a Vanishing Entropy Rate. - Daniel Paul Barrett, Scott Alan Bronikowski, Haonan Yu, Jeffrey Mark Siskind:
Robot Language Learning, Generation, and Comprehension. - Guangliang Cheng, Feiyun Zhu, Shiming Xiang, Chunhong Pan:
Accurate Urban Road Centerline Extraction from VHR Imagery via Multiscale Segmentation and Tensor Voting. - Changsoo Je, Hyung-Min Park:
BREN: Body Reflection Essence-Neuter Model for Separation of Reflection Components. - Shanyu Zhou, Hulya Seferoglu:
Blocking Avoidance in Transportation Systems. - Changsoo Je, Min Tang, Youngeun Lee, Minkyoung Lee, Young J. Kim:
PolyDepth: Real-time Penetration Depth Computation using Iterative Contact-Space Projection. - Lei Kong, Wei Xu, Lajos Hanzo, Hua Zhang, Chunming Zhao:
Performance of a Free Space Optical Relay-Assisted Hybrid RF/FSO System in Generalized M-Distributed Channels. - Md. Imrul Kayes, Nicolas Kourtellis, Francesco Bonchi, Adriana Iamnitchi:
Privacy Concerns vs. User Behavior in Community Question Answering. - Justin Wong, Danny Ho, Luiz Fernando Capretz:
A Neuro-Fuzzy Method to Improving Backfiring Conversion Ratios. - Faheem Ahmed, Luiz Fernando Capretz:
F2- Rules for Qualification of Developing and Managing Software Product Line. - Arif Raza, Luiz Fernando Capretz:
Usability as a Dominant Quality Attribute. - Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz:
Integrating Schedulability Analysis with UML-RT. - Angelo Di Iorio, Christoph Lange, Anastasia Dimou, Sahar Vahdati:
Semantic Publishing Challenge - Assessing the Quality of Scientific Output by Information Extraction and Interlinking. - Luiz Fernando Capretz:
CBSE CASE Environment. - Reuven Cohen, Liran Katzir, Aviv Yehezkel:
Cardinality Estimation Meets Good-Turing. - Nirwan Ansari, Tao Han, Mina Taheri:
GATE: Greening At The Edge. - Homa Hosseinmardi, Sabrina Arredondo Mattson, Rahat Ibn Rafiq, Richard Han, Qin Lv, Shivakant Mishra:
Prediction of Cyberbullying Incidents on the Instagram Social Network. - Tamir Bendory, Yonina C. Eldar:
Recovery of Sparse Positive Signals on the Sphere from Low Resolution Measurements. - Jingbin Wang, Haoxiang Wang, Yihua Zhou, Nancy McDonald:
Multiple kernel multivariate performance learning using cutting plane algorithm. - Qimin Gao, Lyndon J. Brown, Luiz Fernando Capretz:
Extending UML-RT for Control System Modeling. - Saeedeh Parsaeefard, Rajesh Dawadi, Mahsa Derakhshani, Tho Le-Ngoc:
Joint User-Association and Resource-Allocation in Virtualized Wireless Networks. - Maher Salloum, Nathan Fabian, David M. Hensinger, Jeremy A. Templeton:
Compressed Sensing and Reconstruction of Unstructured Mesh Datasets. - Frank Hannig, Dirk Koch, Daniel Ziener:
Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015). - Agnieszka Lupinska:
A Parallel Algorithm to Test Chordality of Graphs. - Ubaldo Ruiz, Volkan Isler:
Capturing an Omnidirectional Evader in Convex Environments using a Differential Drive Robot. - Xiao Li, Joseph K. Bradley, Sameer Pawar, Kannan Ramchandran:
SPRIGHT: A Fast and Robust Framework for Sparse Walsh-Hadamard Transform. - Dinh Hoa Nguyen:
Reduced-order Distributed Consensus Controller Design via Edge Dynamics. - Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015 [contents] - Minxian Xu, Guangchun Luo, Ling Tian, Aiguo Chen, Yaqiu Jiang, GuoZhong Li, Wenhong Tian:
Prepartition: Paradigm for the Load Balance of Virtual Machine Allocation in Data Centers. - Yan Cui, Quan Chen, Junfeng Yang:
Automatic In-vivo Evolution of Kernel Policies for Better Performance. - Suzhi Bi, Yong Zeng, Rui Zhang:
Wireless Powered Communication Networks: An Overview. - Piyus Kedia, Sorav Bansal:
A Software-only Mechanism for Device Passthrough and Sharing. - Suzhi Bi, Rui Zhang, Zhi Ding, Shuguang Cui:
Wireless Communications in the Era of Big Data. - Akash Nag, Sunil Karforma:
DSA Security Enhancement through Efficient Nonce Generation. - Alexander Koplenig:
A fully data-driven method to identify (correlated) changes in diachronic corpora. - Chengdi Xiang, Ian R. Petersen, Daoyi Dong:
Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems Using Small Gain and Popov Methods. - Suman Saha, Satya Prakash Ghrera:
Network Community Detection on Metric Space. - Yunlong Cai, Ming-Min Zhao, Qingjiang Shi, Benoît Champagne, Minjian Zhao:
Joint Transceiver Design Algorithms for Multiuser MISO Relay Systems with Energy Harvesting. - Mohammad Bavarian, Dmitry Gavinsky, Tsuyoshi Ito:
On the Role of Shared Randomness in Simultaneous Communication. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
A Self-Tuning Receiver-Initiated MAC Protocol for Wireless Sensor Networks. - Emmanuel Jeandel:
Translation-like Actions and Aperiodic Subshifts on Groups. - Péter Biró, Walter Kern, Daniël Paulusma, Péter Wojuteczky:
The Stable Fixtures Problem with Payments. - Shusen Wang, Zhihua Zhang, Tong Zhang:
Improved Analyses of the Randomized Power Method and Block Lanczos Method. - Meryem Benammar, Abdellatif Zaidi:
Rate-Distortion Function for a Heegard-Berger Problem with Two Sources and Degraded Reconstruction sets. - Valentin Vlad, Cezar Popa, Cornel Turcu, Corneliu Buzduga:
A solution for applying IEC 61499 function blocks in the development of substation automation systems. - George C. Alexandropoulos, Marios Kountouris:
Maximal Ratio Transmission in Wireless Poisson Networks under Spatially Correlated Fading Channels. - Lavanya Sita Tekumalla, Priyanka Agrawal, Indrajit Bhattacharya:
Nested Hierarchical Dirichlet Processes for Multi-Level Non-Parametric Admixture Modeling. - Ramon Ferrer-i-Cancho, Carlos Gómez-Rodríguez:
Crossings as a side effect of dependency lengths. - Kokouvi Hounkanli, Andrzej Pelc:
Deterministic Broadcasting and Gossiping with Beeps. - Osamu Hirose, Shotaro Kawaguchi, Terumasa Tokunaga, Yu Toyoshima, Takayuki Teramoto, Sayuri Kuge, Takeshi Ishihara, Yuichi Iino, Ryo Yoshida:
SPF-CellTracker: Tracking multiple cells with strongly-correlated moves using a spatial particle filter. - Jie-Meng Zhang, Yingjun Guo, Zhi-Xiong Wen:
On the regularity of ⌊logb(αn+β)⌋n≥0. - Alain Rakotomamonjy, Sokol Koço, Liva Ralaivola:
Greedy methods, randomization approaches and multi-arm bandit algorithms for efficient sparsity-constrained optimization. - Yongwang Zhao, Zhibin Yang, David Sanán:
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. - Naoki Hamada, Katsumi Homma, Hiroyuki Higuchi, Hideyuki Kikuchi:
Population Synthesis via k-Nearest Neighbor Crossover Kernel. - Jacob Andreas, Dan Klein:
Alignment-based compositional semantics for instruction following. - N. R. Aravind, Pushkar S. Joglekar:
On the expressive power of read-once determinants. - Raphaël Khoury, Sylvain Hallé:
Runtime Enforcement With Partial Control. - Keehang Kwon:
A Logical Approach to Event Handling in Imperative Languages. - Patrick Oliver Glauner:
Deep Convolutional Neural Networks for Smile Recognition. - Héctor Zenil, Angelika Schmidt, Jesper Tegnér:
Causality, Programmability and Information Biology. - Akash Nag, Sunil Karforma:
A Space-Efficient Approach towards Distantly Homologous Protein Similarity Searches. - Shahrouz Khalili, Osvaldo Simeone:
Uplink HARQ for C-RAN via Low-Latency Local Feedback over MIMO Finite-Blocklength Links. - Leon A. Gatys, Alexander S. Ecker, Matthias Bethge:
A Neural Algorithm of Artistic Style. - Kokouvi Hounkanli, Avery Miller, Andrzej Pelc:
Global Synchronization and Consensus Using Beeps in a Fault-Prone MAC. - Galin Georgiev:
Towards universal neural nets: Gibbs machines and ACE. - Tarun Kalluri, Vivek Ashok Bohara:
Cooperative Spectrum Sharing Relaying Protocols With Energy Harvesting Cognitive User. - Vassilis Kekatos, Liang Zhang, Georgios B. Giannakis, Ross Baldick:
Voltage Regulation Algorithms for Multiphase Power Distribution Grids. - Aleksander Cislak:
Full-text and Keyword Indexes for String Searching. - Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient Large-scale Trace Checking Using MapReduce. - Yaman Sharaf-Dabbagh, Walid Saad:
Transfer Learning for Device Fingerprinting with Application to Cognitive Radio Networks. - Yoon Kim, Yacine Jernite, David A. Sontag, Alexander M. Rush:
Character-Aware Neural Language Models. - Vincenzo De Florio, Arianit Pajaziti:
Tapping Into the Wells of Social Energy: A Case Study Based on Falls Identification. - Yongyu Dai, Xiaodai Dong:
Power Allocation for Multi-Pair Massive MIMO Two-Way AF Relaying with Robust Linear Processing. - Yanran Li, Wenjie Li, Fei Sun, Sujian Li:
Component-Enhanced Chinese Character Embeddings. - Shawn Mankad, George Michailidis:
Analysis of Multiview Legislative Networks with Structured Matrix Factorization: Does Twitter Influence Translate to the Real World? - Jeff Kinnison, Sekou L. Remy:
Using Genetic Algorithms to Benchmark the Cloud. - Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. 1-15 - Sijin Li, Weichen Zhang, Antoni B. Chan:
Maximum-Margin Structured Learning with Deep Networks for 3D Human Pose Estimation. - Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. 16-30 - Pedro R. D'Argenio, Matias David Lee, Daniel Gebler:
SOS rule formats for convex and abstract probabilistic bisimulations. 31-45 - Kirstin Peters, Rob J. van Glabbeek:
Analysing and Comparing Encodability Criteria. 46-60 - Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann:
Encoding CSP into CCS. 61-75 - Reuben N. S. Rowe:
Encoding the Factorisation Calculus. 76-90 - Chandresh Kumar Maurya, Durga Toshniwal, Gopalan Vijendran Venkoparao:
Online Anomaly Detection via Class-Imbalance Learning. - Mohammad S. Karim, Sameh Sorour, Parastoo Sadeghi:
Network Coding for Video Distortion Reduction in Device-to-Device Communications. - Katsusuke Nabeshima, Shinichi Tajima:
Algebraic Local Cohomology with Parameters and Parametric Standard Bases for Zero-Dimensional Ideals. - Ying Liu, Yan-bin Han, Yu-lin Zhang:
Image Type Water Meter Character Recognition Based on Embedded DSP. - Mohini Pramod Sardey, Gajanan K. Kharate:
A Comparative Analysis of Retrieval Techniques In Content Based Image Retrieval. - Dimitrios Amaxilatis, Marios Logaras, Othon Michail, Paul G. Spirakis:
NETCS: A New Simulator of Population Protocols and Network Constructors. - Wai Hong Ronald Chan, Matthias Wildemeersch, Tony Q. S. Quek:
Characterization and Control of Diffusion Processes in Multi-Agent Networks. - Sang-Rim Lee, Jaehoon Jung, Haewook Park, Inkyu Lee:
A New Energy Efficient Beamforming Strategy for MISO Interfering Broadcast Channels based on Large Systems Analysis. - Gabriele Fici:
Factorizations of the Fibonacci Infinite Word. - Till Bruckdorfer, Michael Kaufmann, Stephen G. Kobourov, Sergey Pupyrev:
On Embeddability of Buses in Point Sets. - Fauzan Aziz, Leon Andretti Abdillah, Novri Hadinata:
Sistem Informasi Eksekutif Berbasis Web pada Fakultas Pertanian Universitas Muhammadiyah Palembang. - László Csató:
A graph interpretation of the least squares ranking method. - Henning Basold:
Dependent Inductive and Coinductive Types are Fibrational Dialgebras. 3-17 - Elliot Anshelevich, Shreyas Sekar:
Computing Stable Coalitions: Approximation Algorithms for Reward Sharing. - Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale, Luca Trevisan:
Stabilizing Consensus with Many Opinions. - James Clarkson, Christos Kotselidis, Gavin Brown, Mikel Luján:
Boosting Java Performance using GPGPUs. - Jens Maßberg:
The Depth-Restricted Rectilinear Steiner Arborescence Problem is NP-complete. - Carola Doerr, Johannes Lengler:
Introducing Elitist Black-Box Models: When Does Elitist Selection Weaken the Performance of Evolutionary Algorithms? - Jeffrey B. Goeders, Steven J. E. Wilton:
Allowing Software Developers to Debug HLS Hardware. - Konrad Möller, Martin Kumm, Charles-Frederic Müller, Peter Zipf:
Model-based Hardware Design for FPGAs using Folding Transformations based on Subcircuits. - Jens Korinth, David de la Chevallerie, Andreas Koch:
ThreadPoolComposer - An Open-Source FPGA Toolchain for Software Developers. - Vinay B. Y. Kumar, Pinalkumar Engineer, Mandar Datar, Yatish Turakhia, Saurabh Agarwal, Sanket Diwale, Sachin B. Patkar:
Framework for Application Mapping over Packet-Switched Network of FPGAs: Case Studies. - Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies:
On Deciding Local Theory Extensions via E-matching. - Gregory Z. Gutin, Magnus Wahlström:
Tight Lower Bounds for the Workflow Satisfiability Problem Based on the Strong Exponential Time Hypothesis. - Daniel Jiménez-González, Carlos Álvarez, Antonio Filgueras, Xavier Martorell, Jan Langer, Juanjo Noguera, Kees A. Vissers:
Coarse-Grain Performance Estimator for Heterogeneous Parallel Computing Architectures like Zynq All-Programmable SoC. - Mário P. Véstias, Rui Policarpo Duarte, Horácio C. Neto:
Designing Hardware/Software Systems for Embedded High-Performance Computing. - Zvonimir Pavlinovic, Tim King, Thomas Wies:
On Practical SMT-Based Type Error Localization. - Oliver Knodel, Rainer G. Spallek:
RC3E: Provision and Management of Reconfigurable Hardware Accelerators in a Cloud Environment. - Thiago Braga Marcilon, Rudini Menezes Sampaio:
The maximum time of 2-neighbour bootstrap percolation in grid graphs and some parameterized results. - Daniele Liciotti, Marco Contigiani, Emanuele Frontoni, Adriano Mancini, Primo Zingaretti, Valerio Placidi:
Shopper Analytics: a customer activity recognition system using a distributed RGB-D camera network. - Thiago Braga Marcilon, Rudini Menezes Sampaio:
The maximum time of 2-neighbor bootstrap percolation: complexity results. - Erika R. Bérczi-Kovács, Attila Bernáth:
The complexity of the Clar number problem and an FPT algorithm. - Jan A. Bergstra, Cornelis A. Middelburg:
Contradiction-tolerant process algebra with propositional signals. - Markus Thom, Franz Gritschneder:
A Theory for Rapid Exact Signal Scanning with Deep Multi-Scale Convolutional Neural Networks. - Arthi Ramachandran, Augustin Chaintreau:
Who Contributes to the Knowledge Sharing Economy? - Darko Brodic, Alessia Amelio:
Classification of the Extremely Low Frequency Magnetic Field Radiation Measurement from the Laptop Computers. - Erik T. Mueller, Henry Minsky:
Using Thought-Provoking Children's Questions to Drive Artificial Intelligence Research. - Long Cheng, Yunpeng Wang, Wei Ren, Zeng-Guang Hou, Min Tan:
On Convergence Rate of Leader-Following Consensus of Linear Multi-Agent Systems with Communication Noises. - Shiyu Zhao, Daniel Zelazo:
Bearing-Based Formation Stabilization with Directed Interaction Topologies. - Bechir Hamdaoui:
A Simple Algorithm for Coloring m-Clique Holes. - Catarina Moreira, Andreas Wichert:
The Relation Between Acausality and Interference in Quantum-Like Bayesian Networks. - Saurav Acharya, Byung Suk Lee, Paul Hines:
Real-time Top-K Predictive Query Processing over Event Streams. - Bappaditya Ghosh, Pramod Kumar Kewat:
Cyclic codes over the ring 𝔽p[u, v] / 〈uk, v2, uv-vu〉. - Kenji Hata, Sherman Leung, Ranjay Krishna, Michael S. Bernstein, Li Fei-Fei:
SentenceRacer: A Game with a Purpose for Image Sentence Annotation. - Hiroshi Hirai:
A dual descent algorithm for node-capacitated multiflow problems and its applications. - Yongwang Zhao:
Formal Specification and Verification of Separation Kernels: An Overview. - Bin Li, Mengwei Sun, Siyi Wang, Weisi Guo, Chenglin Zhao:
Low-complexity Non-coherent Signal Detection for Nano-Scale Molecular Communications. - Zahra Gallehdari, Nader Meskin, Khashayar Khorasani:
An H∞ Cooperative Fault Recovery Control of Multi-Agent Systems. - Muhammad Sofyan, Leon Andretti Abdillah, Hadi Syahputra:
Analisis dan Perancangan Wireless Roaming (Studi Kasus Universitas Baturaja). - (Withdrawn) Multi-armed Bandit Problem with Known Trend.
- Saisai Ma, Jiuyong Li, Lin Liu, Thuc Duy Le:
Mining Combined Causes. - Hoai Nguyen Huynh, Erika Fille T. Legara, Christopher P. Monterola:
A Dynamical Model of Twitter Activity Profiles. - Francis Iannacci, Yanping Huang:
ChirpCast: Data Transmission via Audio. - Songlin Zhao:
Regularized Kernel Recursive Least Square Algoirthm. - Shixin Zhu, Xiaojing Chen:
Cyclic DNA codes over F2+uF2+vF2+uvF2. - Kazushi Yamashina, Takeshi Ohkawa, Kanemitsu Ootsu, Takashi Yokota:
Proposal of ROS-compliant FPGA Component for Low-Power Robotic Systems. - Lesley Shannon, Eric Matthews, Nicholas C. Doyle, Alexandra Fedorova:
Performance monitoring for multicore embedded computing systems on FPGAs. - Chun-Hsian Huang, Kwuan-Wei Tseng, Chih-Cheng Lin, Fang-Yu Lin, Pao-Ann Hsiung:
Virtualization Architecture for NoC-based Reconfigurable Systems. - Andrew J. R. Simpson:
Parallel Dither and Dropout for Regularising Deep Neural Networks. - Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace:
RIPL: An Efficient Image Processing DSL for FPGAs. - Tobias Strauch:
Using System Hyper Pipelining (SHP) to Improve the Performance of a Coarse-Grained Reconfigurable Architecture (CGRA) Mapped on an FPGA. - Ian Gray, Yu Chan, Jamie Garside, Neil C. Audsley, Andy J. Wellings:
Transparent hardware synthesis of Java for predictable large-scale distributed systems. - Thanh-Toan Do, Anh-Zung Doan, Ngai-Man Cheung:
Discrete Hashing with Deep Neural Network. - Mikhail Borodin, Kaushik De, Jose Garcia Navarro, Dmitry Golubkov, Alexei Klimentov, Tadashi Maeno, David M. South, Alexandre Vaniachine:
Unified System for Processing Real and Simulated Data in the ATLAS Experiment. - (Withdrawn) Competitive and Penalized Clustering Auto-encoder.
- Marc Hellmuth, Florian Lehner:
Fast Factorization of Cartesian products of Hypergraphs. - Matthias Bussas, Christoph Sawade, Tobias Scheffer, Niels Landwehr:
Varying-coefficient models with isotropic Gaussian process priors. - Sagnik Sen:
On homomorphism of oriented graphs with respect to push operation. - Sandip Das, Soumen Nandi, Sagnik Sen:
On chromatic number of colored mixed graphs. - Bruno Turcksin, Timo Heister, Wolfgang Bangerth:
Clone and graft: Testing scientific applications as they are built. - Kourosh Parand, Sajjad Khaleqi:
Rational Chebyshev of Second Kind Collocation Method for Solving a Class of Astrophysics Problems. - Ahmad F. Taha, Junjian Qi, Jianhui Wang, Jitesh H. Panchal:
Risk Mitigation for Dynamic State Estimation Against Cyber Attacks and Unknown Inputs. - Ahmad F. Taha, Junjian Qi, Jianhui Wang, Jitesh H. Panchal:
Dynamic State Estimation under Cyber Attacks: A Comparative Study of Kalman Filters and Observers. - Michal Pilipczuk, Szymon Torunczyk:
On ultralimits of sparse graph classes. - Suin Kim, Sungjoon Park, Scott A. Hale, Sooyoung Kim, Jeongmin Byun, Alice Oh:
Understanding Editing Behaviors in Multilingual Wikipedia. - Alireza Zaeemzadeh, Mohsen Joneidi, Behzad Shahrasbi, Nazanin Rahnavard:
Missing Spectrum-Data Recovery in Cognitive Radio Networks Using Piecewise Constant Nonnegative Matrix Factorization. - Jesse Shore:
Market Formation as Transitive Closure: the Evolving Pattern of Trade in Music. - Ali Bou Nassif, Mohammad Azzeh, Luiz Fernando Capretz, Danny Ho:
A Comparison Between Decision Trees and Decision Tree Forest Models for Software Development Effort Estimation. - Faheem Ahmed, Piers Campbell, Azam Beg, Luiz Fernando Capretz:
What Soft Skills Software Architect Should Have? A Reflection from Software Industry. - Anastasios Noulas, Vsevolod Salnikov, Renaud Lambiotte, Cecilia Mascolo:
Mining Open Datasets for Transparency in Taxi Transport in Metropolitan Environments. - Yan Chen, Ashwin Machanavajjhala:
On the Privacy Properties of Variants on the Sparse Vector Technique. - Josselin Garnier, George Papanicolaou, Tzu-Wei Yang:
Consensus Convergence with Stochastic Effects. - Jawad Mirza, Peter J. Smith, Pawel A. Dmochowski, Mansoor Shafi:
Coordinated Regularized Zero-Forcing Precoding for Multicell MISO Systems with Limited Feedback. - Sepideh Pourazarm, Christos G. Cassandras:
Lifetime Maximization of Wireless Sensor Networks with a Mobile Source Node. - Richard Cole, Yixin Tao:
The Price of Anarchy of Large Walrasian Auctions. - Vijay Gadepally, Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther:
D4M: Bringing Associative Arrays to Database Engines. - Vijay Gadepally, Jake Bolewski, Dan Hook, Dylan Hutchison, Benjamin A. Miller, Jeremy Kepner:
Graphulo: Linear Algebra Graph Kernels for NoSQL Databases. - Hamza Alsarhan, Davin Chia, Ananya Christman, Shannia Fu, Tony Jin:
Colored Bin Packing. - Xi Zhang, Ming Jia, Lei Chen, Jianglei Ma, Jing Qiu:
Filtered-OFDM - Enabler for Flexible Waveform in The 5th Generation Cellular Networks. - (Withdrawn) Background Radiation Cancellation for Free-Space Optical Communications with IM/DD.
- Yasmeen Akhtar, Soumen Maity:
Mixed Covering Arrays on 3-Uniform Hypergraphs. - Nasser Eslahi, Hami Mahdavinataj, Ali Aghagolzadeh:
Mixed Gaussian-Impulse Noise Removal from Highly Corrupted Images via Adaptive Local and Nonlocal Statistical Priors. - Guoxu Zhou, Qibin Zhao, Yu Zhang, Tülay Adali, Shengli Xie, Andrzej Cichocki:
Linked Component Analysis from Matrices to High Order Tensors: Applications to Biomedical Data. - Zhiguo Ding, Robert Schober, H. Vincent Poor:
A General MIMO Framework for NOMA Downlink and Uplink Transmission Based on Signal Alignment. - Stanislav Sysala:
An improved return-mapping scheme for nonsmooth plastic potentials: PART II - the Mohr-Coulomb yield criterion. - Siavash Ghavami, Raviraj Adve, Farshad Lahouti:
Bounds on the Capacity of ASK Molecular Communication Channels with ISI. - Mohammad Vahid Jamali, Jawad A. Salehi:
On the BER of Multiple-Input Multiple-Output Underwater Wireless Optical Communication Systems. - Anastasios Gounaris:
Towards Automated Performance Optimization of BPMN Business Processes. - (Withdrawn) Image Annotation Incorporating Low-Rankness, Tag and Visual Correlation and Inhomogeneous Errors.
- Jesús Tramullas, Ana I. Sánchez-Casabón, Piedad Garrido Picazo:
Studies and analysis of reference management software: a literature review. - Alberto Garcia-Serrano:
Anomaly Detection for malware identification using Hardware Performance Counters. - Joseph Cheriyan, Zhihan Gao:
Approximating (Unweighted) Tree Augmentation via Lift-and-Project, Part I: Stemless TAP. - Manas Joglekar, Rohan Puttagunta, Christopher Ré:
Aggregations over Generalized Hypertree Decompositions. - Dong Nguyen, A. Seza Dogruöz, Carolyn P. Rosé, Franciska de Jong:
Computational Sociolinguistics: A Survey. - Yanping Chen:
Protocol Programming: A Connection of the Digit World. - Karim Awudu, Shangbo Zhou:
X-TREPAN: a multi class regression and adapted extraction of comprehensible decision tree in artificial neural networks. - Yanping Chen:
An Event Network for Exploring Open Information. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Ignaz Rutter:
Intersection-Link Representations of Graphs. - Chin-Fu Liu, Hsiao-feng Lu, Po-Ning Chen:
Analysis and Practice of Uniquely Decodable One-to-One Code. - Pui Tung Choi, Kin Tat Ho, Lok Ming Lui:
Spherical Conformal Parameterization of Genus-0 Point Clouds for Meshing. - Jason T. Parker, Yan Shou, Philip Schniter:
Parametric Bilinear Generalized Approximate Message Passing. - Karthik Gopalakrishnan, Arun Pandey, Joydeep Chandra:
Social Interaction in Flickr: Mechanisms and Role in Link Formation. - Sanket S. Kalamkar, Subhajit Majhi, Adrish Banerjee:
Outage Analysis of Spectrum Sharing Energy Harvesting Cognitive Relays in Nakagami-$m$ Channels. - Kangquan Li, Longjiang Qu, Xi Chen:
New Classes of Permutation Binomials and Permutation Trinomials over Finite Fields. - Rémi Ronfard, Vineet Gandhi, Laurent Boiron:
The Prose Storyboard Language: A Tool for Annotating and Directing Movies. - Lindsay Berry, Andrew Beveridge, Jane Butterfield, Volkan Isler, Zachary Keller, Alana Shine, Junyi Wang:
Line-of-Sight Pursuit in Strictly Sweepable Polygons. - Nasser Eslahi, Ali Aghagolzadeh, Seyed Mehdi Hosseini Andargoli:
Compressive Video Sensing via Dictionary Learning and Forward Prediction. - Justin Johnson, Lamberto Ballan, Li Fei-Fei:
Love Thy Neighbors: Image Annotation by Exploiting Image Metadata. - Tian Lan, Yuke Zhu, Amir Roshan Zamir, Silvio Savarese:
Action Recognition by Hierarchical Mid-level Action Elements. - Benjamin Rossman:
The Average Sensitivity of Bounded-Depth Formulas. - Shahriar Shariat, Burkay Orten, Ali Dasdan:
Online Model Evaluation in a Large-Scale Computational Advertising Platform. - Muhammad Ghifary, W. Bastiaan Kleijn, Mengjie Zhang, David Balduzzi:
Domain Generalization for Object Recognition with Multi-task Autoencoders. - Johannes Schneider:
A General Multi-Party Protocol for Minimal Communication and Local Computation. - Mostafa El-Khamy, Hsien-Ping Lin, Jungwon Lee, Hessam Mahdavifar, Inyup Kang:
Rate-Compatible Polar Codes for Wireless Channels. - Gerard David Howard, Larry Bull, Pier Luca Lanzi:
A Cognitive Architecture Based on a Learning Classifier System with Spiking Classifiers. - Simon Suster, Gertjan van Noord, Ivan Titov:
Word Representations, Tree Models and Syntactic Functions. - Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang:
A survey on unmanned aerial vehicle collision avoidance systems. - Anandi Giridharan, Pallapa Venkataram:
SDL based validation of a node monitoring protocol. - Jian Chen, Xiaoming Chen, Wolfgang H. Gerstacker:
Optimal Power Allocation for A Massive MIMO Relay Aided Secure Communication. - Andreas Brandstädt, Raffaele Mosca:
Weighted Efficient Domination for $P_6$-Free Graphs in Polynomial Time. - Nikolaos I. Miridakis:
On the Ergodic Capacity of Underlay Cognitive Dual-Hop AF Relayed Systems under Non-Identical Generalized-K Fading Channels. - David Ryan:
A new Computer Friendly Notation for Musical Composition in Just Intonation allowing Easy Transposition by Multiplication of Notations. - Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot:
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. - Lukás Bajer, Martin Holena:
Model Guided Sampling Optimization for Low-dimensional Problems. - A. Pourmoghadas, P. G. Poonacha:
Performance Analysis of Split Preamble RAN Over-load Protocol for M2M Communications in Cellular Networks. - Gilles Louppe, Hussein T. Al-Natsheh, Mateusz Susik, Eamonn James Maguire:
Ethnicity sensitive author disambiguation using semi-supervised learning. - Samir Bouftass:
On a new fast public key cryptosystem. - Marek Adamczyk:
Non-negative submodular stochastic probing via stochastic contention resolution schemes. - Veli Mäkinen, Valeria Staneva, Alexandru I. Tomescu, Daniel Valenzuela:
Interval scheduling maximizing minimum coverage. - Andrzej Mizera, Jun Pang, Qixia Yuan:
Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). - Cristina David, Daniel Kroening, Matt Lewis:
Using Program Synthesis for Program Analysis. - Peng Peng, Lei Chen, Lei Zou, Dongyan Zhao:
Query Workload-based RDF Graph Fragmentation and Allocation. - Vladimir N. Krupski, Alexey Yatmanov:
Sequent Calculus for Intuitionistic Epistemic Logic. - Changsoo Je, Kwang Hee Lee, Sang Wook Lee:
Multi-Projector Color Structured-Light Vision. - Desislava Hristova, Anastasios Noulas, Chloë Brown, Mirco Musolesi, Cecilia Mascolo:
A Multilayer Approach to Multiplexity and Link Prediction in Online Geo-Social Networks. - Michael C. Kotson, Alexia Schulz:
Characterizing Phishing Threats with Natural Language Processing. - Alexander Shekhovtsov, Paul Swoboda, Bogdan Savchynskyy:
Maximum Persistency via Iterative Relaxed Inference with Graphical Models. - Rico Sennrich, Barry Haddow, Alexandra Birch:
Neural Machine Translation of Rare Words with Subword Units. - Nahal Maleki, Azadeh Vosoughi, Nazanin Rahnavard:
Distributed Binary Detection over Fading Channels: Cooperative and Parallel Architectures. - Remi A. Chou, Badri N. Vellambi, Matthieu R. Bloch, Jörg Kliewer:
Coding Schemes for Achieving Strong Secrecy at Negligible Cost. - Fabrizio Frati, Michael Hoffmann, Vincent Kusters:
Simultaneous Embeddings with Few Bends and Crossings. - Fabián Riquelme:
Measuring user influence on Twitter: A survey. - Nir Ben-Zrihem, Lihi Zelnik-Manor:
Approximate Nearest Neighbor Fields in Video. - Nithin Sugavanam, Emre Ertin:
Recovery guarantees for multifrequency chirp waveforms in compressed radar sensing. - Franz Richter-Gottfried, Alexander Ditter, Dietmar Fey:
OpenCL 2.0 for FPGAs using OCLAcc. - Florian Schornbaum, Ulrich Rüde:
Massively Parallel Algorithms for the Lattice Boltzmann Method on Non-uniform Grids. - Ali Jadbabaie, Alex Olshevsky:
On performance of consensus protocols subject to noise: role of hitting times and network structure. - Tom Theuns, Aidan B. G. Chalk, Matthieu Schaller, Pedro Gonnet:
SWIFT: task-based hydrodynamics and gravity for cosmological simulations. - Petros A. Petrosyan, Hayk H. Tepanyan:
Interval edge-colorings of composition of graphs. - Hwangrae Lee, Bernd Sturmfels:
Duality of Multiple Root Loci. - Yutao Tang, Yiguang Hong, Xinghu Wang:
Distributed Output Regulation for a Class of Nonlinear Multi-Agent Systems with Unknown-Input Leaders. - Michael P. Friedlander, Ives Macêdo:
Low-rank spectral optimization. - Roni Mittelman:
Time-series modeling with undecimated fully convolutional neural networks. - Gautam Munglani, Roman Vetter, Falk K. Wittel, Hans J. Herrmann:
Orthotropic rotation-free thin shell elements. - Tung Thanh Vu, Ha Hoang Kha, Trung Quang Duong, Nguyen-Son Vo:
On the Interference Alignment Designs for Secure Multiuser MIMO Systems. - Rein Houthooft, Filip De Turck:
Integrated Inference and Learning of Neural Factors in Structural Support Vector Machines. - Tobias Sutter, Arnab Ganguly, Heinz Koeppl:
A variational approach to path estimation and parameter inference of hidden diffusion processes. - Megasthenis Asteris, Dimitris S. Papailiopoulos, Anastasios Kyrillidis, Alexandros G. Dimakis:
Sparse PCA via Bipartite Matchings. - Faicel Chamroukhi:
Bayesian mixtures of spatial spline regressions. - Aaditya Ramdas, Sashank J. Reddi, Barnabás Póczos, Aarti Singh, Larry A. Wasserman:
Adaptivity and Computation-Statistics Tradeoffs for Kernel and Distance based High Dimensional Two Sample Testing. - Jari Saramäki, Petter Holme:
Exploring Temporal Networks with Greedy Walks. - Victor Chepoi, Bertrand Estellon, Guyslain Naves:
Packing and covering with balls on Busemann surfaces. - Maris Ozols:
How to combine three quantum states. - Jean Honorio, Tommi S. Jaakkola:
Structured Prediction: From Gaussian Perturbations to Linear-Time Principled Algorithms. - Akshay Srinivasan, Emanuel Todorov:
Graphical Newton. - Maciej J. Mrowinski, Agata Fronczak, Piotr Fronczak, Olgica Nedic, Marcel Ausloos:
Review times in peer review: quantitative analysis of editorial workflows. - Xiuchang Zhang, H. S. Ruiz, Z. Zhong, T. A. Coombs:
Implementation of Resistive Type Superconducting Fault Current Limiters in Electrical Grids: Performance Analysis and Measuring of Optimal Locations. - Elizabeth Roberto:
Measuring Inequality and Segregation. - Arash Pourhabib:
Empirical Similarity for Absent Data Generation in Imbalanced Classification. - Rodrigo Mendoza-Smith, Jared Tanner:
Expander ℓ0-Decoding. - Petter Holme:
Modern temporal network theory: A colloquium. - Afsane Akbarzadeh, Elham Shadkam:
The study of cuckoo optimization algorithm for production planning problem. - Louis M. Shekhtman, Saray Shai, Shlomo Havlin:
Resilience of Networks Formed of Interdependent Modular Networks. - Yara Elias, Kristin E. Lauter, Ekin Ozman, Katherine E. Stange:
Ring-LWE Cryptography for the Number Theorist. - Kenneth Bloom, Tommaso Boccali, Brian Bockelman, Daniel C. Bradley, Sridhara Dasu, Jeff Dost, Federica Fanzago, Igor Sfiligoi, Alja Mrak Tadel, Matevz Tadel, Carl Vuosalo, Frank Würthwein, Avi Yagil, Marián Zvada:
Any Data, Any Time, Anywhere: Global Data Access for Science. - Pushpendre Rastogi, Benjamin Van Durme:
Sublinear Partition Estimation. - Koby Todros, Alfred O. Hero III:
Robust Multiple Signal Classification via Probability Measure Transformation. - Siddharth Sigtia, Emmanouil Benetos, Simon Dixon:
An End-to-End Neural Network for Polyphonic Music Transcription. - Paul D. H. Hines, Ian Dobson, Pooya Rezaei:
Cascading Power Outages Propagate Locally in an Influence Graph that is not the Actual Grid Topology. - Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu:
Sample-optimal tomography of quantum states. - Sharmodeep Bhattacharyya, Peter J. Bickel:
Spectral Clustering and Block Models: A Review And A New Algorithm. - Pieter Coulier, Hadi Pouransari, Eric Darve:
The inverse fast multipole method: using a fast approximate direct solver as a preconditioner for dense linear systems. - Kiran S. Kedlaya:
On the algebraicity of generalized power series. - Ming Li, Youjin Deng, Bing-Hong Wang:
Clique percolation in random graphs. - Ryan Amiri, Erika Andersson:
Unconditionally Secure Quantum Signatures. - Wentao Ma, Hua Qu, Badong Chen, Ji-hong Zhao, Jiandong Duan:
Robust diffusion maximum correntropy criterion algorithm for distributed network estimation. - Ryan O'Donnell, John Wright:
Efficient quantum tomography. - Nicolás García Trillos, Dejan Slepcev:
A variational approach to the consistency of spectral clustering. - Constantinos Daskalakis, Sébastien Roch:
Species Trees from Gene Trees Despite a High Rate of Lateral Genetic Transfer: A Tight Bound. - Iain Dunning, Joey Huchette, Miles Lubin:
JuMP: A Modeling Language for Mathematical Optimization. - Ralph Fehrer, Stefan Feuerriegel:
Improving Decision Analytics with Deep Learning: The Case of Financial Disclosures. - Antonis Mytidis, Athanasios Aris Panagopoulos, Orestis P. Panagopoulos, Bernard Whiting:
Sensitivity study using machine learning algorithms on simulated r-mode gravitational wave signals from newborn neutron stars. - Philipp Moritz, Robert Nishihara, Michael I. Jordan:
A Linearly-Convergent Stochastic L-BFGS Algorithm. - James D. Currie, Philip Lafrance:
Avoidability index for binary patterns with reversal. - Donald L. Brown, Maria V. Vasilyeva:
A Generalized Multiscale Finite Element Method for Poroelasticity Problems I: Linear Problems. - Donald L. Brown, Maria V. Vasilyeva:
A Generalized Multiscale Finite Element Method for Poroelasticity Problems II: Nonlinear Coupling. - Laura Ciobanu, Volker Diekert, Murray Elder:
Solution sets for equations over free groups are EDT0L languages. - Irene Marquez Corbella, Ruud Pellikaan:
A characterization of MDS codes that have an error correcting pair. - Bruno Carpentieri, Jia Liao, Masha Sosonkina, Aldo Bonfiglioli:
Using the VBARMS method in parallel computing. - Justyna P. Zwolak, Eric Brewe:
The impact of social integration on student persistence in introductory Modeling Instruction courses. - Nico Tauchnitz:
The Pontryagin Maximum Principle for Nonlinear Infinite Horizon Optimal Control Problems with State Constraints. - Elchanan Mossel, Jiaming Xu:
Local Algorithms for Block Models with Side Information. - Alexandros Syrakos, George Efthimiou, John G. Bartzis, Apostolos Goulas:
Numerical experiments on the efficiency of local grid refinement based on truncation error estimates. - Isaac Mabillard, Uli Wagner:
Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems. - Alexei G. Myasnikov, Andrey Nikolaev, Alexander Ushakov:
Non-commutative lattice problems. - Osman Yagan:
Zero-one laws for connectivity in inhomogeneous random key graphs. - Houman Owhadi, Clint Scovel:
Machine Wald. - Zheng Han, Frank E. Curtis:
Primal-Dual Active-Set Methods for Isotonic Regression and Trend Filtering. - Steven Kelk:
A note on convex characters and Fibonacci numbers. - Miquel Lopez-Suarez, Igor Neri, Luca Gammaitoni:
Sub kBT micro electromechanical irreversible logic gate. - Maojiao Ye, Guoqiang Hu:
Game Design and Analysis for Price based Demand Response: An Aggregate Game Approach. - J. Phillip Bailey, Aubrey N. Beal, Robert Neal Dean, Michael C. Hamilton:
A Digital Matched Filter for Reverse Time Chaos. - Alexandros Syrakos, Apostolos Goulas:
Estimate of the truncation error of a finite volume discretisation of the Navier-Stokes equations on colocated grids. - John R. Mahoney, Cina Aghamohammadi, James P. Crutchfield:
Occam's Quantum Strop: Synchronizing and Compressing Classical Cryptic Processes via a Quantum Channel. - Yan Zhuang:
The Goulden-Jackson cluster method for monoid networks and an application to lattice path enumeration. - Susan Khor:
The short-cut network within protein residue networks. - Jan Goedgebeur, Brendan D. McKay:
Fullerenes with distant pentagons. - Robert Nishihara, David Lopez-Paz, Léon Bottou:
No Regret Bound for Extreme Bandits. - Dierk Schleicher, Robin Stoll:
Newton's method in practice: finding all roots of polynomials of degree one million efficiently. - James D. Currie, Narad Rampersad:
Binary words avoiding xx^Rx and strongly unimodal sequences. - Marco Dalai, Yury Polyanskiy:
Bounds for codes on pentagon and other cycles. - Manda Winlaw, Michael B. Hynes, Anthony L. Caterini, Hans De Sterck:
Algorithmic Acceleration of Parallel ALS for Collaborative Filtering: Speeding up Distributed Big Data Recommendation in Spark. - Natashia Boland, Thomas Kalinowski, Fabian Rigterink:
A polynomially solvable case of the pooling problem. - Antonio De Maio, Danilo Orlando:
Adaptive Radar Detection of a Subspace Signal Embedded in Subspace Structured plus Gaussian Interference Via Invariance. - Dmitri Maslov:
On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization. - Alexandros Syrakos, Apostolos Goulas:
Finite volume adaptive solutions using SIMPLE as smoother. - Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux:
Relaxations of associativity and preassociativity for variadic functions. - Dibyendu Mandal, Alexander B. Boyd, James P. Crutchfield:
Memoryless Thermodynamics? A Reply. - Xiaojie Chen, Attila Szolnoki, Matjaz Perc:
Competition and cooperation among different punishing strategies in the spatial public goods game. - Assaf Hallak, Aviv Tamar, Shie Mannor:
Emphatic TD Bellman Operator is a Contraction. - Irene Sendiña-Nadal, Michael M. Danziger, Z. Wang, Shlomo Havlin, Stefano Boccaletti:
Assortativity and leadership emergence from anti-preferential attachment in heterogeneous networks. - Hyewon Kim, Meesoon Ha, Hawoong Jeong:
Scaling Properties in Time-Varying Networks with Memory. - Eugene Ch'ng:
Local Interactions and the Emergence of a Twitter Small-World Network. - Guido Montúfar, Johannes Rauh:
Hierarchical Models as Marginals of Hierarchical Models. - (Withdrawn) A conjecture about the efficiency of first price mechanisms.
- Philipp Thomann, Ingo Steinwart, Nico Schmid:
Towards an Axiomatic Approach to Hierarchical Clustering of Measures. - Selçuk Bilir, Ersin Gögüs, Özgecan Önal Tas, Talar Yontan:
A New Ranking Scheme for the Institutional Scientific Performance. - Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact algorithms for linear matrix inequalities. - Martin Gueuning, Jean-Charles Delvenne, Renaud Lambiotte:
Imperfect diffusion on temporal networks. - Luis F. Lafuerza, Louise Dyson, Bruce Edmonds, Alan J. McKane:
Simplification and analysis of a model of social interaction in voting. - Ken-ichi Kawarabayashi:
The odd Hadwiger's conjecture is "almost" decidable. - Matthieu Fradelizi, Mokshay M. Madiman, Liyao Wang:
Optimal Concentration of Information Content For Log-Concave Densities. - Alexander Yu. Vlasov:
On computational complexity of some quantum models with bosons. - Assad Akhlaq, Robby G. McKilliam, Ramanan Subramanian:
Basis construction for range estimation by phase unwrapping. - Jérémie Boulanger, Ludovic Seifert, Romain Hérault, Jean-François Coeurjolly:
Automatic sensor-based detection and classification of climbing activities. - Claudio Fantacci:
Distributed multi-object tracking over sensor networks: a random finite set approach. - Changwei Hu, Piyush Rai, Lawrence Carin:
Zero-Truncated Poisson Tensor Factorization for Massive Binary Tensors. - Changwei Hu, Piyush Rai, Changyou Chen, Matthew Harding, Lawrence Carin:
Scalable Bayesian Non-Negative Tensor Factorization for Massive Count Data. - Christoph Lehrenfeld, Joachim Schöberl:
High order exactly divergence-free Hybrid Discontinuous Galerkin Methods for unsteady incompressible flows. - Shenggong Ji, Linyuan Lu, Chi Ho Yeung, Yanqing Hu:
Effective spreading from multiple leaders identified by percolation in social networks. - Juan Ignacio Perotti, Claudio Juan Tessone, Guido Caldarelli:
Hierarchical mutual information for the comparison of hierarchical community structures in complex networks. - Aren Jansen, Gregory Sell, Vince Lyzinski:
Scalable Out-of-Sample Extension of Graph Embeddings Using Deep Neural Networks. - Satoru Morita:
Six Susceptible-Infected-Susceptible Models on Scale-free Networks. - Georgios C. Chasparis, Martina Maggio, Enrico Bini, Karl-Erik Årzén:
Design and Implementation of Distributed Resource Management for Time Sensitive Applications. - Zhan Shi, Hendra I. Nurdin:
Local optimality of a coherent feedback scheme for distributed entanglement generation: the idealized infinite bandwidth limit. - Joe Alexandersen, Ole Sigmund, Niels Aage:
Large scale three-dimensional topology optimisation of heat sinks cooled by natural convection. - Gopal P. Sarma, Travis W. Jacobs, Mark D. Watts, Vahid Ghayoomi, Richard C. Gerkin, Stephen D. Larson:
Unit Testing, Model Validation, and Biological Simulation. - Shawn X. Cui, Michael H. Freedman, Or Sattath, Richard Stong, Greg Minton:
Quantum Max-flow/Min-cut. - Taposh Banerjee, Hamed Firouzi, Alfred O. Hero III:
Quickest Detection for Changes in Maximal kNN Coherence of Random Matrices. - Leonardo Nascimento Ferreira, Liang Zhao:
Time Series Clustering via Community Detection in Networks. - Xianfeng Hu, Mark A. Iwen, Hyejin Kim:
Rapidly Computing Sparse Legendre Expansions via Sparse Fourier Transforms. - Richard Tanburn, Emile Okada, Nike Dattani:
Reducing multi-qubit interactions in adiabatic quantum computation without adding auxiliary qubits. Part 1: The "deduc-reduc" method and its application to quantum factorization of numbers. - Ankyda Ji, Kamran Turkoglu:
Development of a Low-Cost Experimental Quadcopter Testbed Using an Arduino Controller and Software. - Philippe C. Besse, Brendan Guillouet, Jean-Michel Loubes, François Royer:
Review and Perspective for Distance Based Trajectory Clustering. - Rocco De Rosa, Francesco Orabona, Nicolò Cesa-Bianchi:
The ABACOC Algorithm: a Novel Approach for Nonparametric Classification of Data Streams. - Suvrit Sra, Adams Wei Yu, Mu Li, Alexander J. Smola:
AdaDelay: Delay Adaptive Distributed Stochastic Convex Optimization. - Nicholas Diaco, Tanya Khovanova:
Weighing Coins and Keeping Secrets. - Ohad Kammar:
An absolute characterisation of locally determined omega-colimits. - Nima Riahi, Peter Gerstoft:
Resolving Weak Sources within a Dense Array using a Network Approach. - Mario Lucic, Olivier Bachem, Andreas Krause:
Strong Coresets for Hard and Soft Bregman Clustering with Applications to Exponential Family Mixtures. - Serge Galam, Marco Alberto Javarone:
Modeling Radicalization Phenomena in Heterogeneous Populations. - Martin Spanknebel, Klaus Pawelzik:
Learning Dynamics in Economic Games. - Andrea Mesa, Sebastián Basterrech, Gustavo Guerberoff, Fernando Alvarez-Valin:
Hidden Markov Models for Gene Sequence Classification: Classifying the VSG gene in the Trypanosoma brucei Genome. - Ni Ding, Parastoo Sadeghi, Rodney A. Kennedy:
On Monotonicity of the Optimal Transmission Policy in Cross-layer Adaptive m-QAM Modulation. - Magnus Bordewich, Charles Semple:
Reticulation-Visible Networks. - Hiyori Yoshikawa, Hiroshi Hirai, Kazuhisa Makino:
A representation of antimatroids by Horn rules and its application to educational systems. - Michael Erhard, Greg Horn, Moritz Diehl:
A quaternion-based model for optimal control of the SkySails airborne wind energy system. - Mehdi Korki, Hadi Zayyani, Jingxin Zhang:
Bayesian Hypothesis Testing for Block Sparse Signal Recovery. - Toru Fuda, Miho Tonozaki:
Brudno's theorem for Zd (or Zd+) subshifts. - Tohid Ardeshiri, Umut Orguner, Emre Özkan:
Gaussian Mixture Reduction Using Reverse Kullback-Leibler Divergence. - Richard C. Brewster, Sean McGuinness, Benjamin R. Moore, Jonathan A. Noel:
A Dichotomy Theorem for Circular Colouring Reconfiguration. - Yahel David, Nahum Shimkin:
The Max K-Armed Bandit: A PAC Lower Bound and tighter Algorithms. - Marcel Ausloos, Olgica Nedic, Agata Fronczak, Piotr Fronczak:
Quantifying the quality of peer reviewers through Zipf's law. - Daniel Reem, Alvaro R. De Pierro:
A new convergence analysis and perturbation resilience of some accelerated proximal forward-backward algorithms with errors. - Shen-Yi Zhao, Wu-Jun Li:
Fast Asynchronous Parallel Stochastic Gradient Decent. - Mariano Beguerisse-Díaz, Amy K. McLennan, Guillermo Garduño-Hernández, Mauricio Barahona, Stanley J. Ulijaszek:
The 'who' and 'what' of #diabetes on Twitter. - Madis Vasser, Markus Kängsepp, Jaan Aru:
Change Blindness in 3D Virtual Reality. - Joseph M. Landsberg, Nicolas Ressayre:
Permanent v. determinant: an exponential lower bound assumingsymmetry and a potential path towards Valiant's conjecture. - Felipe Llinares-López, Laetitia Papaxanthos, Dean A. Bodenham, Karsten M. Borgwardt:
Searching for significant patterns in stratified data. - Karl-Dieter Crisman, Michael E. Orrison:
Representation Theory of the Symmetric Group in Voting Theory and Game Theory. - Charanpal Dhanjal, Romaric Gaudel, Stéphan Clémençon:
AUC Optimisation and Collaborative Filtering. - Gili Rosenberg, Poya Haghnegahdar, Phil Goddard, Peter Carr, Kesheng Wu, Marcos López de Prado:
Solving the Optimal Trading Trajectory Problem Using a Quantum Annealer. - E. V. Bonzi, G. B. Grad, A. M. Maggi, M. R. Muñóz:
Study of the characteristic parameters of the normal voices of Argentinian speakers. - Daniel Khashabi, Jeffrey Yufei Liu, John Wieting, Feng Liang:
Clustering With Side Information: From a Probabilistic Model to a Deterministic Algorithm. - Cristóbal A. Navarro, Wei Huang, Youjin Deng:
Adaptive Multi-GPU Exchange Monte Carlo for the 3D Random Field Ising Model. - Deepanshu Vasal, Vijay G. Subramanian, Achilleas Anastasopoulos:
A systematic process for evaluating structured perfect Bayesian equilibria in dynamic games with asymmetric information. - Sei Zhen Khong, Corentin Briat, Anders Rantzer:
Positive Systems Analysis Via Integral Linear Constraints. - Itai Arad, Miklos Santha, Aarthi Sundaram, Shengyu Zhang:
Linear time algorithm for quantum 2SAT. - Mu Qiao, Jia Li:
Gaussian Mixture Models with Component Means Constrained in Pre-selected Subspaces. - Ingo Scholtes, Nicolas Wider, Antonios Garas:
Higher-Order Aggregate Networks in the Analysis of Temporal Networks: Path structures and centralities. - Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani:
Approximations of Stochastic Hybrid Systems: A Compositional Approach. - Amena Mahmoud:
The Power of the Depth of Iteration in Defining Relations by Induction. - Louis J. M. Aslett, Pedro M. Esperança, Chris C. Holmes:
A review of homomorphic encryption and software tools for encrypted statistical machine learning. - Carlos Pedro Gonçalves:
Financial Market Modeling with Quantum Neural Networks. - Ke Li:
Discriminating quantum states: the multiple Chernoff distance. - Leszek Aleksander Kolodziejczyk, Henryk Michalewski:
How unprovable is Rabin's decidability theorem? - Louis J. M. Aslett, Pedro M. Esperança, Chris C. Holmes:
Encrypted statistical machine learning: new privacy preserving methods. - Kunal Bhattacharya, Asim Ghosh, Daniel Monsivais, Robin I. M. Dunbar, Kimmo Kaski:
Sex differences in social focus across the lifecycle in humans. - Xin Yuan, Hong Jiang, Gang Huang, Paul A. Wilford:
Compressive Sensing via Low-Rank Gaussian Mixture Models. - Alex H. Barnett, Jeremy F. Magland, Leslie Greengard:
Validation of neural spike sorting algorithms without ground-truth information. - Nimrod Shaham, Yoram Burak:
Continuous parameter working memory in a balanced chaotic neural network. - Sameet Sreenivasan, Kevin S. Chan, Ananthram Swami, György Korniss, Boleslaw K. Szymanski:
Information Cascades in Feed-based Networks of Users with Limited Attention. - Yanping Huang, Sai Zhang:
Partitioning Large Scale Deep Belief Networks Using Dropout. - Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels:
Computing the Chow variety of quadratic space curves. - Svante Janson:
On the tails of the limiting Quicksort distribution. - Juan Carlos de los Reyes, Carola-Bibiane Schönlieb, Tuomo Valkonen:
Bilevel parameter learning for higher-order total variation regularisation models. - Ashwin Ganesan:
Structure of the automorphism group of the augmented cube graph. - Emanuele Strano, Saray Shai, Simon Dobson, Marc Barthelemy:
Multiplex networks in metropolitan areas: generic features and local effects. - Adrian Dumitrescu, Csaba D. Tóth:
A problem on track runners. - Niel de Beaudrap, Sevag Gharibian:
A linear time algorithm for quantum 2-SAT. - Zhi-Qiang Jiang, Wen-Jie Xie, Ming-Xia Li, Wei-Xing Zhou, Didier Sornette:
Two-state Markov-chain Poisson nature of individual cellphone call statistics. - Aziz M. Mezlini, Fabio Fuligni, Adam Shlien, Anna Goldenberg:
Combining exome and gene expression datasets in one graphical model of disease to empower the discovery of disease mechanisms. - Christopher J. Rook, Mitchell Kerman:
Approximating the Sum of Correlated Lognormals: An Implementation. - Vural Aksakalli, Milad Malekipirbazari:
Feature Selection via Binary Simultaneous Perturbation Stochastic Approximation. - Marc Goessling, Shan Kang:
Directional Decision Lists and Identification of Problem Symptoms. - Hadi Zayyani, Mehdi Korki, Farrokh Marvasti:
Dictionary Learning for Blind One Bit Compressed Sensing. - Wenjie Fang, Roberto Mantaci:
A recursive structure of sand pile model and its applications. - Ilka Antcheva, Maarten Ballintijn, Bertrand Bellenot, Marek Biskup, Rene Brun, Nenad Buncic, Philippe Canal, Diego Casadei, Olivier Couet, Valery Fine, Leandro Franco, Gerardo Ganis, Andrei Gheata, David González Maline, Masaharu Goto, Jan Iwaszkiewicz, Anna Kreshuk, Diego Marcos Segura, Richard Maunder, Lorenzo Moneta, Axel Naumann, Eddy Offermann, Valeriy Onuchin, Suzanne Panacek, Fons Rademakers, Paul Russo, Matevz Tadel:
ROOT - A C++ Framework for Petabyte Data Storage, Statistical Analysis and Visualization. - Pekka Parviainen, Samuel Kaski:
Bayesian Networks for Variable Groups. - Gábor Ivanyos, Péter Kutas, Lajos Rónyai:
Computing explicit isomorphisms with full matrix algebras over $\mathbb{F}_q(x)$. - Shan-Yuan Ho, Abijith Krishnan:
A Secretary Problem with a Sliding Window for Recalling Applicants. - Soomin Lee, Angelia Nedic, Maxim Raginsky:
Decentralized Online Optimization with Global Objectives and Local Communication. - Diyan Teng, Emre Ertin:
Learning to Aggregate Information for Sequential Inferences. - Martin Helmer:
Computing characteristic classes of subschemes of smooth toric varieties. - Kelum Gajamannage, Sachit Butail, Maurizio Porfiri, Erik M. Bollt:
Identifying manifolds underlying group motion in Vicsek agents. - Howard Barnum, Jonathan Barrett, Marius Krumm, Markus P. Müller:
Entropy, majorization and thermodynamics in general probabilistic theories. 43-58 - Kelum Gajamannage, Sachit Butail, Maurizio Porfiri, Erik M. Bollt:
Dimensionality Reduction of Collective Motion by Principal Manifolds. - Wlodzislaw Duch:
Memetics and Neural Models of Conspiracy Theories.
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 2025-05-19 20:56 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:
