


default search action
CoRR, September 2014
- Marco Chiesa, Ilya Nikolaevskiy, Aurojit Panda, Andrei V. Gurtov, Michael Schapira, Scott Shenker:
Exploring the Limits of Static Failover Routing. - Edith Cohen, Daniel Delling, Thomas Pajor, Renato F. Werneck:
Computing Classic Closeness Centrality, at Scale. - Arwa Alamoudi, Noura Alomar, Rawan Alabdulrahman, Sarah Alkoblan, Wea'am A. Alrashed:
Usability Engineering of Games: A Comparative Analysis of Measuring Excitement Using Sensors, Direct Observations and Self-Reported Data. - Mohd Anuar Mat Isa, Habibah Hashim, Syed Farid Syed Adnan, Jamalul-lail Ab Manan, Ramlan Mahmod:
A Secure TFTP Protocol with Security Proofs. - Mohd Anuar Mat Isa, Habibah Hashim, Jamalul-lail Ab Manan, Syed Farid Syed Adnan, Ramlan Mahmod:
An Experimental Study of Cryptography Capability using Chained Key Exchange Scheme for Embedded Devices. - Amir Zidi, Amna Bouhana, Afef Fekih, Mourad Abed:
Personalization of Itineraries search using Ontology and Rules to Avoid Congestion in Urban Areas. - Ye Yuan, Jorge M. Gonçalves:
On minimal realisations of dynamical structure functions. - Mao Yang, Yong Li, Depeng Jin, Lieguang Zeng, Xin Wu, Athanasios V. Vasilakos:
Software-Defined and Virtualized Future Mobile and Wireless Networks: A Survey. - Wei Lu, Shanshan Chen, Keqian Li, Laks V. S. Lakshmanan:
Show Me the Money: Dynamic Recommendations for Revenue Maximization. - Oswin Aichholzer, Ruy Fabila Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr, Birgit Vogtenhuber:
On $k$-Gons and $k$-Holes in Point Sets. - Mehrtash Tafazzoli Harandi, Richard I. Hartley, Brian C. Lovell, Conrad Sanderson:
Sparse Coding on Symmetric Positive Definite Manifolds using Bregman Divergences. - Mehrtash Tafazzoli Harandi, Mathieu Salzmann:
Kernel Coding: General Formulation and Special Cases. - Kaushik Mondal, Arindam Karmakar, Partha Sarathi Mandal:
Designing Path Planning Algorithms for Mobile Anchor towards Range-Free Localization. - Partha Sarathi Roy, Avishek Adhikari:
Multi-Use Multi-Secret Sharing Scheme for General Access Structure. - Steven Weber, Roch Guérin:
Facilitating adoption of network services with externalities via cost subsidization. - Anna Förster, Christoph Sommer, Till Steinbach
, Matthias Wählisch:
Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014. - Hung-Lung Wang:
An optimal algorithm for the weighted backup 2-center problem on a tree. - Christian Bauckhage:
Marginalizing over the PageRank Damping Factor. - Alexandre Barachant, Marco Congedo:
A Plug&Play P300 BCI Using Information Geometry. - Marco Breiling, Derrick Wing Kwan Ng, Christian Rohde, Frank Burkhardt, Robert Schober:
Resource Allocation for Outdoor-to-Indoor Multicarrier Transmission with Shared UE-side Distributed Antenna Systems. - A. M. Dorman:
Computerized Multi Microphone Test System. - Guangwu Xu:
On Solving a Generalized Chinese Remainder Theorem in the Presence of Remainder Errors. - Arne Renkema-Padmos, Jerome Baum:
Through the Frosted Glass: Security Problems in a Translucent UI. - Philippe Mongeon, Vincent Larivière:
Costly Collaborations: The Impact of Scientific Fraud on Co-authors' Careers. - Varun Gupta, Jiheng Zhang:
Approximations and Optimal Control for State-dependent Limited Processor Sharing Queues. - Alexander Titovets, Philip Mills, Vladik Kreinovich:
Computers Should Be Uniters Not Dividers: A Vision of Computer-Enhanced Happy Future. - Cynthia Kop, Naoki Nishida:
Towards Verifying Procedural Programs using Constrained Rewriting Induction. - Benjamin Bond, Lionel Levine:
Abelian networks II. Halting on all inputs. - Benjamin Bond, Lionel Levine:
Abelian networks III. The critical group. - Sayan Bandyapadhyay:
A Variant of the Maximum Weight Independent Set Problem. - Mohammad Javad Taghizadeh, Reza Parhizkar, Philip N. Garner, Hervé Bourlard, Afsaneh Asaei:
Ad Hoc Microphone Array Calibration: Euclidean Distance Matrix Completion Algorithm and Theoretical Guarantees. - Tao Wu, Yuxiao Guo, Leiting Chen, Yanbing Liu:
Fast Overlapping and Hierarchical Community Detection via Local Dynamic Interaction. - Babak Tavassoli:
A Computational Approach to Bisimulation of Hybrid Dynamical Systems. - Leihan Zhang, Jichang Zhao, Ke Xu:
Who creates trends in online social media: The crowd or opinion leaders? - Giuseppe Bianchi, Marco Bonola, Antonio Capone, Carmelo Cascone, Salvatore Pontarelli:
Towards Wire-speed Platform-agnostic Control of OpenFlow Switches. - Sebastian Nanz, Carlo A. Furia:
A Comparative Study of Programming Languages in Rosetta Code. - Ioannis Krikidis, Stelios Timotheou, Symeon Nikolaou, Gan Zheng, Derrick Wing Kwan Ng, Robert Schober:
Simultaneous Wireless Information and Power Transfer in Modern Communication Systems. - Steven P. Lalley, E. Glen Weyl:
Nash Equilibria for a Quadratic Voting Game. - Robert L. Constable:
Virtual Evidence: A Constructive Semantics for Classical Logics. - Fabio Sabatini, Francesco Sarracino:
Online networks destroy social trust. - André R. Gonçalves, Puja Das, Soumyadeep Chatterjee, Vidyashankar Sivakumar, Fernando J. Von Zuben, Arindam Banerjee:
Multi-task Sparse Structure Learning. - Alireza Goudarzi, Darko Stefanovic:
Towards a Calculus of Echo State Networks. - Tao Li, Pingyi Fan, Khaled Ben Letaief:
Outage Probability of Energy Harvesting Relay-aided Cooperative Networks Over Rayleigh Fading Channel. - Alyson K. Fletcher, Sundeep Rangan:
Scalable Inference for Neuronal Connectivity from Calcium Imaging. - Thienne M. Johnson, Jorge Vergara, Chelsea Doll, Madison Kramer, Gayathri Sundararaman, Harsha Rajendran, Alon Efrat, Melanie Hingle:
A Mobile Food Recommendation System Based on The Traffic Light Diet. - Muthukumaran Chandrasekaran, Prashant Doshi, Yifeng Zeng, Yingke Chen:
Team Behavior in Interactive Dynamic Influence Diagrams with Applications to Ad Hoc Teams. - László Gyarmati, Haewoon Kwak, Pablo Rodriguez:
Searching for a Unique Style in Soccer. - Stephen Chong, Ron van der Meyden:
Using Architecture to Reason about Information Security. - Taraka Rama:
Empirical Evaluation of Tree distances for Parser Evaluation. - Martin Nöllenburg, Roman Prutkin, Ignaz Rutter:
On Self-Approaching and Increasing-Chord Drawings of 3-Connected Planar Graphs. - Drazen Lucanin, Foued Jrad, Ivona Brandic, Achim Streit:
Energy-Aware Cloud Management through Progressive SLA Specification. - Xiaoran Jiang, Vincent Gripon, Claude Berrou, Michael G. Rabbat:
Storing sequences in binary tournament-based neural networks. - Chao Li, Lili Guo, Andrzej Cichocki:
Multi-tensor Completion for Estimating Missing Values in Video Data. - Peter Kraker, Christian Schlögl, Kris Jack, Stefanie N. Lindstaedt:
Visualization of Co-Readership Patterns from an Online Reference Management System. - Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda:
"Share and Enjoy": Publishing Useful and Usable Scientific Models. - Anatoly V. Panyukov:
Polynomial solvability of $NP$-complete problems. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. - Stefan Kowalewski, Bernhard Rumpe, André Stollenwerk:
Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik? - Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis:
Testing Noninterference, Quickly. - Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems. - Thomas Kurpick, Markus Look, Claas Pinkernell, Bernhard Rumpe:
Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings. - Olga Liskin, Christoph Herrmann, Eric Knauss, Thomas Kurpick, Bernhard Rumpe, Kurt Schneider:
Supporting acceptance testing in distributed software projects with integrated feedback systems: Experiences and requirements. - Christian Berger, Bernhard Rumpe:
Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System. - Christoph Herrmann, Thomas Kurpick, Bernhard Rumpe:
SSELab: A Plug-In-Based Framework for Web-Based Project Portals. - Stefan Plesser, Claas Pinkernell, M. Norbert Fisch, Bernhard Rumpe:
The Energy Navigator - A Web-Platform for Performance Design and Management. - Shoni Gilboa, Shay Gueron:
Balanced permutations Even-Mansour ciphers. - Yifan Hu, Lei Shi:
A Coloring Algorithm for Disambiguating Graph and Map Drawings. - Chunli Guo, Mike E. Davies:
Near optimal compressed sensing without priors: Parametric SURE Approximate Message Passing. - Amaury Pouly, Daniel Silva Graça:
Computational complexity of solving elementary differential equations over unbounded domains. - Abdellatif Zaidi, Shlomo Shamai:
On Cooperative Multiple Access Channels with Delayed CSI at Transmitters. - Michael A. Bekos, Sabine Cornelsen, Luca Grilli, Seok-Hee Hong, Michael Kaufmann:
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs. - Qian Guo, Thomas Johansson, Carl Löndahl:
A New Algorithm for Solving Ring-LPN with a Reducible Polynomial. - Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio:
Neural Machine Translation by Jointly Learning to Align and Translate. - Winfried Gödert:
Facets and Typed Relations as Tools for Reasoning Processes in Information Retrieval. - Inaki Estella Aguerri, Deniz Gündüz:
Distortion Exponent in Fading MIMO Channels with Time-Varying Side Information. - Maximilian Aulbach, Martin Fink, Julian Schuhmann, Alexander Wolff:
Drawing Graphs within Restricted Area. - Zeinab Borhani-fard, Leila Esmaeili, Behrouz Minaei-Bidgoli, Mehdi Nasiri:
Experiments on Data Preprocessing of Persian Blog Networks. - Efim Grinkrug:
Dynamic Component Composition. - Bart Smets:
Investigation on Demand Side Management Techniques in the Smart Grid using Game Theory and ICT Concepts. - Sofie Haesaert, Robert Babuska, Alessandro Abate:
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes. - Mohammad Reza Khanzadi, Giuseppe Durisi, Thomas Eriksson:
Capacity of Multiple-Antenna Phase-Noise Channels with Common/Separate Oscillators. - M. Zebenaya, Toralf Boge, Daniel Choukroun:
Modeling, Stability Analysis, and Testing of a Hybrid Docking Simulator. - Olga Russakovsky, Jia Deng, Hao Su, Jonathan Krause, Sanjeev Satheesh, Sean Ma, Zhiheng Huang, Andrej Karpathy, Aditya Khosla, Michael S. Bernstein, Alexander C. Berg, Li Fei-Fei:
ImageNet Large Scale Visual Recognition Challenge. - Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Rely-guarantee Calculus. - Bjørn Kjos-Hanssen:
Kolmogorov structure functions for automatic complexity in computational statistics. - Hui Wu, Zhaoyang Zhang, Huazi Zhang:
Faster Information Propagation on Highways: a Virtual MIMO Approach. - Michael T. Goodrich, Joseph A. Simons:
Data-Oblivious Graph Algorithms in Outsourced External Memory. - Qifu Tyler Sun, Shuo-Yen Robert Li:
On Decoding of DVR-Based Linear Network Codes. - Shizhan Zhu, Cheng Li, Chen Change Loy, Xiaoou Tang:
Transferring Landmark Annotations for Cross-Dataset Face Alignment. - Chidambaram Annamalai, Christos Kalaitzis, Ola Svensson:
Combinatorial Algorithm for Restricted Max-Min Fair Allocation. - Anna-Lena Trautmann:
Message Encoding and Retrieval for Spread and Cyclic Orbit Codes. - Ying Long, Zhenjiang Shen:
Population spatialization and synthesis with open data. - Hanna Furmanczyk, Marek Kubale:
Equitable coloring of corona products of cubic graphs is harder than ordinary coloring. - Koninika Pal, Sebastian Michel:
An LSH Index for Computing Kendall's Tau over Top-k Lists. - Lei Yu, Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Electrical Car Diffusion Based on Agents. - Yihui Liu, Uwe Aickelin:
Detect Adverse Drug Reactions for Drug Aspirin. - Karl Rupp, Philippe Tillet, Florian Rudolf, Josef Weinbub, Tibor Grasser, Ansgar Jüngel:
Performance Portability Study of Linear Algebra Kernels in OpenCL. - George C. Alexandropoulos, Vlasis Barousis, Constantinos B. Papadias:
Precoding for Multiuser MIMO Systems with Single-Fed Parasitic Antenna Arrays. - Feiyun Zhu, Ying Wang, Bin Fan, Gaofeng Meng, Chunhong Pan:
Effective Spectral Unmixing via Robust Representation and Learning-based Sparsity. - Bowei Chen, Jun Wang:
A Lattice Framework for Pricing Display Ad Options with the Stochastic Volatility Underlying Model. - Alejandro Sánchez Guinea:
On computable abstractions. - Shiyan Zhong:
Efficient Scheme for Active Particle Selection in N-body Simulations. - Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
An Approach for Assessing Clustering of Households by Electricity Usage. - Christian Engels, B. V. Raghavendra Rao:
New Algorithms and Hard Instances for Non-Commutative Computation. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Comparison of algorithms that detect drug side effects using electronic healthcare databases. - Vikas Verma:
Image Retrieval And Classification Using Local Feature Vectors. - Daniel Torres-Salinas, Evaristo Jiménez-Contreras, Nicolás Robinson-García:
How many citations are there in the Data Citation Index? - Edd Barrett, Carl Friedrich Bolz, Laurence Tratt:
Approaches to Interpreter Composition. - Grazziela P. Figueredo, Peer-Olaf Siebers, Markus R. Owen, Jenna Reps, Uwe Aickelin:
Comparing Stochastic Differential Equations and Agent-Based Modelling and Simulation for Early-stage Cancer. - Eduard Paul Enoiu, Adnan Causevic:
Enablers and Impediments for Collaborative Research in Software Testing: An Empirical Exploration. - Qi Chen, Amanda M. Whitbrook, Uwe Aickelin, Chris M. Roadknight:
Data classification using the Dempster-Shafer method. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
A Novel Semi-Supervised Algorithm for Rare Prescription Side Effect Discovery. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Signalling Paediatric Side Effects using an Ensemble of Simple Study Designs. - Yihui Liu, Uwe Aickelin:
Feature selection in detection of adverse drug reactions from the Health Improvement Network (THIN) database. - Chris M. Roadknight, Uwe Aickelin, John Scholefield, Lindy Durrant:
Ensemble Learning of Colorectal Cancer Survival Rates. - Zhen Jia, Jianfeng Zhan, Lei Wang, Rui Han, Sally A. McKee, Qiang Yang, Chunjie Luo, Jingwei Li:
Characterizing and Subsetting Big Data Workloads. - Anant P. Bhardwaj, Souvik Bhattacherjee, Amit Chavan, Amol Deshpande, Aaron J. Elmore, Samuel Madden, Aditya G. Parameswaran:
DataHub: Collaborative Data Science & Dataset Version Management at Scale. - Max Tegmark:
Friendly Artificial Intelligence: the Physics Challenge. - Rezaul Karim, Mohd. Momin Al Aziz, Swakkhar Shatabda, M. Sohel Rahman, Md. Abul Kashem Mia, Farhana Zaman, Salman Rakin:
CoMOGrad and PHOG: From Computer Vision to Fast and Accurate Protein Tertiary Structure Retrieval. - George Kesidis, Bhuvan Urgaonkar, Yuquan Shan, S. Kamarava, Jörg Liebeherr:
Network calculus for parallel processing. - Daniel N. Osherson, Scott Weinstein:
Deontic modality based on preference. - Maha Tebaa, Said El Hajji:
Secure Cloud Computing through Homomorphic Encryption. - Mohammad Rasouli, Erik Miehling, Demosthenis Teneketzis:
A Supervisory Control Approach to Dynamic Cyber-Security. - Béatrice Bérard, John Mullins:
Verification of Information Flow Properties under Rational Observation. - Emil Björnson, Michail Matthaiou
, Mérouane Debbah:
Massive MIMO with Arbitrary Non-Ideal Arrays: Hardware Scaling Laws and Circuit-Aware Design. - Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
A Graph-based Perspective to Total Carbon Footprint Assessment of Non-marginal Technology-driven Projects - Use case of OTT/IPTV. - Yi Ouyang, Demosthenis Teneketzis:
Signaling for Decentralized Routing in a Queueing Network. - Chính T. Hoàng, D. Adam Lazzarato:
Polynomial-time algorithms for minimum weighted colorings of ($P_5, \bar{P}_5$)-free graphs and related graph classes. - Anh Tran, Jinyan Guan, Thanima Pilantanakitti, Paul R. Cohen:
Action Recognition in the Frequency Domain. - Muneer Usman, Hong-Chuan Yang, Mohamed-Slim Alouini
:
Extended Delivery Time Analysis for Non-work-preserving Packet Transmission in Cognitive Environment. - H. Hernan Moraldo:
An Approach for Text Steganography Based on Markov Chains. - Ahmad Basheer Hassanat, Mohammad Ali Abbadi, Ghada Awad Altarawneh, Ahmad Ali Alhasanat:
Solving the Problem of the K Parameter in the KNN Classifier Using an Ensemble Learning Approach. - Amir Zidi, Mourad Abed:
A Generalized Framework for Ontology-Based Information Retrieval Application to a public-transportation system. - Ahmad Basheer Hassanat:
Dimensionality Invariant Similarity Measure. - Ahmad Basheer Hassanat:
Visual Passwords Using Automatic Lip Reading. - Ahmad B. A. Hassanat:
Bypassing Captcha By Machine A Proof For Passing The Turing Test. - David Simmons, Yaar Solomon:
A Danzer set for Axis Parallel Boxes. - Jeffrey Wildman, Steven Weber:
On the Incompatibility of Connectivity and Local Pooling in Random Graphs. - Rajib Rana, Daniel Austin, Peter G. Jacobs, Mohanraj Karunanithi, Jeffrey A. Kaye:
Continuous Gait Velocity Estimation using Houseohld Motion Detectors. - Anyu Wang, Zhifang Zhang:
An Integer Programming Based Bound for Locally Repairable Codes. - Liansheng Zhuang, Shenghua Gao, Jinhui Tang, Jingjing Wang, Zhouchen Lin, Yi Ma:
Constructing a Non-Negative Low Rank and Sparse Graph with Data-Adaptive Features. - Chun-Hao Liu, Przemyslaw Pawelczak, Danijela Cabric:
Primary User Traffic Classification in Dynamic Spectrum Access Networks. - Xiangjing Lai, Zhipeng Lü, Jin-Kao Hao, Fred W. Glover, Liping Xu:
Path Relinking for Bandwidth Coloring Problem. - Mohammad Esmaeilzadeh, Neda Aboutorab:
Inter-session Network Coding for Transmitting Multiple Layered Streams over Single-hop Wireless Networks. - Vilém Vychodil:
Monoidal functional dependencies. - Evgeny Vainer, Amiram Yehudai:
Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software. - Michael Frey, Mesut Günes:
Attack of the Ants: Studying Ant Routing Algorithms in Simulation and Wireless Testbeds. - Van-Thiep Nguyen, Matthieu Gautier, Olivier Berder:
Implementation of an adaptive energy-efficient MAC protocol in OMNeT++/MiXiM. - Mirko Stoffers, Ralf Bettermann, James Gross, Klaus Wehrle
:
Enabling Distributed Simulation of OMNeT++ INET Models. - Keigo Kawahara, Yutaka Matsubara, Hiroaki Takada:
A Simulation Environment and preliminary evaluation for Automotive CAN-Ethernet AVB Networks. - Gabriel Martins Dias, Boris Bellalta, Simon Oechsner:
Towards information-centric WSN simulations. - Jacek Pierzchlewski, Thomas Arildsen:
Generation and Analysis of Constrained Random Sampling Patterns. - Sebastian Schellenberg, Rüdiger Berndt, Reinhard German, David Eckhoff:
Evaluating the Electrification of Vehicle Fleets Using the Veins Framework. - Alexander Setzer:
The planar minimum linear arrangement problem is different from the minimum linear arrangement problem. - Humberto Escudero Argumanez, Matthias Tschauner:
Tactical communication systems based on civil standards: Modeling in the MiXiM framework. - Thomas Nyman, Jan-Erik Ekberg, N. Asokan:
Citizen Electronic Identities using TPM 2.0. - Patrick Wunner, Stefan May, Sebastian Dengler:
Development and Testing of Automotive Ethernet-Networks together in one Tool - OMNeT++. - Fionn Murtagh, Monica Pianosi, Richard Bull:
Visualizing and Quantifying Impact and Effect in Twitter Narrative using Geometric Data Analysis. - Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
Variability of Behaviour in Electricity Load Profile Clustering; Who Does Things at the Same Time Each Day? - Josie C. McCulloch, Chris J. Hinde, Christian Wagner, Uwe Aickelin:
A Fuzzy Directional Distance Measure. - Josie McCulloch, Christian Wagner, Uwe Aickelin:
Analysing Fuzzy Sets Through Combining Measures of Similarity and Distance. - Yuzhe Zhou, Bo Ai:
Provide High-QoS of the High-Speed Railway Mobile Communications in Cyber-Physical Systems. - Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi:
Tuning a Multiple Classifier System for Side Effect Discovery using Genetic Algorithms. - Diman Hassan, Uwe Aickelin, Christian Wagner:
Comparison of Distance Metrics for Hierarchical Data in Medical Databases. - Alexandros Ladas, Jonathan M. Garibaldi, Rodrigo Scarpel, Uwe Aickelin:
Augmented Neural Networks for Modelling Consumer Indebtness. - Yihui Liu, Uwe Aickelin:
Detecting adverse drug reactions for the drug Simvastatin. - Willem L. Fouché:
Kolmogorov complexity and the geometry of Brownian motion. - Fanhua Shang, Yuanyuan Liu, Hanghang Tong, James Cheng, Hong Cheng:
Structured Low-Rank Matrix Factorization with Missing and Grossly Corrupted Observations. - Marjan Falahrastegar, Hamed Haddadi, Steve Uhlig, Richard Mortier:
Anatomy of the Third-Party Web Tracking Ecosystem. - Xinsheng Lai, Yuren Zhou, Jun He, Jun Zhang:
Performance Analysis on Evolutionary Algorithms for the Minimum Label Spanning Tree Problem. - Yuanxin Wu:
Versatile Land Navigation Using Inertial Sensors and Odometry: Self-calibration, In-motion Alignment and Positioning. - Qiwei Han, Pedro Ferreira:
The Role of Peer Influence in Churn in Wireless Networks. - Steffen Limmer, Slawomir Stanczak:
On ℓp-norm Computation over Multiple-Access Channels. - Rishabh Jain, Abhishek B. S., Satvik Jagannath:
Mining and Analyzing Twitter trends: Frequency based ranking of descriptive Tweets. - Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong:
Weak and Nested Class Memory Automata. - Narine Manukyan, Margaret J. Eppstein, Jeffrey S. Buzas:
Tunably Rugged Landscapes with Known Maximum and Minimum. - Abdellatif Zaidi:
Achievable Regions for Interference Channels with Generalized and Intermittent Feedback. - Hatem Abou-zeid, Hossam S. Hassanein:
Toward Green Media Delivery: Location-Aware Opportunities and Approaches. - Tanay Kumar Saha, Mohammad Al Hasan:
FS^3: A Sampling based method for top-k Frequent Subgraph Mining. - Kamran Latif:
Hybrid Systems Knowledge Representation Using Modelling Environment System Techniques Artificial Intelligence. - Michael Kirsche, Matti Schnurbusch:
A New IEEE 802.15.4 Simulation Model for OMNeT++ / INET. - Z. Fang, X. Wang, X. Yuan:
Spectral Efficiency of the Cellular Two-Way Relaying with Large Antenna Arrays. - Sathish Govindarajan, Gabriel Nivasch:
A variant of the Hadwiger-Debrunner (p, q)-problem in the plane. - Jim Jing-Yan Wang:
Domain Transfer Structured Output Learning. - Jean Pouget-Abadie, Dzmitry Bahdanau, Bart van Merrienboer, KyungHyun Cho, Yoshua Bengio:
Overcoming the Curse of Sentence Length for Neural Machine Translation using Automatic Segmentation. - KyungHyun Cho, Bart van Merrienboer, Dzmitry Bahdanau, Yoshua Bengio:
On the Properties of Neural Machine Translation: Encoder-Decoder Approaches. - Ahmed El Shafie, Mahmoud Ashour, Amr Mohamed, Tamer Khattab:
Optimal Spectrum Access for a Rechargeable Cognitive Radio User Based on Energy Buffer State. - Sawood Alam, Fateh ud din B. Mehmood, Michael L. Nelson:
Improving Accessibility of Archived Raster Dictionaries of Complex Script Languages. - Mohan Yang, Bolin Ding, Surajit Chaudhuri, Kaushik Chakrabarti:
Finding Patterns in a Knowledge Base using Keywords to Compose Table Answers. - Yuzhe Zhou, Bo Ai:
Quality of Service Improvement for High-Speed Railway Communications. - Jacob Ziv:
A Constrained-Dictionary version of LZ78 asymptotically achieves the Finite-State Compressibility for any Individual Sequence. - François Dross, Mickaël Montassier, Alexandre Pinlou:
Large induced forests in planar graphs with girth 4 or 5. - Roman Kern, Kris Jack, Michael Granitzer:
Recommending Scientific Literature: Comparing Use-Cases and Algorithms. - Dani Korpi, Lauri Anttila, Mikko Valkama:
Feasibility of In-band Full-Duplex Radio Transceivers with Imperfect RF Components: Analysis and Enhanced Cancellation Algorithms. - Dani Korpi, Lauri Anttila, Mikko Valkama:
Impact of Received Signal on Self-interference Channel Estimation and Achievable Rates in In-band Full-duplex Transceivers. - Justin Ward, Stanislav Zivný:
Maximizing k-Submodular Functions and Beyond. - Ahmad B. A. Hassanat:
Visual Speech Recognition. - Surender Kumar, Manish Prateek, Neelu Jyothi Ahuja, Bharat Bhushan:
MEEP: Multihop Energy Efficient Protocol For Heterogeneous Wireless Sensor Network. - Uchenna Peter Daniel, Nneka Chikazo Agbanusi, Kwetishe Joro Danjuma
:
A Survey of Bandwidth Optimization Techniques and Patterns in VoIP Services and Applications. - Hong-Wei Li, Li Yang:
A quantum algorithm for approximating the influences of Boolean functions. - Mohieddine El Soussi, Abdellatif Zaidi, Luc Vandendorpe:
Compute-and-Forward on a Multi-User Multi-Relay Channel. - Jürgen Willms:
Run Vector Analysis and Barker Sequences of Odd Length. - Manuel S. Stein, Sebastian Theiler, Josef A. Nossek:
Overdemodulation for High-Performance Receivers with Low-Resolution ADC. - Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth:
Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics. - Vasumathi Raman, Hadas Kress-Gazit:
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. - Siamak Ravanbakhsh, Philip Liu, Trent C. Bjorndahl, Rupasri Mandal, Jason R. Grant, Michael Wilson, Roman Eisner, Igor Sinelnikov, Xiaoyu Hu, Claudio Luchinat, Russell Greiner, David S. Wishart:
Accurate, fully-automated NMR spectral profiling for metabolomics. - Martin Jaggi, Virginia Smith, Martin Takác, Jonathan Terhorst, Sanjay Krishnan, Thomas Hofmann, Michael I. Jordan:
Communication-Efficient Distributed Dual Coordinate Ascent. - David Flatow, Mor Naaman, Ke Eddie Xie, Yana Volkovich, Yaron Kanza:
On the Accuracy of Hyper-local Geotagging of Social Media Content. - David F. Gleich, Lek-Heng Lim, Yongyang Yu:
Multilinear PageRank. - Vadim E. Levit, David Tankus:
Well-dominated graphs without cycles of lengths 4 and 5. - Erik Leitinger, Paul Meissner, Christoph Rüdisser, Gregor Dumphart, Klaus Witrisal:
Evaluation of Position-related Information in Multipath Components for Indoor Positioning. - Alejandro Betancourt, Pietro Morerio, Carlo S. Regazzoni, Matthias Rauterberg:
The Evolution of First Person Vision Methods: A Survey. - Ronen Gradwohl, Rann Smorodinsky:
Subjective Perception Games and Privacy. - Giovanni Luca Ciampaglia, Dario Taraborelli:
MoodBar: Increasing new user retention in Wikipedia through lightweight socialization. - Olaf Kaczmarek
, Christian Schmidt
, Patrick Steinbrecher, Swagato Mukherjee
, Mathias Wagner:
HISQ inverter on Intel Xeon Phi and NVIDIA GPUs. - Ronggui Xie, Huarui Yin, Xiaohui Chen, Zhengdao Wang:
Multiple Access for Small Packets Based on Precoding and Sparsity-Aware Detection. - Habib Mostafaei, Mehdi Esnaashari, Mohammad Reza Meybodi:
A Coverage Monitoring algorithm based on Learning Automata for Wireless Sensor Networks. - Mizuki Oka, Hirotake Abe, Takashi Ikegami:
Dynamic Homeostasis in Packet Switching Networks. - Ingo Battenfeld, Klaus Keimel, Thomas Streicher:
Observationally-induced algebras in Domain Theory. - Salim El Rouayheb, Sreechakra Goparaju, Han Mao Kiah, Olgica Milenkovic:
Synchronizing Edits in Distributed Storage Networks. - Karen Simonyan, Andrew Zisserman:
Very Deep Convolutional Networks for Large-Scale Image Recognition. - Yuzhe Zhou, Bo Ai:
Evaluation of High-speed Train Communication Handover Models Based on DEA. - Muhammad Nazmul Islam, Narayan B. Mandayam, Sastry Kompella, Ivan Seskar:
Power Optimal Non-contiguous Spectrum Access in Multi Front End Radio Enabled Point-to-Point Link. - Andrey Kutuzov:
Semantic clustering of Russian web search results: possibilities and problems. - Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki:
A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tile set synthesis. - Muneer Usman, Hong-Chuan Yang, Mohamed-Slim Alouini
:
Extended Delivery Time Analysis for Cognitive Packet Transmission with Application to Secondary Queuing Analysis. - Xiufeng Liu:
Two-level Data Staging ETL for Transaction Data. - Xiufeng Liu:
Optimizing ETL Dataflow Using Shared Caching and Parallelization Methods. - Ashraf A. Shahin:
Polymorphic Worms Collection in Cloud Computing. - Ashraf A. Shahin, Areeg Samir, Abdelaziz Khamis:
An Aspect-Oriented Approach for SaaS Application Customization. - Shaoquan Jiang:
On the Optimality of Keyless Authentication in a Noisy Model. - Kevin Weekly, Ming Jin, Han Zou, Christopher Hsu, Alexandre M. Bayen, Costas J. Spanos:
Building-in-Briefcase (BiB). - Ratnesh Kumbhkar, Muhammad Nazmul Islam, Narayan B. Mandayam, Ivan Seskar:
Rate Optimal design of a Wireless Backhaul Network using TV White Space. - Shengtian Yang:
Separate Random Number Generation from Correlated Sources. - Preetum Nakkiran, Nihar B. Shah, K. V. Rashmi:
Fundamental Limits on Communication for Oblivious Updates in Storage Networks. - Fan Cheng:
Generalization of Mrs. Gerber's Lemma. - Kumar Vijay Mishra, Myung Cho, Anton Kruger, Weiyu Xu:
Spectral Super-resolution With Prior Knowledge. - T. Karthick:
New polynomial case for efficient domination in $P_6$-free graphs. - Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion:
Simulating Non Stationary Operators in Search Algorithms. - Benjelloun Touimi Yassine:
The Homogeneity Indicator of Learners in Project-based Learning. - Tomás Flouri, Emanuele Giaquinta, Kassian Kobert, Esko Ukkonen:
Longest common substrings with k mismatches. - Simon P. Schatz, Tansel Yucelen:
Scalability Concept for Predictable Closed-Loop Response of Adaptive Controllers. - Cristian-Eduard Belciug, Ovidiu-Andrei Schipor, Mirela Danubianu:
Exercises for Children with Dyslalia-Software Infrastructure. - Giacomo di Tollo, Frédéric Lardeux, Jorge Maturana, Frédéric Saubion:
An Experimental Study of Adaptive Control for Evolutionary Algorithms. - George Theodorakopoulos, Reza Shokri, Carmela Troncoso, Jean-Pierre Hubaux, Jean-Yves Le Boudec:
Prolonging the Hide-and-Seek Game: Optimal Trajectory Privacy for Location-Based Services. - Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen:
Online Multi-Coloring with Advice. - Monika Cerinsek, Vladimir Batagelj:
Network analysis of Zentralblatt MATH data. - Stojan Trajanovski, Yezekael Hayel, Eitan Altman, Huijuan Wang, Piet Van Mieghem:
Decentralized Protection Strategies against SIS Epidemics in Networks. - Georgios S. Paschos, Eytan H. Modiano:
Throughput Optimal Routing in Overlay Networks. - Marek Piotrów:
Faster Small-Constant-Periodic Merging Networks. - Willem L. Fouché:
Diophantine properties of Brownian motion: recursive aspects. - David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport:
Using the distribution of cells by dimension in a cylindrical algebraic decomposition. - Jin-Li Guo:
Zero-determinant strategies in iterated multi-strategy games. - Gary B. Huang, Stephen Plaza:
Identifying Synapses Using Deep and Wide Multiscale Recursive Networks. - Tao Chen, Funmilade Faniyi, Rami Bahsoon, Peter R. Lewis, Xin Yao, Leandro L. Minku, Lukas Esterle:
The Handbook of Engineering Self-Aware and Self-Expressive Systems. - Peter Grindrod, Desmond J. Higham, Robert S. MacKay:
Opportunities at the Mathematics/Future Cities Interface. - Silvija Kokalj-Filipovic, Larry Greenstein, Bin Cheng, Marco Gruteser:
V2V Propagation Modeling with Imperfect RSSI Samples. - Pengfei Chen, Yong Qi, Di Hou, Jiankang Liu:
Bio-inspired Mechanism and Model Exploration of Software Aging. - Thanh Long Vu, Konstantin S. Turitsyn:
Lyapunov Functions Family Approach to Transient Stability Assessment. - Miguel Guevara, Marcelo Mendoza:
Revealing Comparative Advantages in the Backbone of Science. - Nicolas Vasilache, Muthu Manikandan Baskaran, Thomas Henretty, Benoît Meister, Harper Langston, Sanket Tavarageri, Richard Lethin:
A Tale of Three Runtimes. - Rajib Kumar Rana, Brano Kusy, Josh Wall, Wen Hu:
Novel Methods for Activity Classification and Occupany Prediction Enabling Fine-grained HVAC Control. - Manav R. Bhatnagar:
On the Sum of Correlated Squared $κ-μ$ Shadowed Random Variables and its Application to Performance Analysis of MRC. - Ramesh G. P., Aravind C. V., Rajparthiban R., N. Soysa:
A Body Area Network through Wireless Technology. - Kalyani Das:
Complexity to Find Wiener Index of Some Graphs. - Wei Jin, Alessandro Orso:
Improving Efficiency and Scalability of Formula-based Debugging. - Saba Babakhani, Niloofar Mozafari, Ali Hamzeh:
A Martingale Approach to Detect Peak of News in Social Network. - Vojtech Vorel:
Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. - Klaus Rohe:
Computing the coefficients for the power series solution of the Lane-Emden equation with the Python library SymPy. - Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta:
Statics and dynamics of selfish interactions in distributed service systems. - Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. - Chao Chen:
An ontology-based approach to the optimization of non-binary (2, v)-regular LDPC codes. - Fedor Andreev, Bahman Kalantari:
Algorithms and Polynomiography for Solving Quaternion Quadratic Equations. - Arda Antikacioglu, R. Ravi, Srinath Sridhar:
Recommendation Subgraphs for Web Discovery. - Stephen Czarnuch, Alex Mihailidis:
Depth image hand tracking from an overhead perspective using partially labeled, unbalanced data: Development and real-world testing. - Bahman Kalantari:
A One-Line Proof of the Fundamental Theorem of Algebra with Newton's Method as a Consequence. - Martin Lévesque:
Rethinking the Contention Resolution Mechanism in WiMAX Networks using Lattice Correlators for Improved Smart Grid Communication Performance. - Tobias Kortkamp:
An NLP Assistant for Clide. - Juntao Ye:
History-free Collision Response for Deformable Surfaces. - Michael Kruse
:
Introducing Molly: Distributed Memory Parallelization with LLVM. - Michael Kruse
:
Perfrewrite - Program Complexity Analysis via Source Code Instrumentation. - Seongah Jeong, Osvaldo Simeone, Alexander M. Haimovich, Joonhyuk Kang:
Optimal Fronthaul Quantization for Cloud Radio Positioning. - Emiliano De Cristofaro, Arik Friedman, Guillaume Jourjon, Mohamed Ali Kâafar, M. Zubair Shafiq:
Paying for Likes? Understanding Facebook Like Fraud Using Honeypots. - Mohammad Javad Emadi, Majid Nasiri Khormuji, Mikael Skoglund, Mohammad Reza Aref:
Multi layer Gelfand Pinsker Strategies for the Generalized Multiple Access Channel. - Lei Luo, Chunhua Shen, Xinwang Liu, Chunyuan Zhang:
A Computational Model of the Short-Cut Rule for 2D Shape Decomposition. - Mousa Alfalayleh, Ljiljana Brankovic:
Quantifying Privacy: A Novel Entropy-Based Measure of Disclosure Risk. - Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart Sampling for Lightweight Verification of Markov Decision Processes. - Valery A. Ugrinovskii:
Detectability of distributed consensus-based observer networks: An elementary analysis and extensions. - Mouhacine Benosman, Stefano Di Cairano, Avishai Weiss:
Extremum Seeking-based Iterative Learning Linear MPC. - Mouhacine Benosman:
Multi-Parametric Extremum Seeking-based Auto-Tuning for Robust Input-Output Linearization Control. - Xianlei Dong, Johan Bollen:
Computational models of consumer confidence from large-scale online attention data: crowd-sourcing econometrics. - Michael Kapralov, Sanjeev Khanna, Madhu Sudan:
Streaming Lower Bounds for Approximating MAX-CUT. - Moses Charikar, Monika Henzinger, Huy L. Nguyen:
Online Bipartite Matching with Decomposable Weights. - Ardavan Rahimian, Davood Momeni Pakdehi:
Design and Realization of an S-Band Microwave Low-Noise Amplifier for Wireless RF Subsystems. - Jagdish Lal Raheja, Dhiraj, D. Gopinath, Ankit Chaudhary:
GUI system for Elders/Patients in Intensive Care. - Ashraf A. Shahin:
Variability Modeling for Customizable SaaS Applications. - Gunes Ercal:
On Vertex Attack Tolerance in Regular Graphs. - Kamalika Chaudhuri, Daniel J. Hsu, Shuang Song:
The Large Margin Mechanism for Differentially Private Maximization. - Pin-Yu Chen, Alfred O. Hero III:
Universal Phase Transition in Community Detectability under a Stochastic Block Model. - Xiaowei Huang
, Ron van der Meyden:
An Epistemic Strategy Logic. - Daniel Fried, Mihai Surdeanu, Stephen G. Kobourov, Melanie Hingle, Dane Bell:
Analyzing the Language of Food on Social Media. - Christopher A. Tucker:
A wireless hand-held platform for robotic behavior control. - Nahid Hajizadeh, Marzieh Ahmadzadeh:
Analysis of factors that affect the students academic performance - Data Mining Approach. - Nahid Hajizadeh, Manijeh Keshtgary, Marzieh Ahmadzadeh:
Assessment of classification techniques on predicting success or failure of Software reusability. - Jim Jing-Yan Wang:
When coding meets ranking: A joint framework based on local learning. - Matthias Bucher, Spyros Chatzivasileiadis, Göran Andersson:
Managing Flexibility in Multi-Area Power Systems. - Qi Mo, Hengchin Yeh, Dinesh Manocha:
Tracing Analytic Ray Curves for Light and Sound Propagation in Non-linear Media. - Philip Wette, Holger Karl:
DCT${^2}$Gen: A Versatile TCP Traffic Generator for Data Centers. - Oleg Finko
, Sergey A. Dichenko:
Secure pseudo-random linear binary sequences generators based on arithmetic polynoms. - Jose Teixeira:
Open-coopetition in the PC and mobile industries: the WebKit case. - Ifeyinwa Angela Ajah
:
Evaluation of Enhanced Security Solutions in 802.11-Based Networks. - Sarfraz Nawaz, Cecilia Mascolo:
Mining Users' Significant Driving Routes with Low-power Sensors. - Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid:
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. - Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents] - Solomon Tesfamicael, Bruhtesfa E. Godana, Faraz Barzideh:
Compressed Sensing Performance Analysis via Replica Method using Bayesian framework. - Massimiliano Zanin, David Perez, Kumardev Chatterjee, Dimitrios S. Kolovos
, Richard F. Paige, Andreas Horst, Bernhard Rumpe:
On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories. - M. Norbert Fisch, Markus Look, Claas Pinkernell, Stefan Plesser, Bernhard Rumpe:
State-Based Modeling of Buildings and Facilities. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Summarizing Semantic Model Differences. - Bernhard Rumpe, Ingo Weisemöller:
A Domain Specific Transformation Language. - Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems. - Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-oriented Software Product Line Architectures. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. - Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models. - Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta-oriented Architectural Variability Using MontiCore. - Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden:
Hierarchical Variability Modeling for Software Architectures. - Wojciech Zaremba, Ilya Sutskever, Oriol Vinyals:
Recurrent Neural Network Regularization. - Neng Wan, Ming Liu:
Partially Independent Robust Control for Thrust-Limited Rendezvous in Near-Circular Orbits. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
ADDiff: Semantic Differencing for Activity Diagrams. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Modal Object Diagrams. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CDDiff: Semantic Differencing for Class Diagrams. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Operational Semantics for Activity Diagrams using SMV. - Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta Modeling for Software Architectures. - Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling: State of the Art and Research Challenges. - Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle:
Model Evolution and Management. - Stefan Plesser, M. Norbert Fisch, Claas Pinkernell, Thomas Kurpick, Bernhard Rumpe:
The Energy Navigator - A Web based Platform for functional Quality Mangement in Buildings. - Nadine Rons:
Investigation of Partition Cells as a Structural Basis Suitable for Assessments of Individual Scientists. - Hans Grönniger, Dirk Reiß, Bernhard Rumpe:
Towards a Semantics of Activity Diagrams with Semantic Variation Points. - Holger Krahn, Bernhard Rumpe, Steven Völkel:
MontiCore: a Framework for Compositional Development of Domain Specific Languages. - Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller:
Generative Software Development. - Alex Dytso, Stefano Rini, Natasha Devroye, Daniela Tuninetti:
On the Capacity Region of the Two-user Interference Channel with a Cognitive Relay. - Jan O. Biermeyer, Todd Templeton, Christian Berger, Humberto González, Nikhil Naikal, Bernhard Rumpe, S. Shankar Sastry:
Rapid Integration and Calibration of New Sensors Using the Berkeley Aachen Robotics Toolkit (BART). - Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
:
Towards Architectural Programming of Embedded Systems. - Christian Berger, Bernhard Rumpe, Steven Völkel:
Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines. - Christian Berger, Tim Gülke, Bernhard Rumpe:
ProcDSL + ProcEd - a Web-based Editing Solution for Domain Specific Process-Engineering. - Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Design Guidelines for Domain Specific Languages. - Michael Dukaczewski, Dirk Reiss, Mark Stein, Bernhard Rumpe:
MontiWeb - Modular Development of Web Information Systems. - Athanasios P. Liavas, Nicholas D. Sidiropoulos:
Parallel Algorithms for Constrained Tensor Factorization via the Alternating Direction Method of Multipliers. - Markus Look, Antonio Navarro Pérez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems. - Telmo L. T. Menezes, Camille Roth:
Symbolic regression of generative network models. - Dmitry Kogan, Robert Krauthgamer:
Sketching Cuts in Graphs and Hypergraphs. - Sebastian Ordyniak, Alexandru Popa:
A Parameterized Study of Maximum Generalized Pattern Matching Problems. - Michal Cáp, Peter Novák, Alexander Kleiner, Martin Selecký:
Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots. - Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime:
Interrupt Timed Automata with Auxiliary Clocks and Parameters. - Franco Rino:
Image processing. - Sébastien Gambs, Samuel Ranellucci, Alain Tapp:
The Crypto-democracy and the Trustworthy. - Antonina Kolokolova, Renesa Nizamee:
Approximating solution structure of the Weighted Sentence Alignment problem. - Robert West, Hristo S. Paskov, Jure Leskovec, Christopher Potts:
Exploiting Social Network Structure for Person-to-Person Sentiment Analysis. - Mao Shi:
Degree reduction of disk rational Bézier curves. - Tim Wylie, Binhai Zhu:
Intermittent Map Matching with the Discrete Fréchet Distance. - Omrit Filtser, Matthew J. Katz, Tim Wylie, Binhai Zhu:
On the Chain Pair Simplification Problem. - Ives Rey-Otero, Mauricio Delbracio, Jean-Michel Morel:
Comparing Feature Detectors: A bias in the repeatability criteria, and how to correct it. - Monowar Hasan, Ekram Hossain:
Distributed Resource Allocation in 5G Cellular Networks. - Ayad Ghany Ismaeel
, Raghad Z. Yousif:
Simulate High Traffic and Effective Cost an Academic Kurdistan Network Based on DWDM using OPNET. - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
A Manifesto for Semantic Model Differencing. - Saeed Ur Rehman, Gulistan Raja:
Performance Evaluation of HEVC over Broadband Networks. - Khalifeh AlJadda, Mohammed Korayem, Camilo Ortiz, Chris Russell, David Bernal, Lamar Payson, Scott Brown, Trey Grainger:
Augmenting recommendation systems using a model of semantically-related terms extracted from user behavior. - Saeedeh Parsaeefard, Tho Le-Ngoc:
Full-Duplex Relay with Jamming Protocol for Improving Physical-Layer Security. - Yodsawalai Chodpathumwan, Jose Picado, Arash Termehchy, Alan Fern, Yizhou Sun:
Representation Independent Analytics Over Structured Data. - John R. Hershey, Jonathan Le Roux, Felix Weninger:
Deep Unfolding: Model-Based Inspiration of Novel Deep Architectures. - Ahmet Cetinkaya, Tomohisa Hayakawa:
Feedback Control of Switched Stochastic Systems Using Randomly Available Active Mode Information. - Ting-Ting Feng, Gang Wu:
A theoretical contribution to the fast implementation of null linear discriminant analysis method using random matrix multiplication with scatter matrices. - Georgios Skoumas, Klaus Arthur Schmid, Gregor Jossé, Andreas Züfle, Mario A. Nascimento, Matthias Renz, Dieter Pfoser:
Towards Knowledge-Enriched Path Computation. - Julián Alarte
, David Insa, Josep Silva
, Salvador Tamarit
:
Automatic Detection of Webpages that Share the Same Web Template. 2-15 - Ramaswamy Ramanujam, S. Sheerazuddin
:
A Local Logic for Realizability in Web Service Choreographies. 16-35 - Yue Ling Che, Rui Zhang, Yi Gong, Lingjie Duan:
On Spatial Capacity of Wireless Ad Hoc Networks with Threshold Based Scheduling. - Paulo Oliva:
Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. EPTCS 164, 2014 [contents] - Rad Niazadeh, Yang Yuan, Robert D. Kleinberg:
Simple and Near-Optimal Mechanisms For Market Intermediation. - Zhanpeng Cheng, David Eppstein:
Linear-time Algorithms for Proportional Apportionment. - Philippe Balbiani, Hans van Ditmarsch:
A simple proof of the completeness of APAL. - Suyog Gupta, Vikas Sindhwani, Kailash Gopalakrishnan:
Learning Machines Implemented on Non-Deterministic Hardware. - Tim Gülke, Bernhard Rumpe, Martin Jansen, Joachim Axmann:
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement. - Ihab Sbeity, Mohamed Dbouk, Habib Kobeissi:
Combining the analytical hierarchy process and the genetic algorithm to solve the timetable problem. - Alessandro Bessi, Guido Caldarelli, Michela Del Vicario, Antonio Scala, Walter Quattrociocchi:
Social determinants of content selection in the age of (mis)information. - Mark S. Melenhorst, María Menéndez-Blanco, Martha A. Larson:
A Crowdsourcing Procedure for the Discovery of Non-Obvious Attributes of Social Image. - Anas Chaaban, Aydin Sezgin:
When Can a Relay Reduce End-to-End Communication Delay? - Sanjaya Kumar Sahu, T. V. Dixit, D. D. Neema:
Particle Swarm Optimized Fuzzy Controller for Indirect Vector Control of Multilevel Inverter Fed Induction Motor. - Francesco Setti, Chris Russell, Chiara Bassetti, Marco Cristani:
F-formation Detection: Individuating Free-standing Conversational Groups in Images. - Gopinath Chennupati
:
eAnt-Miner : An Ensemble Ant-Miner to Improve the ACO Classification. - Laura Bozzelli, Bastien Maubert, Sophie Pinchinat:
Unifying Hyper and Epistemic Temporal Logic. - Albert Atserias, Massimo Lauria, Jakob Nordström:
Narrow Proofs May Be Maximally Long. - Aistis Atminas, Marcin Kaminski, Jean-Florent Raymond:
Induced packings of cycles. - Alireza Makhzani, Brendan J. Frey:
A Winner-Take-All Method for Training Sparse Convolutional Autoencoders. - Inga A. Ivanova, Øivind Strand, Loet Leydesdorff:
Synergy cycles in the Norwegian innovation system: The relation between synergy and cycle values. - Efthalia Karydi, Konstantinos G. Margaritis:
Parallel and Distributed Collaborative Filtering: A Survey. - Takeshi Tsukada, C.-H. Luke Ong:
Innocent Strategies are Sheaves over Plays - Deterministic, Non-deterministic and Probabilistic Innocence. - Matteo Camilli:
Verification of Reachability Problems for Time Basic Petri Nets. - Xingqin Lin, Robert W. Heath Jr., Jeffrey G. Andrews:
The Interplay between Massive MIMO and Underlaid D2D Networking. - Toufiq Parag:
Enforcing Label and Intensity Consistency for IR Target Detection. - William B. March, George Biros:
Far-Field Compression for Fast Kernel Summation Methods in High Dimensions. - Bagher Saberi, Nasser Ghadiri:
A Sample-Based Approach to Data Quality Assessment in Spatial Databases with Application to Mobile Trajectory Nearest-Neighbor Search. - Meysam Ghaffari, Nasser Ghadiri:
Ambiguity-Driven Fuzzy C-Means Clustering: How to Detect Uncertain Clustered Records. - Guofeng Cao, Shaowen Wang, Myunghwa Hwang, Anand Padmanabhan, Zhenhua Zhang, Kiumars Soltani:
A Scalable Framework for Spatiotemporal Analysis of Location-based Social Media Data. - Renato L. G. Cavalcante, Emmanuel Pollakis, Slawomir Stanczak:
Power Estimation in LTE systems with the General Framework of Standard Interference Mappings. - Ohad Shamir:
A Stochastic PCA Algorithm with an Exponential Convergence Rate. - Lutz Bornmann:
Which kind of papers has higher or lower altmetric counts? A study using article-level metrics from PLOS and F1000Prime. - Sunsern Cheamanunkul, Yoav Freund:
Co-adaptation in a Handwriting Recognition System. - Noreen Jamil, Xuemei Chen, Alex Cloninger:
The Hildreth's Algorithm with Applications to Soft Constraints for User Interface Layout. - Sunsern Cheamanunkul, Evan Ettinger, Yoav Freund:
Non-Convex Boosting Overcomes Random Label Noise. - Austin R. Benson, Grey Ballard:
A Framework for Practical Parallel Fast Matrix Multiplication. - Ronen Eldan, Mohit Singh:
Efficient Algorithms for Discrepancy Minimization in Convex Sets. - Mario Mastriani:
Quantum Edge Detection for Image Segmentation in Optical Environments. - Anatoly Rodionov:
Path algebra algorithm for finding longest increasing subsequence. - Hao Wang, Naiyan Wang, Dit-Yan Yeung:
Collaborative Deep Learning for Recommender Systems. - Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals:
From Small Space to Small Width in Resolution. - Andrey Bogomolov, Bruno Lepri, Jacopo Staiano, Nuria Oliver, Fabio Pianesi, Alex Pentland:
Once Upon a Crime: Towards Crime Prediction from Demographics and Mobile Data. - Jian Tang, Ming Zhang, Qiaozhu Mei:
"Look Ma, No Hands!" A Parameter-Free Topic Model. - Abdelkader El Mahdaouy, Saïd El Alaoui Ouatik, Éric Gaussier:
A Study of Association Measures and their Combination for Arabic MWT Extraction. - Ibrahim El Bitar, Fatima-Zahra Belouadha, Ounsa Roudiès:
Semantic web service discovery approaches: overview and limitations. - Y. M. Fouda:
One-Dimensional Vector based Pattern Matching. - Sabarathinam Chockalingam, Harjinder Singh Lallie:
The Conceptual Idea of Online Social Media Site (SMS) User Account Penetration Testing System. - Nick Gravin, Yuval Peres, Balasubramanian Sivan:
Towards Optimal Algorithms for Prediction with Expert Advice. - Roy Timo, Michèle A. Wigger:
A Base-Station Cooperation Model for Broadcasting. - Nikhil R. Devanur, Yuval Peres, Balasubramanian Sivan:
Perfect Bayesian Equilibria in Repeated Sales. - Keivan Borna, Vahid Haji Hashemi:
An improved genetic algorithm with a local optimization strategy and an extra mutation level for solving traveling salesman problem. - Ashwin Arulselvan, Martin Groß, Martin Skutella:
Graph Orientation and Flows Over Time. - Michael Erhard, Hans Strauch:
Flight control of tethered kites and winch control for autonomous airborne wind energy generation in pumping cycles. - Weitao Xu, Dongfeng Yuan, Liangfei Xue:
Design and Implementation of Intelligent Community System Based on Thin Client and Cloud Computing. - Yue Ling Che, Lingjie Duan, Rui Zhang:
Spatial Throughput Maximization of Wireless Powered Communication Networks. - Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn:
Pruning, Pushdown Exception-Flow Analysis. - Sami Akin, Mustafa Cenk Gursoy:
Performance Analysis of Cognitive Radio Systems with Imperfect Channel Sensing and Estimation. - Damien Garreau
, Rémi Lajugie, Sylvain Arlot, Francis R. Bach:
Metric Learning for Temporal Sequence Alignment. - Teresa Gomez-Diaz
:
Free software, Open source software, licenses. A short presentation including a procedure for research software and data dissemination. - Jehad Al-Dallal:
Extended distributed UML-based protocol synthesis method. - Eytan Bakshy, Dean Eckles, Michael S. Bernstein:
Designing and Deploying Online Field Experiments. - Jifeng Xuan, Martin Monperrus:
Test Case Purification for Improving Fault Localization. - Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe:
Characterization of Termination for Linear Loop Programs. - Anne-Maria Ernvall-Hytönen, B. A. Sethuraman:
Counterexample to the $l$-modular Belfiore-Solé Conjecture. - Michael T. Goodrich, Pawel Pszona:
Two-Phase Bicriterion Search for Finding Fast and Efficient Electric Vehicle Routes. - Petko Georgiev, Nicholas D. Lane, Kiran K. Rachuri, Cecilia Mascolo:
DSP.Ear: Leveraging Co-Processor Support for Continuous Audio Sensing on Smartphones. - Pin-Yu Chen, Alfred O. Hero III:
Phase Transitions in Spectral Community Detection. - Michael Carl Tschantz, Sadia Afroz, Vern Paxson, J. Doug Tygar:
On Modeling the Costs of Censorship. - Ilya Sutskever, Oriol Vinyals, Quoc V. Le:
Sequence to Sequence Learning with Neural Networks. - Saurabh Aggarwal, Joy Kuri:
Strategies for Utility Maximization in Social Groups with Preferential Exploration. - Ahmad Gomaa, Louay M. A. Jalloul:
Efficient Soft-Input Soft-Output MIMO Chase Detectors for arbitrary number of streams. - Bill Jason Tomas, Yingtao Jiang, Mei Yang:
Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure. - Olaf Hartig:
Reconciliation of RDF* and Property Graphs. - Wenyan Xu:
A cirquent calculus system with clustering and ranking. - Christian Kroer, Tuomas Sandholm:
Extensive-Form Game Imperfect-Recall Abstractions With Bounds. - Tsung-Hui Chang:
A Proximal Dual Consensus ADMM Method for Multi-Agent Constrained Optimization. - Herman Geuvers, Wouter Geraedts, Bram Geron, Judith van Stegeren
:
A type system for Continuation Calculus. 1-17 - Steffen van Bakel, Maria Grazia Vigliotti:
A fully-abstract semantics of lambda-mu in the pi-calculus. 33-47 - Michele Basaldella:
Infinitary Classical Logic: Recursive Equations and Interactive Semantics. 48-62 - José Espírito Santo
, Ralph Matthes
, Koji Nakazawa, Luís Pinto
:
Confluence for classical logic through the distinction between values and computations. 63-77 - Pattama Longani:
Square Grid Points Coveraged by Connected Sources with Coverage Radius of One on a Two-Dimensional Grid. - Behrooz Makki, Tommy Svensson, Michele Zorzi:
Finite Block-length Analysis of the Incremental Redundancy HARQ. - Behrooz Makki, Tommy Svensson, Mérouane Debbah:
Reinforcement-based data transmission in temporally-correlated fading channels: Partial CSIT scenario. - Behrooz Makki, Tommy Svensson, Michele Zorzi:
Green communication via Type-I ARQ: Finite block-length analysis. - Lili Mou, Ge Li, Yuxuan Liu, Hao Peng, Zhi Jin, Yan Xu, Lu Zhang:
Building Program Vector Representations for Deep Learning. - Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. - Gabriel L. Muller:
HTML5 WebSocket protocol and its application to distributed computing. - Michael Schreiber:
A variant of the h-index to measure recent performance. - Christoph Klemenjak, Dominik Egarter, Wilfried Elmenreich:
YoMo - The Arduino based Smart Metering Board. - Mohammed Saad ElBamby, Mehdi Bennis, Walid Saad, Matti Latva-aho:
Content-Aware User Clustering and Caching in Wireless Small Cell Networks. - Arno Pauly, Willem L. Fouché:
How constructive is constructing measures? - Frédéric Meunier, Pauline Sarrabezolles:
Colorful linear programming, Nash equilibrium, and pivots. - Haimonti Dutta, Ashwin Srinivasan:
Consensus-Based Modelling using Distributed Feature Construction. - Yousi Zheng, Ness B. Shroff, Prasun Sinha:
Heavy Traffic Limits for GI/H/n Queues: Theory and Application. - Nicolás Robinson-García, Evaristo Jiménez-Contreras, Clara Calero-Medina:
The impact of a few: The effect of alternative formulas for recruiting talent in a non-competitive system. - Wanli Ouyang, Ping Luo, Xingyu Zeng, Shi Qiu, Yonglong Tian, Hongsheng Li, Shuo Yang, Zhe Wang, Yuanjun Xiong, Chen Qian, Zhenyao Zhu, Ruohui Wang, Chen Change Loy, Xiaogang Wang, Xiaoou Tang:
DeepID-Net: multi-stage and deformable deep convolutional neural networks for object detection. - Udaya Raj Dhungana, Subarna Shakya, Kabita Baral, Bharat Sharma:
Word Sense Disambiguation using WSD specific Wordnet of Polysemy Words. - Alexandr Savinov:
Concept-oriented model: inference in hierarchical multidimensional space. - Asad Ali
, Maribel Fernández:
Static Enforcement of Role-Based Access Control. 36-50 - Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
A Generalized Reduced Linear Program for Markov Decision Processes. - Ankit Chaudhary:
Finger-Stylus for Non Touch-Enable Systems. - Sicun Gao:
Descriptive Control Theory: A Proposal. - Ke Chen, Adrian Dumitrescu:
Select with Groups of $3$ or $4$ Takes Linear Time. - Meng Zhang, Yuan Liu, Suili Feng:
Energy Harvesting for Secure OFDMA Systems. - Weijun Tang, Rongbin Zhang, Yuan Liu, Suili Feng:
Joint Resource Allocation for eICIC in Heterogeneous Networks. - Dushyant Vaghela:
An Advanced Approach On Load Balancing in Grid Computing. - Lihong Li, Rémi Munos, Csaba Szepesvári:
On Minimax Optimal Offline Policy Evaluation. - Feiyun Zhu, Bin Fan:
10, 000+ Times Accelerated Robust Subset Selection (ARSS). - Caetano Sauer, Theo Härder:
A novel recovery mechanism enabling fine-granularity locking and fast, REDO-only recovery. - Pan Cao, Alessio Zappone, Eduard A. Jorswieck:
Grouping-based Interference Alignment with IA-Cell Assignment in Multi-Cell MIMO MAC under Limited Feedback. - Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná:
LTL Model Checking of Parametric Timed Automata. - Xingfu Li, Daming Zhu:
A 4/3-approximation algorithm for finding a spanning tree to maximize its internal vertices. - Francisco Coelho
, Vítor Nogueira:
Probabilistic Selection in AgentSpeak(L). - Bertrand Verlaine, Ivan Jureta, Stéphane Faulkner:
Aligning a Service Provisioning Model of a Service-Oriented System with the ITIL v.3 Life Cycle. - Argyrios Deligkas, John Fearnley, Rahul Savani
, Paul G. Spirakis:
Computing Approximate Nash Equilibria in Polymatrix Games. - Faisal N. Abu-Khzam, Cristina Bazgan, Morgan Chopin, Henning Fernau:
Data Reductions and Combinatorial Bounds for Improved Approximation Algorithms. - J. Hanumanthappa, H. Annaiah:
DW&C: Dollops Wise Curtail IPv4/IPv6 Transition Mechanism using NS2. - Gerasimos Razis
, Ioannis Anagnostopoulos:
Semantifying Twitter: the influenceTracker ontology. - Jirí Adámek, Nathan J. Bowler, Paul Blain Levy, Stefan Milius:
Coproducts of Monads on Set. - Jirí Adámek:
Colimits of Monads. - Daniel Crankshaw, Peter Bailis, Joseph E. Gonzalez, Haoyuan Li, Zhao Zhang, Michael J. Franklin, Ali Ghodsi, Michael I. Jordan:
The Missing Piece in Complex Analytics: Low Latency, Scalable Model Management and Serving with Velox. - Yannick Versley:
Incorporating Semi-supervised Features into Discontinuous Easy-First Constituent Parsing. - Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal
, Stephan Merz:
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. - Guy Bresler, David Gamarnik, Devavrat Shah:
Hardness of parameter estimation in graphical models. - Ardalan Alizadeh, Hamid-Reza Bahrami, Mehdi Maleki, Shivakumar Sastry:
Spatial Sensing and Cognitive Radio Communication in the Presence of A $K$-User Interference Primary Network. - M. Emre Celebi, Hassan A. Kingravi:
Linear, Deterministic, and Order-Invariant Initialization Methods for the K-Means Clustering Algorithm. - Vladimir V. V'yugin:
On Stability Property of Probability Laws with Respect to Small Violations of Algorithmic Randomness. - Vishwakarma Singh, Ambuj K. Singh:
Nearest Keyword Set Search in Multi-dimensional Datasets. - Jake Ryland Williams, James P. Bagrow
, Christopher M. Danforth, Peter Sheridan Dodds:
Text mixing shapes the anatomy of rank-frequency distributions: A modern Zipfian mechanics for natural language. - Qianli Liao, Joel Z. Leibo, Tomaso A. Poggio:
Unsupervised learning of clutter-resistant visual representations from natural videos. - Michael Bloodgood, K. Vijay-Shanker:
An Approach to Reducing Annotation Costs for BioNLP. - Raef Bassily, Adam D. Smith:
Causal Erasure Channels. - Ankit Singh Rawat, Arya Mazumdar, Sriram Vishwanath:
Cooperative Local Repair in Distributed Storage. - Hien Quoc Ngo, Michail Matthaiou
, Erik G. Larsson:
Massive MIMO with Optimal Power and Training Duration Allocation. - Hindayati Mustafidah, Suwarsito:
Analysis of Competence Level and the Attendance of the Lecturer in Its Effects on Students Grade Using Fuzzy Quantification Theory. - Caijun Zhong, Himal A. Suraweera, Gan Zheng, Ioannis Krikidis, Zhaoyang Zhang:
Wireless Information and Power Transfer with Full Duplex Relaying. - Ju Shen, Jianjun Yang, Sami Taha-abusneineh, Bryson Payne, Markus A. Hitz:
Structure Preserving Large Imagery Reconstruction. - Sophie Morin, Jean-Marc Robert, Liane Gabora:
A New Course on Creativity in an Engineering Program: Foundations and Issues. - Jae-Yeong Lee, Wonpil Yu:
Concurrent Tracking of Inliers and Outliers. - Stan Palasek:
A Reputation-Based Model for Decision-Making in Online Social Networks. - Zhe He, Rui-Jie Xu, Si-Wu Liu, Bing-Hong Wang:
The upper bound of packet transmission capacity in local static routings. - Anup Kumar Das:
The 7 Habits of Highly Effective Research Communicators. - Yuguang Wang, Feilong Cao, Yubo Yuan:
A study on effectiveness of extreme learning machine. - Arpan Chattopadhyay, Avishek Ghosh, Akhila Rao, Bharat Dwivedi, S. V. R. Anand, Marceau Coupechoux, Anurag Kumar:
Impromptu Deployment of Wireless Relay Networks: Experiences Along a Forest Trail. - Assalé Adjé, Victor Magron:
Polynomial Template Generation using Sum-of-Squares Programming. - Richa Sharma, Shweta Nigam, Rekha Jain:
Polarity detection movie reviews in hindi language. - Stepan Holub, Tomás Masopust, Michaël Thomazo:
Alternating Towers and Piecewise Testable Separators. - Alexandr Savinov:
Concept-Oriented Programming: References, Classes and Inheritance Revisited. - Shunqiao Sun, Waheed U. Bajwa, Athina P. Petropulu:
MIMO-MC Radar: A MIMO Radar Approach Based on Matrix Completion. - Brian Lois, Namrata Vaswani:
A Correctness Result for Online Robust PCA. - Xianghui Cao, Lu Liu, Wenlong Shen, Jin Tang, Yu Cheng:
Real-Time Misbehavior Detection in IEEE 802.11e Based WLANs. - Alessandro Bergamo, Loris Bazzani, Dragomir Anguelov, Lorenzo Torresani:
Self-taught Object Localization with Deep Networks. - Yin Zheng, Yu-Jin Zhang, Hugo Larochelle:
A Deep and Autoregressive Approach for Topic Modeling of Multimodal Data. - Rishabh Jain, Rupanta Rwiteej Dutta, Rajat Tandon:
Clear, Concise and Effective UI: Opinion and Suggestions. - (Withdrawn) Lyapunov Based Frugal Incentive Mechanism for Periodical Mobile Crowdsensing.
- Pichao Wang, Wanqing Li, Philip Ogunbona
, Zhimin Gao, Hanling Zhang:
Mining Mid-level Features for Action Recognition Based on Effective Skeleton Representation. - Mouhamed Abdulla:
Simple Subroutine for Inhomogeneous Deployment. - Daniel Hidru, Anna Goldenberg:
EquiNMF: Graph Regularized Multiview Nonnegative Matrix Factorization. - Malcolm A. Egan, Gareth W. Peters, Ido Nevat, Iain B. Collings:
The Business Case for Facility-Operated Wireless Cellular Micronetworks. - Adi Shraibman:
The Corruption Bound, Log Rank, and Communication Complexity. - M. C. Hanumantharaju, M. Ravishankar, D. R. Ramesh Babu:
Design of Novel Algorithm and Architecture for Gaussian Based Color Image Enhancement System for Real Time Applications. - M. C. Hanumantharaju, M. Ravishankar, D. R. Ramesh Babu, V. N. Manjunath Aradhya:
A New Framework for Retinex based Color Image Enhancement using Particle Swarm Optimization. - Alberto Costa:
Comment on "Quantitative function for community detection". - Wenwen Tu, Lifeng Lai:
On the Simulatability Condition in Key Generation Over a Non-authenticated Public Channel. - Boris Burshteyn:
The distributed Language Hello White Paper. - Nicolas Gauvrit, Henrik Singmann, Fernando Soler-Toscano, Hector Zenil:
Algorithmic complexity for psychology: A user-friendly implementation of the coding theorem method. - Markus Knecht, Willi Meier, Carlo U. Nicola:
A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm. - Evgeniy Pluzhnik, Evgeny Nikulchev:
Virtual Laboratories in Cloud Infrastructure of Educational Institutions. - Evgeny Nikulchev:
Robust Chaos Generation on the Basis of Symmetry Violations in Attractors. - Binay K. Bhattacharya, Minati De, Subhas C. Nandy, Sasanka Roy:
Facility location problems in the constant work-space read-only memory model. - Jonathan Balzer, Daniel Acevedo Feliz, Stefano Soatto, Sebastian Höfer, Markus Hadwiger, Jürgen Beyerer:
Cavlectometry: Towards Holistic Reconstruction of Large Mirror Objects. - Lipeng Ning, Tryphon T. Georgiou:
Metrics for matrix-valued measures via test functions. - (Withdrawn) Simple inequalities for weighted entropies.
- Yu-Chuan Su, Tzu-Hsuan Chiu, Chun-Yen Yeh, Hsinfu Huang, Winston H. Hsu:
Transfer Learning for Video Recognition with Scarce Training Data. - Edith Elkind, Evangelos Markakis, Svetlana Obraztsova, Piotr Skowron:
Equilibria of Plurality Voting: Lazy and Truth-biased Voters. - Hassan Hawilo, Abdallah Shami, Maysam Mirahmadi, Rasool Asal:
NFV: State of the Art, Challenges and Implementation in Next Generation Mobile Networks (vEPC). - Constantinos Daskalakis, Alan Deckelbaum, Christos Tzamos:
Strong Duality for a Multiple-Good Monopolist. - Sicheng Xiong, Rómer Rosales, Yuanli Pei, Xiaoli Z. Fern:
Active Metric Learning from Relative Comparisons. - (Withdrawn) Joint Radar-Communications Performance Inner Bounds: Data versus Estimation Information Rates.
- Abolfazl Asudeh, Gensheng Zhang, Naeemul Hassan, Chengkai Li, Gergely V. Záruba:
Crowdsourcing Pareto-Optimal Object Finding by Pairwise Comparisons. - Tomas Trescak, Carles Sierra, Simeon J. Simoff, Ramón López de Mántaras:
Dispute Resolution Using Argumentation-Based Mediation. - N. Rama, Meenakshi Lakshmanan:
An Algorithm Based on Empirical Methods, for Text-to-Tuneful-Speech Synthesis of Sanskrit Verse. - Pariya Kashfi, Robert Feldt, Agneta Nilsson, Richard Berntsson-Svensson:
Models for Integrating UX into Software Engineering Practice: an Industrial Validation. - Bruno Conejo, Nikos Komodakis, Sébastien Leprince, Jean-Philippe Avouac:
Speeding-up Graphical Model Optimization via a Coarse-to-fine Cascade of Pruning Classifiers. - Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe:
On the Termination of Linear and Affine Programs over the Integers. - Camellia Ray, Jayanta Kumar Das, Pabitra Pal Choudhury:
On Analysis And Generation Of Biologically Important Boolean Functions. - Enrique Gabriel Baquela, Ana Carolina Olivera:
An OvS-MultiObjective Algorithm Approach for Lane Reversal Problem. - Valerio Cosentino, Javier Luis Cánovas Izquierdo, Jordi Cabot:
Three Metrics to Explore the Openness of GitHub projects. - Xianwen Wang, Chen Liu, Zhichao Fang, Wenli Mao:
From Attention to Citation, What and How Does Altmetrics Work? - Xiangrong Zeng, Mário A. T. Figueiredo:
The Ordered Weighted ℓ1 Norm: Atomic Formulation, Dual Norm, and Projections. - Rudi Cilibrasi, Paul M. B. Vitányi:
A Fast Quartet Tree Heuristic for Hierarchical Clustering. - Georgios K. Papageorgiou, Pantelis Bouboulis, Sergios Theodoridis, Konstantinos Themelis:
Robust Linear Regression Analysis - A Greedy Approach. - Mark Braverman, Jieming Mao:
Simulating Noisy Channel Interaction. - S. Ali Mirsoleimani, Aske Plaat, Jos Vermaseren, H. Jaap van den Herik:
Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi. - Giordano Da Lozzo, Vít Jelínek, Jan Kratochvíl, Ignaz Rutter:
Planar Embeddings with Small and Uniform Faces. - Martin Hoefer, Lisa Wagner:
Matching Dynamics with Constraints. - Jure Zbontar, Yann LeCun:
Computing the Stereo Matching Cost with a Convolutional Neural Network. - Dinesh Jayaraman, Kristen Grauman:
Zero Shot Recognition with Unreliable Attributes. - Nof Abuzainab, Sai Rakshit Vinnakota, Corinne Touati:
Coalition Formation Game for Cooperative Cognitive Radio Using Gibbs Sampling. - Danny Rorabaugh:
A bound on a convexity measure for point sets. - Yonathan Aflalo, Haim Brezis, Ron Kimmel:
On the optimality of shape and data representation in the spectral domain. - S. V. Kasmir Raja, V. Rajitha, Meenakshi Lakshmanan:
A Binary Schema and Computational Algorithms to Process Vowel-based Euphonic Conjunctions for Word Searches. - S. V. Kasmir Raja, V. Rajitha, Meenakshi Lakshmanan:
Computational Algorithms Based on the Paninian System to Process Euphonic Conjunctions for Word Searches. - Hany Kamal, Marco Picone, Michele Amoretti:
A Survey and Taxonomy of Urban Traffic Management: Towards Vehicular Networks. - Malcolm Egan:
Low-High SNR Transition in Multiuser MIMO. - Nyagudi Musandu Nyagudi
:
Tackling the "Gremlins Paradox" : Autonomous Hot Swap Healing Protocol for Chronic Performance Problem Aversion in On-board Mission Critical Systems for Lethal Autonomous Weapons. - Jakub Gajarský, Petr Hlinený
, Jan Obdrzálek, Sebastian Ordyniak
:
Faster Existential FO Model Checking on Posets. - Manoj Gulati, Shobha Sundar Ram, Amarjeet Singh:
An In Depth Study into Using EMI Signatures for Appliance Identification. - Changhong Zhao, Michael Chertkov, Scott Backhaus:
Optimal Sizing of Voltage Control Devices for Distribution Circuit with Intermittent Load. - Scott Backhaus, Russell Bent, Daniel Bienstock, Michael Chertkov, Krishnamurthy Dvijotham:
Efficient Synchronization Stability Metrics for Fault Clearing. - Mohammad Fanaei, Amin Tahmasbi-Sarvestani, Yaser P. Fallah, Gaurav Bansal, Matthew C. Valenti, John B. Kenney:
Adaptive Content Control for Communication amongst Cooperative Automated Vehicles. - Francisco Mota:
Projective Root-Locus: An Extension of Root-Locus Plot to the Projective Plane. - Aniket Bera, David Wolinski, Julien Pettré, Dinesh Manocha:
Real-time Crowd Tracking using Parameter Optimized Mixture of Motion Models. - Sreejith Sreekumar, Bikash Kumar Dey, Sibi Raj B. Pillai:
Distributed Rate Adaptation and Power Control in Fading Multiple Access Channels. - Kyeong Soo Kim:
Toward Fully-Shared Access: Designing ISP Service Plans Leveraging Excess Bandwidth Allocation. - Jeremiah Blocki, Nicolas Christin
, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha:
Audit Games with Multiple Defender Resources. - Tao Wang, Hua Zhu:
Voting for Deceptive Opinion Spam Detection. - Awny Sayed, Amal Almaqrashi:
Scalable and Efficient Self-Join Processing technique in RDF data. - (Withdrawn) Fair and Square: Cake-cutting in Two Dimensions.
- Benjamin Smith
:
The Q-curve construction for endomorphism-accelerated elliptic curves. - Emanuele Tron:
A Note on Rectangle Covering with Congruent Disks. - Redouan Korchiyne, Sidi Mohamed Farssi, Abderrahmane Sbihi, Rajaa Touahni, Mustapha Tahiri Alaoui:
A Combined Method Of Fractal And GLCM Features For MRI And CT Scan Images Classification. - Kehao Wang, Francis C. M. Lau, Lin Chen, Robert Schober:
Pricing Mobile Data Offloading: A Distributed Market Framework. - Andrei Marinescu, Ivana Dusparic, Adam Taylor, Vinny Cahill, Siobhán Clarke:
Decentralised Multi-Agent Reinforcement Learning for Dynamic and Uncertain Environments. - Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
Improving files availability for BitTorrent using a diffusion model. - Shubao Zhang:
Stable Cosparse Recovery via \ell_q-analysis Optimization. - Azniv Kasparian, Evgeniya Velikova:
Tangent Codes. - Med Karim Abdmouleh, Ali Khalfallah, Med Salim Bouhlel:
A new Watermarking Technique for Medical Image using Hierarchical Encryption. - Ivo Herman
, Dan Martinec, Zdenek Hurák, Michael Sebek:
Nonzero bound on Fiedler eigenvalue causes exponential growth of H-infinity norm of vehicular platoon. - Michail I. Schlesinger, Evgeniy Vodolazskiy, V. M. Yakovenko:
Similarity of closed polygonal curves in Frechet metric. - Bilal Ahmed:
Lexical Normalisation of Twitter Data. - Ronald Hochreiter, Christoph Waldhauser:
The Role of Emotions in Propagating Brands in Social Networks. - Immanuel Anjam, Jan Valdman:
Fast MATLAB assembly of FEM matrices in 2D and 3D: Edge elements. - Pritam Bhattacharya, Subir Kumar Ghosh, Bodhayan Roy:
Vertex Guarding in Weak Visibility Polygons. - Evgeniy Pluzhnik, Evgeny Nikulchev, Simon Payain:
Laboratory Test Bench for Research Network and Cloud Computing. - Petra Budíková, Jan Botorek, Michal Batko, Pavel Zezula:
DISA at ImageCLEF 2014 Revised: Search-based Image Annotation with DeCAF Features. - Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: An Assurance Case Language for Architecture Models. - Robert Könighofer, Ronald Toegl, Roderick Bloem:
Automatic Error Localization for Software using Deductive Verification. - Rahmat Heidari, María M. Seron, Julio H. Braslavsky:
Ultimate boundedness of droop controlled Microgrids with secondary loops. - Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. - Patrick Hummel, R. Preston McAfee:
Position Auctions with Externalities and Brand Effects. - Johannes Lederer, Sergio Guadarrama:
Compute Less to Get More: Using ORC to Improve Sparse Filtering. - Andrea Tagarelli, Roberto Interdonato:
Lurking in Social Networks: Topology-based Analysis and Ranking Methods. - Charmgil Hong, Iyad Batal, Milos Hauskrecht:
A Mixtures-of-Experts Framework for Multi-Label Classification. - Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Shvartsman:
Doing-it-All with Bounded Work and Communication. - Fulvio Forni, Rodolphe Sepulchre:
Differential analysis of nonlinear systems: revisiting the pendulum example. - Andrzej Kulig, Stanislaw Drozdz, Jaroslaw Kwapien, Pawel Oswiecimka:
Modelling subtle growth of linguistic networks. - Hindayati Mustafidah, Sri Hartati, Retantyo Wardoyo, Agus Harjoko:
Selection of Most Appropriate Backpropagation Training Algorithm in Data Pattern Recognition. - Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray, Holger Paul Keeler:
Wireless networks appear Poissonian due to strong shadowing. - Ahmad Bilal Asghar, Stephen L. Smith:
Robot Monitoring for the Detection and Confirmation of Stochastic Events. - Jun Lin, Zhiyuan Yan:
An Efficient List Decoder Architecture for Polar Codes. - Holger Boche, Rafael F. Schaefer, H. Vincent Poor:
On the Continuity of the Secrecy Capacity of Compound and Arbitrarily Varying Wiretap Channels. - Katsuhiko Ishiguro, Issei Sato, Naonori Ueda:
Collapsed Variational Bayes Inference of Infinite Relational Model. - Hassan Tavakoli:
A Fast Convergence Density Evolution Algorithm for Optimal Rate LDPC Codes in BEC. - Hassan Tavakoli:
Reducing the Complexity of the Linear Programming Decoding. - Hassan Tavakoli:
Source and Channel Optimal Rate LDPC Code Design for one Sender in BE-MAC with Source Correlation. - Nicolás Guarín-Zapata, Juan Gómez:
Evaluation of the Spectral Finite Element Method With the Theory of Phononic Crystals. - Xiao Zhang, Travis Martin, Mark E. J. Newman:
Identification of core-periphery structure in networks. - Patrice Y. Simard, David Maxwell Chickering, Aparna Lakshmiratan, Denis Xavier Charles, Léon Bottou, Carlos Garcia Jurado Suarez, David Grangier, Saleema Amershi, Johan Verwey, Jina Suh:
ICE: Enabling Non-Experts to Build Models Interactively for Large-Scale Lopsided Problems. - Zheng Zhang, Xiu Yang, Giovanni Marucci, Paolo Maffezzoni, Ibrahim M. Elfadel, George E. Karniadakis, Luca Daniel:
Stochastic Testing Simulator for Integrated Circuits and MEMS: Hierarchical and Sparse Techniques. - Zheng Zhang, Ibrahim M. Elfadel, Luca Daniel:
Uncertainty Quantification for Integrated Circuits: Stochastic Spectral Methods. - Zheng Zhang, Tarek A. El-Moselhy, Paolo Maffezzoni, Ibrahim M. Elfadel, Luca Daniel:
Efficient Uncertainty Quantification for the Periodic Steady State of Forced and Autonomous Circuits. - Ho-Lin Chen, David Doty, Dhiraj Holden, Chris Thachuk, Damien Woods, Chun-Tao Yang:
Fast algorithmic self-assembly of simple shapes using random agitation. - Zheng Zhang, Tarek A. El-Moselhy, Ibrahim M. Elfadel, Luca Daniel:
Calculation of Generalized Polynomial-Chaos Basis Functions and Gauss Quadrature Rules in Hierarchical Uncertainty Quantification. - Zheng Zhang, Tarek A. El-Moselhy, Ibrahim M. Elfadel, Luca Daniel:
Stochastic Testing Method for Transistor-Level Uncertainty Quantification Based on Generalized Polynomial Chaos. - Michael Bloodgood, K. Vijay-Shanker:
Taking into Account the Differences between Actively and Passively Acquired Data: The Case of Active Learning with Support Vector Machines for Imbalanced Datasets. - Christian Szegedy, Wei Liu, Yangqing Jia, Pierre Sermanet, Scott E. Reed, Dragomir Anguelov, Dumitru Erhan, Vincent Vanhoucke, Andrew Rabinovich:
Going Deeper with Convolutions. - Jiecao Chen, Qin Zhang:
AMS-Sampling in Distributed Monitoring, with Applications to Entropy. - Li Zeng, Renren Liu, Leo Yu Zhang, Yuansheng Liu, Kwok-Wo Wong:
Cryptanalyzing an image encryption algorithm based on scrambling and Veginere cipher. - Federico Rossi, Marco Pavone:
On the fundamental limitations of performance for distributed decision-making in robotic networks. - James Ridgway, Mike Stannett
:
Developing a Video Steganography Toolkit. - Loet Leydesdorff, Gohar Feroz Khan, Lutz Bornmann:
The Generation of Large Networks from Web-of-Science Data. - Michael Schreiber:
Is the new citation-rank approach P100' in bibliometrics really new? - Kwangmyong Rim, Yonghua Choe:
Software Cognitive Complexity Measure Based on Scope of Variables. - Jihong Yu, Lin Chen:
Stability Analysis of Frame Slotted Aloha Protocol. - Daniel Kroening, Matt Lewis:
Second-Order SAT Solving using Program Synthesis. - Angélique Dremeau, Christophe Schülke, Yingying Xu, Devavrat Shah:
Statistical inference with probabilistic graphical models. - Prachi Goyal, Pranabendu Misra, Fahad Panolan, Geevarghese Philip, Saket Saurabh:
Finding Even Subgraphs Even Faster. - Anthony J. Bagnall, Reda Younsi:
Ensembles of Random Sphere Cover Classifiers. - Yi Wang:
Tensity Research Based on the Information of Eye Movement. - Tapomayukh Bhattacharjee, James M. Rehg, Charles C. Kemp:
Inferring Object Properties from Incidental Contact with a Tactile Sensing Forearm. - Pratik Ghosal, Meghana Nasre, Prajakta Nimbhorkar:
Rank Maximal Matchings - Structure and Algorithms. - Filippo Maria Bianchi, Enrico Maiorino, Lorenzo Livi, Antonello Rizzi, Alireza Sadeghian:
An Agent-Based Algorithm exploiting Multiple Local Dissimilarities for Clusters Mining and Knowledge Discovery. - Martina Eikel, Christian Scheideler, Alexander Setzer:
RoBuSt: A Crash-Failure-Resistant Distributed Storage System. - Xixi He, Xirong Li, Gang Yang, Jieping Xu, Qin Jin:
Adaptive Tag Selection for Image Annotation. - Vincenzo Fioriti, Marta Chinnici:
Identifying sparse and dense sub-graphs in large graphs with a fast algorithm. - Binish Fatimah, Shiv Dutt Joshi:
Exact Least Squares Algorithm for Signal Matched Multirate Whitening Filter Bank: Part I. - Pengtao Xie, Eric P. Xing:
CryptGraph: Privacy Preserving Graph Analytics on Encrypted Graph. - Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve
, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. - Agrima Seth, Deepak Mishra:
Comparative Study of Geometric and Image Based Modelling and Rendering Techniques. - Faraz Zaidi, Chris Muelder, Arnaud Sallaberry:
Analysis and Visualization of Dynamic Networks. - Frédéric Gilbert, Paolo Simonetto, Faraz Zaidi, Fabien Jourdan, Romain Bourqui:
Communities and Hierarchical Structures in Dynamic Social Networks: Analysis and Visualization. - Bnar Faisal Daham, Ayad Ghany Ismaeel
, Suha A. Abdual-Rahman:
TCP Performance for Kurd Messenger Application Using Bio-computing. - Bilal Ahmed:
Predictive Capacity of Meteorological Data - Will it rain tomorrow. - El-arbi El-alaouy
, Khadija Rhoulami:
Survey Management Web Platform Applied to Morocco Household Survey Panel. - Binish Fatimah, Shiv Dutt Joshi:
Exact Least Squares Algorithm for Signal Matched Synthesis Filter Bank: Part II. - Shuxin Ouyang, Timothy M. Hospedales, Yi-Zhe Song, Xueming Li:
A Survey on Heterogeneous Face Recognition: Sketch, Infra-red, 3D and Low-resolution. - Xishuo Liu, Stark C. Draper:
The ADMM penalized decoder for LDPC codes. - Xishuo Liu, Stark C. Draper:
ADMM LP decoding of non-binary LDPC codes in $\mathbb{F}_{2^m}$. - Ahmed Alkhateeb, Geert Leus, Robert W. Heath Jr.:
Limited Feedback Hybrid Precoding for Multi-User Millimeter Wave Systems. - Michael Bloodgood, K. Vijay-Shanker:
A Method for Stopping Active Learning Based on Stabilizing Predictions and the Need for User-Adjustable Stopping. - Hu Qin, Zizhen Zhang, Yubin Xie, Andrew Lim:
A Tabu Search Algorithm for the Multi-period Inspector Scheduling Problem. - Md. Noor-A-Rahim, Khoa D. Nguyen, Gottfried Lechner:
Delay-Exponent of Bilayer Anytime Code. - Zhilin Zhang, Zhouyue Pi, Benyuan Liu:
TROIKA: A General Framework for Heart Rate Monitoring Using Wrist-Type Photoplethysmographic (PPG) Signals During Intensive Physical Exercise. - Ruxin Wang, Congying Han, Yanping Wu, Tiande Guo:
Fingerprint Classification Based on Depth Neural Network. - Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller:
Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. - Smriti Bhagat, Anthony Kim, S. Muthukrishnan, Udi Weinsberg:
The Shapley Value in Knapsack Budgeted Games. - Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
Pedestrian Detection with Spatially Pooled Features and Structured Ensemble Learning. - Ben Ruijl
, Aske Plaat, Jos Vermaseren, H. Jaap van den Herik:
Why Local Search Excels in Expression Simplification. - Stefano Riverso, Francesca Boem, Giancarlo Ferrari-Trecate, Thomas Parisini:
Plug-and-play fault diagnosis and control-reconfiguration for a class of nonlinear large-scale constrained systems. - Baoguang Shi, Xiang Bai, Wenyu Liu, Jingdong Wang:
Deep Regression for Face Alignment. - Basura Fernando, Amaury Habrard, Marc Sebban, Tinne Tuytelaars:
Subspace Alignment For Domain Adaptation. - Stefano Salsano, Nicola Blefari-Melazzi, Francesco Lo Presti, Giuseppe Siracusano, Pier Luigi Ventre:
Generalized Virtual Networking: an enabler for Service Centric Networking and Network Function Virtualization. - Michael James Scott, Gheorghita Ghinea, Ian Hamilton:
Promoting Inclusive Design Practice at the Global Game Jam: A Pilot Evaluation. - Paul Vickers, Christopher Laing, Mohamed Debashi, Tom Fairfax:
Sonification Aesthetics and Listening for Network Situational Awareness. - Oualid Benamara, Fatiha Merazka:
An improvement of a cryptanalysis algorithm. - Mohammad Zamani, Valery A. Ugrinovskii:
Minimum-Energy Distributed Filtering. - Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
Qualitative Analysis of Concurrent Mean-payoff Games. - Mohammed El-Kebir, Gunnar W. Klau:
Solving the Maximum-Weight Connected Subgraph Problem to Optimality. - Holger Machens:
Sandboxing for Software Transactional Memory with Deferred Updates. - Scott MacLean, George Labahn:
A Bayesian model for recognizing handwritten mathematical expressions. - He Hao, Borhan Molazem Sanandaji, Kameshwar Poolla, Tyrone L. Vincent:
Potentials and Economics of Residential Thermal Loads Providing Regulation Reserve. - Neil S. Walton:
Store-Forward and its implications for Proportional Scheduling. - Jian Fang, Shaobo Lin, Zongben Xu:
Learning and approximation capability of orthogonal super greedy algorithm. - Paolo Liberatore:
Belief revision by examples. - Andreas Cord-Landwehr, Alexander Mäcker, Friedhelm Meyer auf der Heide:
Quality of Service in Network Creation Games. - Bruno Courcelle, Irène Durand:
Fly-automata, model-checking and recognizability. - Emanuel Gluskin:
On the physical and circuit-theoretic significance of the Memristor. - Sebastian Abshoff, Andreas Cord-Landwehr, Daniel Jung, Alexander Skopalik:
Multilevel Network Games. - Tobias Weyand, Bastian Leibe:
Visual Landmark Recognition from Internet Photo Collections: A Large-Scale Evaluation. - Huasha Zhao, Biye Jiang, John F. Canny:
SAME but Different: Fast and High-Quality Gibbs Parameter Estimation. - Ross B. Girshick, Forrest N. Iandola, Trevor Darrell, Jitendra Malik:
Deformable Part Models are Convolutional Neural Networks. - Jalaj Upadhyay:
Differentially Private Linear Algebra in the Streaming Model. - Marc Lichtman:
Antifragile Electronic Warfare. - Vassilis Kolias, Ioannis Anagnostopoulos, Eleftherios Kayafas:
Exploratory Analysis of a Terabyte Scale Web Corpus. - Michael J. Bannister, William E. Devanny, Michael T. Goodrich, Joseph A. Simons, Lowell Trott:
Windows into Geometric Events: Data Structures for Time-Windowed Querying of Temporal Point Sets. - Wei Zhou, George Labahn:
Fast and deterministic computation of the determinant of a polynomial matrix. - Ahmad Biniaz, Anil Maheshwari, Michiel H. M. Smid:
Higher-Order Triangular-Distance Delaunay Graphs: Graph-Theoretical Properties. - Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. - Víctor Manuel Silva García, Rolando Flores-Carapia, Carlos Rentería-Márquez, Benjamín Luna Benoso, Cesar Antonio Jiménez Vázquez:
Images encryption using AES and variable permutations.