default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, 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. - Hanzhang Hu, Alexander Grubb, J. Andrew Bagnell, Martial Hebert:
Efficient Feature Group Sequencing for Anytime Linear Prediction. - Alexander Kalinin, George Savchenko:
Using crowdsourcing system for creating site-specific statistical machine translation engine. - Avishy Y. Carmi, Daniel Moskovich:
Low-Dimensional Topology of Information Fusion. - Liangyue Li, Hanghang Tong, Nan Cao, Kate Ehrlich, Yu-Ru Lin, Norbou Buchler:
Replacing the Irreplaceable: Fast Algorithms for Team Member Recommendation. - Mohammad Zamani, Iman Shames, Valery A. Ugrinovskii:
Minimum-Energy Distributed Consensus of Uncertain Agents. - Guanghui Wen, Valery A. Ugrinovskii:
Distributed Consensus of Linear Multi-Agent Systems with Switching Directed Topologies. - Shuguang Han, Daqing He, Zhen Yue:
Benchmarking the Privacy-Preserving People Search. - Minho Yang, Sang-Woon Jeon, Dong Ku Kim:
Linear Degrees of Freedom of MIMO Broadcast Channels with Reconfigurable Antennas in the Absence of CSIT. - Fan Cheng, Yanlin Geng:
Higher Order Derivatives in Costa's Entropy Power Inequality. - Asif Imran, Nadia Nahar, Kazi Sakib:
Watchword-Oriented and Time-Stamped Algorithms for Tamper-Proof Cloud Provenance Cognition. - Asif Imran, Emon Kumar Dey, Kazi Sakib:
Active-Threaded Algorithms for Provenance Cognition in the Cloud preserving Low Overhead and Fault Tolerance. - Eric W. Tramel, Santhosh Kumar, Andrei Giurgiu, Andrea Montanari:
Statistical Estimation: From Denoising to Sparse Regression and Hidden Cliques. - Takuro Fukunaga:
Approximating the generalized terminal backup problem via half-integral multiflow relaxation. - Yanchao Lu, Donghong Wu, Bingsheng He, Xueyan Tang, Jianliang Xu, Minyi Guo:
Rank-Aware Dynamic Migrations and Adaptive Demotions for DRAM Power Management. - Mohamed Amir, Tamer Khattab, Tarek M. Elfouly, Amr Mohamed:
On the degrees of freedom of the MIMO Wiretap and MIMO broadcast channels with unknown eavesdroppers. - Marco Rainone, Carlo Fonda, Enrique Canessa:
IMAGINARY Math Exhibition using Low-cost 3D Printers. - Jaeseok Lee, Suhyuk Kwon, Jun Won Choi, Byonghyo Shim:
Greedy Sparse Signal Recovery with Tree Pruning. - Zhaohong Deng, Kup-Sze Choi, Jun Wang, Shitong Wang:
A Survey on Soft Subspace Clustering. - Predrag R. Jelenkovic, Evangelia D. Skiani:
Instability of Sharing Systems in the Presence of Retransmissions. - Samuel Rönnqvist, Xiaolu Wang, Peter Sarlin:
Interactive Visual Exploration of Topic Models using Graphs. - Leslie Ann Goldberg, Heng Guo:
The complexity of approximating complex-valued Ising and Tutte partition functions with applications to quantum simulation. - Dmitry Kosolobov:
Lempel-Ziv Factorization May Be Harder Than Computing All Runs. - Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober:
Multiple-access Fading Channel with Wireless Power Transfer and Energy Harvesting. - Ebru Aydin Gol, Ezio Bartocci, Calin Belta:
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. - Steen Vester:
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models. - Zhaohong Deng, Yizhang Jiang, Fulai Chung, Kup-Sze Choi, Shitong Wang:
Transfer Prototype-based Fuzzy Clustering. - Pengtao Xie, Jin Kyu Kim, Eric P. Xing:
Large Scale Distributed Multiclass Logistic Regression. - Stefan Schulte, Christian Janiesch, Srikumar Venugopal, Ingo Weber, Philipp Hoenisch:
Elastic Business Process Management: State of the Art and Open Challenges for BPM in the Cloud. - Christian Lameiro, Ignacio Santamaría, Peter J. Schreier:
Benefits of improper signaling for underlay cognitive radio. - Lili Mou, Ge Li, Zhi Jin, Lu Zhang, Tao Wang:
TBCNN: A Tree-Based Convolutional Neural Network for Programming Language Processing. - Manuel López-Ibáñez, Arnaud Liefooghe, Sébastien Vérel:
Local Optimal Sets and Bounded Archiving on Multi-objective NK-Landscapes with Correlated Objectives. - Qi Wei, José M. Bioucas-Dias, Nicolas Dobigeon, Jean-Yves Tourneret:
Hyperspectral and Multispectral Image Fusion based on a Sparse Representation. - Ahmed Badawy, Tamer Khattab, Daniele Trinchero, Tarek M. Elfouly, Amr Mohamed:
A Simple AoA Estimation Scheme. - Bilel Derbel, Dimo Brockhoff, Arnaud Liefooghe, Sébastien Vérel:
On the Impact of Multiobjective Scalarizing Functions. - Ryo Asai, Andrey Vladimirov:
Intel Cilk Plus for Complex Parallel Algorithms: "Enormous Fast Fourier Transform" (EFFT) Library. - Elisabetta Bevacqua, Igor Stankovic, Ayoub Maatallaoui, Alexis Nédélec, Pierre De Loor:
Effects of Coupling in Human-Virtual Agent Body Interaction. - Surender Kumar, Manish Prateek, Bharat Bhushan:
Distance based (DBCP) Cluster Protocol for Heterogeneous Wireless Sensor Network. - Jin Xu, Haibo He, Hong Man:
Active Dictionary Learning in Sparse Representation Based Classification. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Attributes for Causal Inference in Longitudinal Observational Databases. - Brian K. Butler, Paul H. Siegel:
LDPC Code Density Evolution in the Error Floor Region. - Xi Peng, Rui Yan, Bo Zhao, Huajin Tang, Zhang Yi:
Fast Low-rank Representation based Spatial Pyramid Matching for Image Classification. - Therese Biedl, Martin Derka:
1-String CZ-Representation of Planar Graphs. - Zoubeir Mlika, Mathew Goonewardena, Wessam Ajib, Halima Elbiaze:
Femtocell Association in Two-Tier Cellular Networks: Complexity and Efficient Algorithms. - Amir Globerson, Tim Roughgarden, David A. Sontag, Cafer Yildirim:
Tight Error Bounds for Structured Prediction. - Ying Long, Xingjian Liu, Jiangping Zhou, Yizhen Gu:
Profiling underprivileged residents with mid-term public transit smartcard data of Beijing. - Kay Noyen, Dirk Volland, Dominic Wörner, Elgar Fleisch:
When Money Learns to Fly: Towards Sensing as a Service Applications Using Bitcoin. - Jingbo Liu, Paul W. Cuff, Sergio Verdú:
Key Capacity for Product Sources with Application to Stationary Gaussian Processes. - Marie Henderson, Howard Philip Page:
Planning Security Services for IT Systems. - Uli Fahrenberg, Axel Legay:
Homotopy Bisimilarity for Higher-Dimensional Automata. - Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Incremental Bounded Model Checking for Embedded Software (extended version). - Hamdi Joudeh, Bruno Clerckx:
AMMSE Optimization for Multiuser MISO Systems with Imperfect CSIT and Perfect CSIR. - Tanmay Sinha, Nan Li, Patrick Jermann, Pierre Dillenbourg:
Capturing "attrition intensifying" structural traits from didactic interaction sequences of MOOC learners. - Moran Feldman:
Maximizing Symmetric Submodular Functions. - Nipun Batra, Manoj Gulati, Puneet Jain, Kamin Whitehouse, Amarjeet Singh:
Bits and Watts: Improving energy disaggregation performance using power line communication modems. - Jack Kelly, Nipun Batra, Oliver Parson, Haimonti Dutta, William J. Knottenbelt, Alex Rogers, Amarjeet Singh, Mani B. Srivastava:
NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets. - David Damanik:
Finite Automata With Restricted Two-Way Motion. - Xiaolin Cao, Yessica Saez, G. Pesti, Laszlo B. Kish:
On KLJN-based secure key distribution in vehicular communication networks. - Ghaith Hattab, Mohamed Ibnkahla:
Multiband Spectrum Access: Great Promises for Future Cognitive Radio Networks. - Derrick Stolee:
Automated Discharging Arguments for Density Problems in Grids. - Lei Zhang, Yunlong Cai, Rodrigo C. de Lamare, Minjian Zhao:
Robust Multi-Branch Tomlinson-Harashima Precoding in Cooperative MIMO Relay Systems. - Tarek S. Sobh, Awad H. Khalil:
IP Tracing and Active Network Response. - Di Zhang, Zhenyu Zhou, Takuro Sato:
An Energy Efficiency policy for Communications with C-RAN, ICN and Transition Smooth. - Shahar Z. Kovalsky, Daniel Glasner, Ronen Basri:
A Global Approach for Solving Edge-Matching Puzzles. - Kiran Garimella, Ingmar Weber, Sonia Dal Cin:
From "I love you babe" to "leave me alone" - Romantic Relationship Breakups on Twitter. - Qizhi Fang, Bo Li, Xiaoming Sun, Jia Zhang, Jialin Zhang:
Computing the Least-core and Nucleolus for Threshold Cardinality Matching Games. - Matanya B. Horowitz, Joel W. Burdick:
Optimal Navigation Functions for Nonlinear Stochastic Systems. - Jun Zhao, Osman Yagan, Virgil D. Gligor:
On the strengths of connectivity and robustness in general random intersection graphs. - Amr H. El Mougy, Mohamed Ibnkahla, Ghaith Hattab, Waleed Ejaz:
Reconfigurable Wireless Networks. - Benoît Darties, Nicolas Gastineau, Olivier Togni:
Completely Independent Spanning Trees in Some Regular Graphs. - Ben Cousins, Santosh S. Vempala:
Bypassing KLS: Gaussian Cooling and an O*(n^3) Volume Algorithm. - Jerry R. Van Aken:
A High-Level Model of Neocortical Feedback Based on an Event Window Segmentation Algorithm. - Muhammad Ghifary, W. Bastiaan Kleijn, Mengjie Zhang:
Domain Adaptive Neural Networks for Object Recognition. - Wolfgang Gatterbauer, Dan Suciu:
Oblivious Bounds on the Probability of Boolean Functions. - Songtao Lu, Zhengdao Wang:
Joint Optimization of Power Allocation and Training Duration for Uplink Multiuser MIMO Communications. - Benjamin Graham:
Spatially-sparse convolutional neural networks. - Tyler Ward:
The Information Theoretically Efficient Model (ITEM): A model for computerized analysis of large datasets. - Haris Aziz, Simon Mackenzie, Lirong Xia, Chun Ye:
Structure and complexity of ex post efficient random assignments. - Adway Mitra, Soma Biswas, Chiranjib Bhattacharyya:
Temporally Coherent Chinese Restaurant Process for Discovery of Persons and Corresponding Tracklets from User-generated Videos. - Hengjia Wei, Hui Zhang, Mingzhi Zhu, Gennian Ge:
Optimal Ternary Constant-Composition Codes with Weight Four and Distance Six. - Antonis Sidiropoulos, Dimitrios Katsaros, Yannis Manolopoulos:
Identification of Influential Scientists vs. Mass Producers by the Perfectionism Index. - Marta Soare, Alessandro Lazaric, Rémi Munos:
Best-Arm Identification in Linear Bandits. - (Withdrawn) Context-free characterization of Indexed Languages.
- Ines Klimann, Matthieu Picantin, Dmytro Savchuk:
A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group. - Maximilien Gadouleau, Adrien Richard, Søren Riis:
Fixed points of Boolean networks, guessing graphs, and coding theory. - Aldo U. Zgraggen, Lorenzo Fagiano, Manfred Morari:
Automatic Retraction and Full Cycle Operation for a Class of Airborne Wind Energy Generators. - Cewu Lu, Hao Chen, Qifeng Chen, Hei Law, Yao Xiao, Chi-Keung Tang:
1-HKUST: Object Detection in ILSVRC 2014. - Ghislain Fourny, Stéphane Reiche, Jean-Pierre Dupuy:
Perfect Prediction Equilibrium. - Julián Alarte, David Insa, Josep Silva, Salvador Tamarit:
A Benchmark Suite for Template Detection and Content Extraction. - Emre Sarigöl, David García, Frank Schweitzer:
Online Privacy as a Collective Phenomenon. - Chandan K. Dubey, Thomas Holenstein:
Computing the $p$-adic Canonical Quadratic Form in Polynomial Time. - Ricardo Martins, João Filipe Ferreira, Jorge Dias:
Touch attention Bayesian models for robotic active haptic exploration of heterogeneous surfaces. - Alexandr Klimchik, Dmitry Bondarenko, Anatol Pashkevich, Sébastien Briot, Benoît Furet:
Compliance error compensation in robotic-based milling. - Alexandr Klimchik, Yier Wu, Stéphane Caro, Benoît Furet, Anatol Pashkevich:
Accuracy Improvement of Robot-Based Milling Using an Enhanced Manipulator Model. - Shiry Ginosar, Daniel Haas, Timothy Brown, Jitendra Malik:
Detecting People in Cubist Art. - Elisabetta Bergamini, Henning Meyerhenke, Christian Staudt:
Approximating Betweenness Centrality in Large Evolving Networks. - Takayuki Kuriyama:
Learning Algorithm for Relation-Substitutable Context-Free Languages. - Matteo Camilli:
Constructing Coverability Graphs for Time Basic Petri Nets. - Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Nikos Parotsidis:
2-Vertex Connectivity in Directed Graphs. - George Kesidis, Douglas Mercer, Christopher Griffin, Serge Fdida:
Roaming charges for customers of cellular-wireless entrant and incumbent providers. - Jirí Vomlel, Petr Tichavský:
On tensor rank of conditional probability tables in Bayesian networks. - Mengmeng Liu, Zachary G. Ives, Boon Thau Loo:
Enabling Incremental Query Re-Optimization. - Hiroyasu Inoue:
Dilemma of repeat collaborations in creative projects. - Bartlomiej Placzek:
Communication-aware algorithms for target tracking in wireless sensor networks. - Samuel Coogan, Murat Arcak:
A Compartmental Model for Traffic Networks and its Dynamical Behavior. - Bartlomiej Placzek:
Neighborhood Selection and Rules Identification for Cellular Automata: A Rough Sets Approach. - Konstantinos Georgiou, Edward Lee:
Lift & Project Systems Performing on the Partial-Vertex-Cover Polytope. - Thomas Rothvoß:
A direct proof for Lovett's bound on the communication complexity of low rank matrices. - Bassam AlKindy, Jean-François Couchot, Christophe Guyeux, Arnaud Mouly, Michel Salomon, Jacques M. Bahi:
Finding the Core-Genes of Chloroplasts. - Rolando Gómez Macedo, Felipe Zaldívar:
On the Category of Group Codes. - Ghaith Hattab, Mohamed Ibnkahla:
Enhanced Pilot-Based Spectrum Sensing Algorithm. - Ghaith Hattab, Mohamed Ibnkahla:
Multiband Spectrum Sensing: Challenges and Limitations. - Prosenjit Bose, Rolf Fagerberg, André van Renssen, Sander Verdonschot:
Optimal local routing on Delaunay triangulations defined by empty equilateral triangles. - Yuh Shyang Wang, Nikolai Matni, John C. Doyle:
Localized LQR Optimal Control. - Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. - (Withdrawn) Ensemble Sensing on Smart Werables for a better Telehealth System.
- Dalia Attia Waguih, Laure Berti-Équille:
Truth Discovery Algorithms: An Experimental Evaluation. - Mikael Asplund, Simin Nadjm-Tehrani:
Modelling Correlated Mobility. - Rashid Khogali:
A non-linear learning & classification algorithm that achieves full training accuracy with stellar classification accuracy. - Bo Han, Bo He, Tingting Sun, Mengmeng Ma, Amaury Lendasse:
HSR: L1/2 Regularized Sparse Representation for Fast Face Recognition using Hierarchical Feature Selection. - Yongming Li, Zhanyou Ma:
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures. - Manas Agarwal, Rishi Ranjan Singh, Shubham Chaudhary, Sudarshan Iyengar:
Betweenness Ordering Problem : An Efficient Non-Uniform Sampling Technique for Large Graphs. - Stéphane Le Roux:
On terminating improvement in two-player games. - Moo K. Chung, Anqi Qiu, Seongho Seo, Houri K. Vorperian:
Unified Heat Kernel Regression for Diffusion, Kernel Smoothing and Wavelets on Manifolds and Its Application to Mandible Growth Modeling in CT Images. - Jürgen Cito, Philipp Leitner, Thomas Fritz, Harald C. Gall:
The Making of Cloud Applications An Empirical Study on Software Development for the Cloud. - Pierre-Yves Chevalier, Julien M. Hendrickx, Raphaël M. Jungers:
Efficient Algorithms for the Consensus Decision Problem. - Bilel Moulahi, Lynda Tamine, Sadok Ben Yahia:
Learning to Match for Multi-criteria Document Relevance. - Siddharth Bafna, Avichal Pandey, Kshitiz Verma:
Anatomy of the Internet Peering Disputes. - Eshref Januzaj, Hans-Peter Kriegel, Martin Pfeifle:
Scalable Density-Based Distributed Clustering. - Markus Chimani, Joachim Spoerhase:
Network Design Problems with Bounded Distances via Shallow-Light Steiner Trees. - Taher Shahbazi Mirzahasanloo:
A Single-Processor Approach to Speech Processing Pipeline of Bilateral Cochlear Implants. - Mohd Anuar Mat Isa, Habibah Hashim:
Adversary Model: Adaptive Chosen Ciphertext Attack with Timing Attack. - Bernhard Rumpe:
E-Business Experiences with Online Auctions. - Arne Haber, Jan Oliver Ringert, Bernhard Rumpe:
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. - Christian Berger, Bernhard Rumpe:
Engineering Autonomous Driving Software. - Hans Grönniger, Bernhard Rumpe:
Modeling Language Variability. - Christian Berger, Holger Rendel, Bernhard Rumpe, Carsten Busse, Thorsten Jablonski, Fabian Wolf:
Product Line Metrics for Legacy Software in Practice. - Hans Grönniger, Bernhard Rumpe:
Modeling Language Variability. - Christian Berger, Holger Rendel, Bernhard Rumpe:
Measuring the Ability to Form a Product Line from Existing Products. - Fred W. Rauskolb, Kai Berger, Christian Lipski, Marcus A. Magnor, Karsten Cornelsen, Jan Effertz, Thomas Form, Fabian Graefe, Sebastian Ohl, Walter Schumacher, Jörn-Marten Wille, Peter Hecker, Tobias Nothdurft, Michael Doering, Kai Homeier, Johannes Morgenroth, Lars C. Wolf, Christian Basarke, Christian Berger, Tim Gülke, Felix Klose, Bernhard Rumpe:
Caroline: An Autonomously Driving Vehicle for Urban Environments. - María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Variability within Modeling Language Definitions. - Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling. - Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects. - Florian Fieber, Nikolaus Regnat, Bernhard Rumpe:
Assessing usability of model driven development in industrial projects. - Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe:
System Model-Based Definition of Modeling Language Semantics. - Alexej Beresnev, Bernhard Rumpe, Frank Schoven:
Automated Testing of Graphical Models in Heterogeneous Test Environments. - Jean Bézivin, Richard F. Paige, Uwe Aßmann, Bernhard Rumpe, Douglas C. Schmidt:
Manifesto - Model Engineering for Complex Systems. - Bernhard Rumpe, Guido Wimmel:
A Framework for Realtime Online Auctions. - Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe:
The WebShop E-Commerce Framework. - Bernhard Rumpe:
Executable Modeling with UML. A Vision or a Nightmare? - Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Cameron Wills:
The Amsterdam Manifesto on OCL. - Bernhard Rumpe, Astrid Schröder:
Quantitative Survey on Extreme Programming Projects. - Dan Turk, Robert B. France, Bernhard Rumpe:
Limitations of Agile Software Processes. - Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann:
A New Skill Based Robot Programming Language Using UML/P Statecharts. - David Bettencourt da Cruz, Bernhard Rumpe, Guido Wimmel:
Retrofitting Security into a Web-Based Information System. - Bernhard Rumpe:
Model-Based Testing of Object-Oriented Systems. - Bernhard Rumpe, Peter Scholz:
Scaling the Management of Extreme Programming Projects. - Jewgenij Botaschanjan, Markus Pister, Bernhard Rumpe:
Testing Agile Requirements Models. - Stefan Schmidt, Holger Krahn, Stefan Fischer, Dietmar Wätjen:
A Security Architecture for Mobile Wireless Sensor Networks. - Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer:
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). - Holger Krahn, Bernhard Rumpe:
Techniques Enabling Generator Refactoring. - Dan Turk, Robert B. France, Bernhard Rumpe:
Assumptions Underlying Agile Software Development Processes. - Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt:
Model Transformations in Practice Workshop (MTiP). - Holger Krahn, Bernhard Rumpe:
Towards Enabling Architectural Refactorings through Source Code Annotations. - Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
Towards a System Model for UML. The Structural Data Model. - Bernhard Rumpe:
Agile Test-based Modeling. - Borislav Gajanovic, Hans Grönniger, Bernhard Rumpe:
Model Driven Testing of Time Sensitive Distributed Systems. - Holger Krahn, Bernhard Rumpe, Steven Völkel:
Roles in Software Development using Domain Specific Modeling Languages. - Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
UML 2 Semantics Symposium: Formal Semantics for UML. - Robert B. France, Bernhard Rumpe:
Model-Driven Development of Complex Software: A Research Roadmap. - Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
An Algebraic View on the Semantics of model Composition. - María Victoria Cengarle, Jürgen Dingel, Hans Grönniger, Bernhard Rumpe:
System-Model-Based Simulation of UML Models. - Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Textbased Modeling. - Holger Krahn, Bernhard Rumpe, Steven Völkel:
Integrated Definition of Abstract and Concrete Syntax for Textual Languages. - Holger Krahn, Bernhard Rumpe, Steven Völkel:
Efficient Editor Generation for Compositional DSLs in Eclipse. - Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Bernhard Rumpe:
View-Based Modeling of Function Nets. - Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe:
Modelling Automotive Function Nets with Views for Features, Variants, and Modes. - Hans Grönniger, Holger Krahn, Claas Pinkernell, Bernhard Rumpe:
Modeling Variants of Automotive Systems using Views. - Hans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe:
View-Centric Modeling of Automotive Logical Architectures. - Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel:
MontiCore: A Framework for the Development of Textual Domain Specific Languages. - Holger Krahn, Bernhard Rumpe, Steven Völkel:
MontiCore: Modular Development of Textual Domain Specific Languages. - Dirk Reiß, Bernhard Rumpe, Marvin Schulze-Quester, Mark Stein:
Evolving and Implanting Web-based E-Government Systems in Universities. - María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
System Model Semantics of Class Diagrams. - María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
System Model Semantics of Statecharts. - Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). - Colin Ponce, David Bindel:
FLiER: Practical Topology Error Correction Using Sparse PMUs. - Sudhakar Prasad:
Bayesian Error Based Sequences of Mutual Information Bounds. - Anant P. Bhardwaj, Dave Luciano, Scott R. Klemmer:
Redprint: Integrating API specific "instant example" and "instant documentation" display interface in IDEs. - Aashiha Priyadarshni L.:
Heterogeneous Multi core processors for improving the efficiency of Market basket analysis algorithm in data mining. - Anant P. Bhardwaj, Juho Kim, Steven Dow, David R. Karger, Sam Madden, Rob Miller, Haoqi Zhang:
Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling. - Ahmad Basheer Hassanat:
Visual Words for Automatic Lip-Reading. - Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. - Youssef Khmou, Said Safi:
Angle of Arrival Detection with Fifth Order Phase Operators. - Shi Li:
On Uniform Capacitated $k$-Median Beyond the Natural LP Relaxation. - Ifeoma Nwogu, Goker Erdogan, Ilker Yildirim, Robert A. Jacobs:
A Concept Learning Approach to Multisensory Object Perception. - Haris Aziz:
A Generalization of the AL method for Fair Allocation of Indivisible Objects. - Bernhard Rumpe:
Agile Modeling with the UML. - Carsten Jacobi, Bernhard Rumpe:
Hierarchical XP. - Dmitry Zinoviev, Dan Stefanescu, Hamid Benbrahim, Greta Meszoely:
Mitigation of Delayed Management Costs in Transaction-Oriented Systems. - Rick Zhang, Marco Pavone:
A Queueing Network Approach to the Analysis and Control of Mobility-On-Demand Systems. - Travis Gagie, Aleksi Hartikainen, Juha Kärkkäinen, Gonzalo Navarro, Simon J. Puglisi, Jouni Sirén:
Document Counting in Practice. - Siting Ren, Sheng Gao:
Improving Cross-domain Recommendation through Probabilistic Cluster-level Latent Factor Model-Extended Version. - Jinyuan Chen, Sheng Yang, Ayfer Özgür, Andrea Goldsmith:
Achieving Full DoF in Heterogeneous Parallel Broadcast Channels with Outdated CSIT. - Hossein Rahmani, Arif Mahmood, Du Q. Huynh, Ajmal S. Mian:
Histogram of Oriented Principal Components for Cross-View Action Recognition. - Fadi A. Zaraket, Mohamad Noureddine:
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. - Shang Shang, Paul W. Cuff, Pan Hui, Sanjeev R. Kulkarni:
An Upper Bound on the Convergence Time for Quantized Consensus of Arbitrary Static Graphs. - Shang Shang, Tiance Wang, Paul W. Cuff, Sanjeev R. Kulkarni:
The Application of Differential Privacy for Rank Aggregation: Privacy and Accuracy. - Ruxin Wang, Dacheng Tao:
Recent Progress in Image Deblurring. - Xinquan Chen:
A New Clustering Algorithm Based on Near Neighbor Influence. - Julia Padberg:
Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. - Jan A. Bergstra, Cornelis A. Middelburg:
A Thread Algebra with Probabilistic Features. - Philipp Walk, Peter Jung, Götz E. Pfander:
On the Stability of Sparse Convolutions. - Saad Chakkor, Mostafa Baghouri, Abderrahmane Hajraoui:
Performance Analysis of Faults Detection in Wind Turbine Generator Based on High-Resolution Frequency Estimation Methods. - Saad Chakkor, El Ahmadi Cheikh, Mostafa Baghouri, Abderrahmane Hajraoui:
Comparative Performance Analysis of Wireless Communication Protocols for Intelligent Sensors and Their Applications. - Jasper Goseling, Cedomir Stefanovic, Petar Popovski:
Sign-Compute-Resolve for Random Access. - Zhiqiang Shen, Xiangyang Xue:
Do More Dropouts in Pool5 Feature Maps for Better Object Detection. - Chandan K. Dubey, Thomas Holenstein:
Generating a Quadratic Forms from a Given Genus. - Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe:
UML-F: A Modeling Language for Object-Oriented Frameworks. - Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Cameron Wills:
Defining UML Family Members Using Prefaces. - Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe:
Meta-Modeling Semantics of UML. - Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation. - Haim Kilov, Bernhard Rumpe:
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications). - Franz Huber, Andreas Rausch, Bernhard Rumpe:
Modeling Dynamic Component Interfaces. - Yiannis Giannakopoulos:
A Note on Optimal Auctions for Two Uniformly Distributed Items. - Bernhard Rumpe:
A Note on Semantics (with an Emphasis on UML). - Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
Developing the UML as a Formal Modelling Notation. - Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Towards a Precise Semantics for Object-Oriented Modeling Techniques. - Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe:
BMW-ROOM An Object-Oriented Method for ASCET. - Jan Philipps, Bernhard Rumpe:
Refinement of Information Flow Architectures. - Edouard Bonnet, Bruno Escoffier, Vangelis Th. Paschos, Georgios Stamoulis:
On the approximation of maximum $k$-vertex cover in bipartite graphs. - Sandor Soos:
Knowledge discovery via multidimensional science maps: the case of the Species Problem. - Amit Dhurandhar, Karthik S. Gurumoorthy:
Symmetric Submodular Clustering with Actionable Constraint. - Mathieu Hoyrup, Cristobal Rojas:
On the information carried by programs about the objects they compute. - Yunsheng Li, Chi Jin:
An Extended Small-Gain Theorem. - Zoltán Király:
Shortest Paths in Nearly Conservative Digraphs. - Ashutosh Nayyar, Matias Negrete-Pincetic, Kameshwar Poolla, Pravin Varaiya:
Rate-constrained Energy Services: Allocation Policies and Market Decisions. - Arne Schwabe, Holger Karl:
Adding Geographical Embedding to AS Topology Generation. - Tiance Wang, Pan Hui, Sanjeev R. Kulkarni, Paul W. Cuff:
Cooperative Caching based on File Popularity Ranking in Delay Tolerant Networks. - Bernhard Rumpe, Peter Scholz:
A manager's view on large scale XP projects. - Kathrin Baker, Michael Bloodgood, Chris Callison-Burch, Bonnie J. Dorr, Nathaniel Wesley Filardo, Lori S. Levin, Scott Miller, Christine D. Piatko:
Semantically-Informed Syntactic Machine Translation: A Tree-Grafting Approach. - Mo Dong, Qingxi Li, Doron Zarchy, Brighten Godfrey, Michael Schapira:
PCC: Re-architecting Congestion Control for Consistent High Performance. - Saad Chakkor, El Ahmadi Cheikh, Mostafa Baghouri, Abderrahmane Hajraoui:
Efficiency Evaluation Metrics for Wireless Intelligent Sensors Applications. - Christian Basarke, Christian Berger, Bernhard Rumpe:
Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence. - Yang Liu, Xuanxuan Lu, Tiffany Jing Li:
Joint Transceiver Design for Noisy-Sensing Decision-Fusion Networks through Block Coordinate Descent Optimization. - Jayanta Kumar Das, Ranjeet Kumar Rout, Pabitra Pal Choudhury:
Analysis of Boolean Functions based on Interaction Graphs and their influence in System Biology. - Khoa D. Nguyen, Nick Letzepis, Albert Guillen i Fabregas, Lars K. Rasmussen:
Causal/Predictive Imperfect Channel State Information in Block-Fading Channels. - Zhuotun Zhu, Xinggang Wang, Song Bai, Cong Yao, Xiang Bai:
Deep Learning Representation using Autoencoder for 3D Shape Retrieval. - Liang Wu, Hui Xiong, Liang Du, Bo Liu, Guandong Xu, Yong Ge, Yanjie Fu, Yuanchun Zhou, Jianhui Li:
Heterogeneous Metric Learning with Content-based Regularization for Software Artifact Retrieval. - Jim Jing-Yan Wang:
An Efficient Topology-Based Algorithm for Transient Analysis of Power Grid. - Ruggero Bellio, Sara Ceschia, Luca Di Gaspero, Andrea Schaerf, Tommaso Urli:
Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem. - Tejas Bodas, Ayalvadi Ganesh, D. Manjunath:
Tolls and Welfare Optimization for Multiclass Traffic in Multiqueue Systems. - Tofigh Naghibi, Beat Pfister:
A Boosting Framework on Grounds of Online Learning. - Szymon Grabowski:
A note on the longest common substring with $k$-mismatches problem. - David A. Karpuk, Peter Moss:
Hybrid Channel Pre-Inversion and Interference Alignment Strategies. - Dixie F. Falcunit Jr., Virgilio P. Sison:
Cyclic Codes over the Matrix Ring $M_2(\FFF_p)$ and Their Isometric Images over $\FFF_{p^2}+u\FFF_{p^2}$. - Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and Complete Object Interaction Descriptions. - Cornel Klein, Christian Prehofer, Bernhard Rumpe:
Feature Specification and Refinement with State Transition Diagrams. - Barbara Paech, Bernhard Rumpe:
State Based Service Description. - Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner:
Towards a Formalization of the Unified Modeling Language. - Cornel Klein, Bernhard Rumpe, Manfred Broy:
A stream-based mathematical model for distributed information processing systems - SysLab system model. - Bernhard Rumpe, Veronika Thurner:
Refining Business Processes. - Jakub Lacki, Piotr Sankowski:
Optimal decremental connectivity in planar graphs. - Jan Philipps, Bernhard Rumpe:
Stepwise Refinement of Data Flow Architectures. - Klaus Bergner, Bernhard Rumpe:
Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks. - David A. Karpuk, Camilla Hollanti:
Multi-Dimensional and Non-Uniform Constellation Optimization via the Special Orthogonal Group. - David A. Karpuk, Camilla Hollanti, Amaro Barreal:
Node Repair for Distributed Storage Systems over Fading Channels. - Jisun An, Daniele Quercia, Jon Crowcroft:
Partisan Sharing: Facebook Evidence and Societal Consequences. - Yihui Xie, Heike Hofmann, Xiaoyue Cheng:
Reactive Programming for Interactive Graphics. - Gregory Z. Gutin, Stefan Kratsch, Magnus Wahlström:
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem. - Ramon Ferrer-i-Cancho:
The meaning-frequency law in Zipfian optimization models of communication. - Daniel D. Dasig Jr.:
A Study on the Sectors of Economy serviced by Pre-industry System Developers among companies in Metro Manila: A Tool for Business Reengineering. - Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. - Antonio Campello, Vinay A. Vaishampayan:
Reliability of Erasure Coded Storage Systems: A Geometric Approach. - Ilaria Brunetti, Rachid El Azouzi, Eitan Altman:
Altruism in groups: an evolutionary games approach. - Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh:
Stream quantiles via maximal entropy histograms. - Yufei Gan, Tong Zhuo, Chu He:
Image Classification with A Deep Network Model based on Compressive Sensing. - Matthijs van Leeuwen, Antti Ukkonen:
Estimating the pattern frequency spectrum inside the browser. - Yufei Gan, Teng Yang, Chu He:
A Deep Graph Embedding Network Model for Face Recognition. - Atilim Gunes Baydin, Barak A. Pearlmutter:
An Analysis of Publication Venues for Automatic Differentiation Research. - Benoit Baudry, Martin Monperrus:
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond. - Mo Ghorbanzadeh, Eugene Visotsky, Weidong Yang, Prakash Moorut, T. Charles Clancy:
Radar in-Band Interference Effects on Macrocell LTE Uplink Deployments in the U.S. 3.5 GHz Band. - Zhengjun Cao, Zhenfu Cao:
On Shor's Factoring Algorithm with More Registers and the Problem to Certify Quantum Computers. - Sergio Callegari:
Coding of Stereo Signals by a Single Digital ΔΣ Modulator. - Vinod Kulathumani, Ken Parker, Mukundan Sridharan, Anish Arora:
Census: A protocol for visiting all nodes in MANETs using biased random walks. - Vinod Kulathumani, Mukundan Sridharan, Anish Arora, Bryan Lemon, Ken Parker:
On the repair time scaling wall for MANETs. - Tofigh Naghibi, Sarah Hoffmann, Beat Pfister:
A Semidefinite Programming Based Search Strategy for Feature Selection with Mutual Information Measure. - Rushdi Shams:
Performance of Stanford and Minipar Parser on Biomedical Texts. - David H. Wolpert, Joshua A. Grochow, Eric Libby, Simon DeDeo:
A framework for optimal high-level descriptions in science and engineering - preliminary report. - Xishuo Liu, Stark C. Draper:
LP-decodable multipermutation codes. - Siamak Ravanbakhsh, Russell Greiner:
Algebra of inference in graphical models revisited. - Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn:
A Higher-order Framework for Decision Problems and Games. - Sariel Har-Peled, Benjamin Raichel:
Net and Prune: A Linear Time Algorithm for Euclidean Distance Problems. - Zhen Tong, Martin Haenggi:
Throughput Analysis for Wireless Networks with Full-Duplex Radios. - Jérémie Boulanger, Salem Said, Nicolas Le Bihan, Jonathan H. Manton:
Filtering from Observations on Stiefel Manifolds. - Ozan Irsoy, Ethem Alpaydin:
Autoencoder Trees. - Rafah El-Khatib, Jean Barbier, Ayaka Sakata, Rüdiger L. Urbanke:
Error correcting codes and spatial coupling. - Jiannan Wang, Guoliang Li, Tim Kraska, Michael J. Franklin, Jianhua Feng:
The Expected Optimal Labeling Order Problem for Crowdsourced Joins and Entity Resolution. - Zhongbin Li, Wenzhong Shi, Qunming Wang, Zelang Miao:
Extracting man-made objects from remote sensing images via fast level set evolutions. - Cédric Join, Cyril Voyant, Michel Fliess, Marc Muselli, Marie-Laure Nivet, Christophe Paoli, Frédéric Chaxel:
Short-term solar irradiance and irradiation forecasts via different time series techniques: A preliminary study. - Hernán E. Aguirre, Arnaud Liefooghe, Sébastien Vérel, Kiyoshi Tanaka:
An Analysis on Selection for High-Resolution Approximations in Many-Objective Optimization. - Mohamed Elhoseiny, Ahmed M. Elgammal:
Generalized Twin Gaussian Processes using Sharma-Mittal Divergence. - Yuguo He:
On the strictness of the quantifier structure hierarchy in first-order logic. - Jisun An, Daniele Quercia, Jon Crowcroft:
Recommending Investors for Crowdfunding Projects. - Georgiana Caltais:
Expression-based aliasing for OO-languages. - Georgiana Caltais, Bertrand Meyer:
Coffman deadlocks in SCOOP. - Carl P. Dettmann, Orestis Georgiou, Justin P. Coon:
More is less: Connectivity in fractal regions. - Simon Castellan, Pierre Clairambault, Glynn Winskel:
Concurrent Hyland-Ong games. - Krishna Chaitanya A, Utpal Mukherji, Vinod Sharma:
Algorithms for Stochastic Games on Interference Channels. - Basura Fernando, Tatiana Tommasi, Tinne Tuytelaars:
Lost in the Past: Recognizing Locations Over Large Time Lags. - Amirpasha Shirazinia, Subhrakanti Dey:
Optimized Compressed Sensing Matrix Design for Noisy Communication Channels. - Carlo Galiotto, Ismael Gomez-Miguelez, Nicola Marchetti, Linda Doyle:
Effect of LOS/NLOS Propagation on Area Spectral Efficiency and Energy Efficiency of Small-Cells. - Christian Blum, Verena V. Hafner:
Gradient-based Taxis Algorithms for Network Robotics. - Arun S. Maiya, Robert M. Rolfe:
Topic Similarity Networks: Visual Analytics for Large Document Sets. - Hau Chan, Jing Chen:
Truthful Multi-unit Procurements with Budgets. - Rushdi Shams:
Semi-supervised Classification for Natural Language Processing. - Jan Dreier:
Overlapping Communities in Complex Networks. - Wenhan Luo, Xiaowei Zhao, Tae-Kyun Kim:
Multiple Object Tracking: A Review. - Ekaterina Ovchinnikova, Vladimir Zaytsev, Suzanne Wertheim, Ross Israel:
Generating Conceptual Metaphors from Proposition Stores. - Rajesh Sharma, Matteo Magnani, Danilo Montesi:
Missing data in multiplex networks: a preliminary study. - Bartlomiej Blaszczyszyn, Anastasios Giovanidis:
Optimal Geographic Caching In Cellular Networks. - Roberto Castañeda Lozano, Christian Schulte:
Survey on Combinatorial Register Allocation and Instruction Scheduling. - Daniel Goldfarb:
An Application of Topological Data Analysis to Hockey Analytics. - Marcelo Segura, Somasundaram Niranjayan, Hossein Hashemi, Andreas F. Molisch:
Experimental Demonstration of Nanosecond Accuracy Wireless Network Synchronization. - Matthias Kümmerer, Thomas Wallis, Matthias Bethge:
How close are we to understanding image-based saliency? - Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker:
Verifying Isolation Properties in the Presence of Middleboxes. - Eduardo Alberto Canale, Pablo Romero, Gerardo Rubino:
Irrelevant Components and Exact Computation of the Diameter Constrained Reliability. - Zachary J. Weber, Vijay Gadepally:
Using 3D Printing to Visualize Social Media Big Data. - Djallel Bouneffouf:
Context-Based Information Retrieval in Risky Environment. - Iman Barjasteh, Ying Liu, Hayder Radha:
Trending Videos: Measurement and Analysis. - Han Yan, Yingzi He:
Drag-Tracking Guidance for Entry Vehicles Without Drag Rate Measurement. - Zhe Yao, Vincent Gripon, Michael G. Rabbat:
Combating Corrupt Messages in Sparse Clustered Associative Memories. - Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz:
Similarity-based matching meets Malware Diversity. - Saad Quader:
A (Somewhat Dated) Comparative Study of Betweenness Centrality Algorithms on GPU. - Yury Polyanskiy:
Upper bound on list-decoding radius of binary codes. - Chinmoy Dutta, Gopal Pandurangan, Rajmohan Rajaraman, Zhifeng Sun, Emanuele Viola:
Global Information Sharing under Network Dynamics. - Thomas Guyet, Yves Moinard, René Quiniou:
Using Answer Set Programming for pattern mining. - Yong Zeng, Rui Zhang:
Multi-Antenna Wireless Energy Transfer in Frequency-Selective Channel: Optimized Training Design and Diversity-Beamforming Tradeoff. - Jim Jing-Yan Wang, Yi Wang, Shiguang Zhao, Xin Gao:
Maximum mutual information regularized classification. - Marco Crocco, Marco Cristani, Andrea Trucco, Vittorio Murino:
Audio Surveillance: a Systematic Review. - (Withdrawn) On Ideal Lattices and Gröbner Bases.
- Ankit Chauhan, B. V. Raghavendra Rao:
Parameterized Analogues of Probabilistic Computation. - Yue Wu, Steven C. H. Hoi, Tao Mei:
Massive-scale Online Feature Selection for Sparse Ultra-high Dimensional Data. - Gregory E. Newstadt, Beipeng Mu, Dennis L. Wei, Jonathan P. How, Alfred O. Hero III:
Resource-Constrained Adaptive Search for Sparse Multi-Class Targets with Varying Importance. - Shervin Minaee, AmirAli Abdolrashidi:
On The Power of Joint Wavelet-DCT Features for Multispectral Palmprint Recognition. - Zekeriya Uykan, Riku Jäntti:
Input-Output Clustering Criterion (IOCC) for Optimizing Distributed Antenna Locations. - Kamil Adamczewski, Szymon Matejczyk, Tomasz P. Michalak:
How good is the Shapley value-based approach to the influence maximization problem? - Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker:
Abstracting an operational semantics to finite automata. - Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty:
Exploring the Impact of Wind Penetration on Power System Equilibrium Using a Numerical Continuation Approach. - Junil Choi, David James Love, D. Richard Brown III, Mireille Boutin:
Distributed Reception with Spatial Multiplexing: MIMO Systems for the Internet of Things. - Aziz Mouzali, Fatiha Merazka:
Quantum correction with three codes. - Alessandro Berti:
An Improved Node Ranking for Label Propagation and Modularity based Clustering. - Olesya Mryglod, Ralph Kenna, Yurij Holovatch:
Is your EPL attractive? Classification of publications through download dynamics. - Nallakumar R., Sruthi Priya K. S.:
A Survey on Deadline Constrained Workflow Scheduling Algorithms in Cloud Environment. - Georg Zetzsche:
Computing downward closures for stacked counter automata. - Weijia Han, Huiyan Sang, Min Sheng, Jiandong Li, Shuguang Cui:
Cognitive Learning of Statistical Primary Patterns via Bayesian Network. - Baharan Mirzasoleiman, Ashwinkumar Badanidiyuru, Amin Karbasi, Jan Vondrák, Andreas Krause:
Lazier Than Lazy Greedy. - Joe Lao:
A network-dependent rewarding system: proof-of-mining. - Arjun Jain, Jonathan Tompson, Yann LeCun, Christoph Bregler:
MoDeep: A Deep Learning Framework Using Motion Features for Human Pose Estimation. - Darío Rodríguez-Aseretto, Christian Schaerer, Daniele de Rigo:
Architecture of Environmental Risk Modelling: for a faster and more robust response to natural disasters. - Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
Modeling In vivo Wireless Path Loss. - Junming Shao, Zhichao Han, Qinli Yang:
Community Detection via Local Dynamic Interaction. - Gerardo Berbeglia, Peter Sloan, Adrian Vetta:
Bounds on the Profitability of a Durable Good Monopolist. - Mingming Chen, Jichang Zhao, Xiao Liang, Ke Xu:
Weighted Shortest Path Models: A Revisit to the Simulation of Internet Routing. - Yanchuan Sim, Bryan R. Routledge, Noah A. Smith:
The Utility of Text: The Case of Amicus Briefs and the Supreme Court. - Arjun Das, Utpal Garain:
CRF-based Named Entity Recognition @ICON 2013. - Chacko John Deepu, Xiaoyang Zhang, Wen-Sin Liew, David Liang Tai Wong, Yong Lian:
An ECG-on-Chip with 535-nW/Channel Integrated Lossless Data Compressor for Wireless Sensors. - Chacko John Deepu, Xiaoyuan Xu, Xiaodan Zou, Libin Yao, Yong Lian:
An ECG-on-Chip for Wearable Cardiac Monitoring Devices. - Chacko John Deepu, Zhihao Chen, Ju Teng Teo, Soon Huat Ng, Xiefeng Yang, Yong Lian:
A Smart Cushion for Real-Time Heart Rate Monitoring. - J. Gerard Wolff:
Autonomous robots and the SP theory of intelligence. - Daniel Raumer, Christoph Fuchs, Georg Groh:
Reaching Consensus Among Mobile Agents: A Distributed Protocol for the Detection of Social Situations. - Guido Schwenk, Sebastian Bach:
Detecting Behavioral and Structural Anomalies in MediaCloud Applications. - J. Gerard Wolff:
Medical diagnosis as pattern recognition in a framework of information compression by multiple alignment, unification and search. - Tom Hirschowitz:
Full abstraction for fair testing in CCS (expanded version). - Kangqi Liu, Meixia Tao:
A New DoF Upper Bound and Its Achievability for $K$-User MIMO Y Channels. - Daniel Dadush, Oded Regev, Noah Stephens-Davidowitz:
On the Closest Vector Problem with a Distance Guarantee. - Ward Jaradat, Alan Dearle, Adam Barker:
Workflow Partitioning and Deployment on the Cloud using Orchestra. - Shixin Luo, Jie Xu, Rui Zhang, Teng Joon Lim:
On Capacity Region of MISO Broadcast Channel for SWIPT. - Michal Kleinbort, Oren Salzman, Dan Halperin:
Efficient high-quality motion planning by fast all-pairs r-nearest-neighbors. - Zoran Utkovski, Tome Eftimov, Petar Popovski:
Random Access Protocols with Collision Resolution in a Noncoherent Setting. - Michael A. Bekos, Stephen G. Kobourov, Michael Kaufmann, Sankar Veeramoni:
The Maximum k-Differential Coloring Problem. - Igor Stassiy:
A note on the Minimum Norm Point algorithm. - Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket:
From High-Level Modeling Towards Efficient and Trustworthy Circuits. - Yelena Mejova, Amy X. Zhang, Nicholas Diakopoulos, Carlos Castillo:
Controversy and Sentiment in Online News. - Mark Scanlon, Huijie Shen:
An Analysis of BitTorrent Cross-Swarm Peer Participation and Geolocational Distribution. - Jason Farina, Mark Scanlon, M. Tahar Kechadi:
BitTorrent Sync: First Impressions and Digital Forensic Implications. - Bertrand Thierry, Xavier Antoine, Chokri Chniti, Hasan Alzubaidi:
$μ$-diff: an open-source Matlab toolbox for computing multiple scattering problems by disks. - Robin Allesiardo, Raphaël Féraud, Djallel Bouneffouf:
A Neural Networks Committee for the Contextual Bandit Problem. - Matthew Farrell, Timothy Goodrich, Nathan Lemons, Felix Reidl, Fernando Sánchez Villaamil, Blair D. Sullivan:
Hyperbolicity, degeneracy, and expansion of random intersection graphs. - Matteo De Felice, Marcello Petitta, Paolo M. Ruti:
Short-Term Predictability of Photovoltaic Production over Italy. - Pavel P. Kuksa:
Efficient multivariate sequence classification. - Cagatay Karabat, Mehmet Sabir Kiraz, Hakan Erdogan, Erkay Savas:
THRIVE: Threshold Homomorphic encryption based secure and privacy preserving bIometric VErification system. - Alain Couvreur, Irene Marquez Corbella, Ruud Pellikaan:
Cryptanalysis of public-key cryptosystems that use subcodes of algebraic geometry codes. - Ngoc Khuyen Le, Philippe Martins, Laurent Decreusefond, Anaïs Vergne:
Construction of the generalized Cech complex. - D. Batkovich, Yu. Kirienko, M. Kompaniets, S. Novikov:
GraphState - a tool for graph identification and labelling. - Christoph Haase, Stefan Kiefer:
The Odds of Staying on Budget. - Josue Anaya, Adrian Barbu:
RENOIR - A Benchmark Dataset for Real Noise Reduction Evaluation. - Wojciech Rytter, Arseny M. Shur:
On Searching Zimin Patterns. - Tanmay Agrawal, Ashay Shirwadkar, Pratik Gaikar, Kushagra Verma:
MetaCache: Efficient Metadata Caching in Linux file system. - Tao Han, Nirwan Ansari:
Provisioning Green Energy for Base Stations in Heterogeneous Networks. - Rustem Valeyev:
About accuracy of the solution of NP-complete tasks. - Tao Han, Nirwan Ansari:
Network Utility Aware Traffic Loading Balancing in Backhaul-constrained Cache-enabled Small Cell Networks with Hybrid Power Supplies. - Beyza Ermis, Ali Taylan Cemgil:
A Bayesian Tensor Factorization Model via Variational Inference for Link Prediction. - N. Denizcan Vanli, Muhammed O. Sayin, Suleyman Serdar Kozat:
Stochastic Subgradient Algorithms for Strongly Convex Optimization over Distributed Networks. - Didier Fass:
Reclaiming human machine nature. - Youssef Hassan, Mohamed A. Aly, Amir F. Atiya:
Arabic Spelling Correction using Supervised Learning. - Wojciech Czaja, James H. Tanis:
Kaczmarz Algorithm and Frames. - Stephan Beyer, Markus Chimani:
Strong Steiner Tree Approximations in Practice. - Ittay Eyal, Ken Birman, Robbert van Renesse:
Controlled Transactional Consistency for Web Caching. - Xueqing Huang, Nirwan Ansari:
RF Energy Harvesting Enabled Power Sharing in Relay Networks. - Giulia Prando, Alessandro Chiuso, Gianluigi Pillonetto:
Bayesian and regularization approaches to multivariable linear system identification: the role of rank penalties. - Samuel Martin, Julien M. Hendrickx:
Continuous-Time Consensus under Non-Instantaneous Reciprocity. - De-Nian Yang:
A Multi-View 3D Video Transmission Protocol Defending Packet Loss in WiFi Networks. - Swayambhoo Jain, Seung-Jun Kim, Georgios B. Giannakis:
Backhaul-Constrained Multi-Cell Cooperation Leveraging Sparsity and Spectral Clustering. - Onur Ozdemir, Thakshila Wimalajeewa, Berkan Dulek, Pramod K. Varshney, Wei Su:
Hybrid Maximum Likelihood Based Linear Modulation Classification with Multiple Sensors via Generalized EM Algorithm. - Leon Andretti Abdillah:
Indonesian's presidential social media campaigns. - Feodor F. Dragan, Ekkehard Köhler, Arne Leitert:
Line-distortion, Bandwidth and Path-length of a graph. - Yinghao Guo, Lingjie Duan, Rui Zhang:
Optimal Pricing and Load Sharing for Energy Saving in Communications Cooperation. - Zeynep Akata, Honglak Lee, Bernt Schiele:
Zero-Shot Learning with Structured Embeddings. - Alexander Schulz:
Model Checking for reconfigurable Petri nets. - Noga Alon, Nicolò Cesa-Bianchi, Claudio Gentile, Shie Mannor, Yishay Mansour, Ohad Shamir:
Nonstochastic Multi-Armed Bandits with Graph-Structured Feedback. - Junyeong Seo, Youngchul Sung, Gilwon Lee, Donggun Kim:
Pilot Beam Sequence Design for Channel Estimation in Millimeter-Wave MIMO Systems: A POMDP Framework. - Ahmed Douik, Sameh Sorour, Tareq Y. Al-Naffouri, Hong-Chuan Yang, Mohamed-Slim Alouini:
Delay Reduction in Multi-Hop Device-to-Device Communication using Network Coding. - Friedrich Slivovsky, Stefan Szeider:
Model Counting for Formulas of Bounded Clique-Width. - Catarina Moreira, Andreas Wichert:
Interference Effects in Quantum Belief Networks. - Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
An agent-driven semantical identifier using radial basis neural networks and reinforcement learning. - Mark Scanlon, Jason Farina, Nhien-An Le-Khac, M. Tahar Kechadi:
Leveraging Decentralization to Extend the Digital Evidence Acquisition Window: Case Study on BitTorrent Sync. - Mark Scanlon, Jason Farina, M. Tahar Kechadi:
BitTorrent Sync: Network Investigation Methodology. - Mark Scanlon, M. Tahar Kechadi:
The Case for a Collaborative Universal Peer-to-Peer Botnet Investigation Framework. - Mark Scanlon, M. Tahar Kechadi:
Digital Evidence Bag Selection for P2P Network Investigation. - Jacob W. Crandall:
Non-Myopic Learning in Repeated Stochastic Games. - David Lillis, Fergus Toolan, Rem W. Collier, John Dunnion:
ProbFuse: A Probabilistic Approach to Data Fusion. - Yann Disser, Stefan Kratsch, Manuel Sorge:
The Minimum Feasible Tileset problem. - Jingjin Yu, Javed A. Aslam, Sertac Karaman, Daniela Rus:
Optimal Tourist Problem and Anytime Planning of Trip Itineraries. - Prasanna Kumar Muthukumar, Alan W. Black:
A Deep Learning Approach to Data-driven Parameterizations for Statistical Parametric Speech Synthesis. - Andrea Arteaga, Daniel Ruprecht, Rolf Krause:
A stencil-based implementation of Parareal in the C++ domain specific embedded language STELLA. - Djallel Bouneffouf:
Freshness-Aware Thompson Sampling. - Huseyin Ozkan, Ozgun S. Pelvan, Suleyman Serdar Kozat:
Data Imputation through the Identification of Local Anomalies. - Lu Chen, Ingmar Weber, Adam Okulicz-Kozaryn:
U.S. Religious Landscape on Twitter. - Udo Schilcher, Stavros Toumpis, Martin Haenggi, Alessandro Crismani, Günther Brandner, Christian Bettstetter:
Interference Functionals in Poisson Networks. - M. Anand Kumar, V. Dhanalakshmi, K. P. Soman, V. Sharmiladevi:
Improving the Performance of English-Tamil Statistical Machine Translation System using Source-Side Pre-Processing. - Vincenzo Zambianchi, Michel Kieffer, Gianni Pasolini, Francesca Bassi, Davide Dardari:
Efficient Distributed Non-Asymptotic Confidence Regions Computation over Wireless Sensor Networks. - Roberto Mínguez:
Robust solutions of uncertain mixed-integer linear programs using structural-reliability and decomposition techniques. - Elmar Peise, Paolo Bientinesi:
Cache-aware Performance Modeling and Prediction for Dense Linear Algebra. - Elmar Peise, Diego Fabregat-Traver, Paolo Bientinesi:
On the Performance Prediction of BLAS-based Tensor Contractions. - Lennart Gerdes, Christoph Hellings, Lorenz Weiland, Wolfgang Utschick:
The Optimal Input Distribution for Partial Decode-and-Forward in the MIMO Relay Channel. - Mattia Carpin, Andrea Zanella, Jawad Rasool, Kashif Mahmood, Ole Grøndalen, Olav N. Østerbø:
Scheduling Policies for the LTE Downlink Channel: A Performance Comparison. - Chao He, Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin:
Performance Evaluation for MIMO In Vivo WBAN Systems. - Nikolaos Thomos, Eymen Kurdoglu, Pascal Frossard, Mihaela van der Schaar:
Adaptive Prioritized Random Linear Coding and Scheduling for Layered Data Delivery from Multiple Servers. - Tom Kealy, Oliver Johnson, Robert J. Piechocki:
The capacity of non-identical adaptive group testing. - Joseph Naor, David Wajc:
Near-Optimum Online Ad Allocation for Targeted Advertising. - Eric C. Hall, Rebecca M. Willett:
Tracking Dynamic Point Processes on Networks. - Akira SaiToh:
Quantum digital-to-analog conversion algorithm using decoherence. - Ievgen V. Bondarenko:
The word problem in Hanoi Towers groups. - Christian Mayr, Michael Schultz, Marko Noack, Stephan Henker, Johannes Partzsch, René Schüffny:
OTA based 200 GΩ resistance on 700 μm2 in 180 nm CMOS for neuromorphic applications. - Moo K. Chung, Jamie L. Hanson, Jieping Ye, Richard J. Davidson, Seth D. Pollak:
Persistent Homology in Sparse Regression and Its Application to Brain Morphometry. - Dong Xie, An-Min Wang:
Continuous quantum measurement in spin environments. - Claudio Garola:
Pragmatic Interpretation of Quantum Logic. - Pouya Mollaebrahim Ghari, Reza Shahbazian, Seyed Ali Ghorashi:
Localization in Wireless Sensor Networks Using Quadratic Optimization. - Jakob Sauer Jørgensen, Christian Kruschel, Dirk A. Lorenz:
Testable uniqueness conditions for empirical assessment of undersampling levels in total variation-regularized x-ray CT. - Nicolas Bedaride, Thomas Fernique:
No Weak Local Rules for the 4p-Fold Tilings. - Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau:
Building an Archive with Saada. - Freddie D. Witherden, Brian C. Vermeire, Peter E. Vincent:
Heterogeneous Computing on Mixed Unstructured Grids with PyFR. - Leonardo Ermann, Klaus M. Frahm, Dima Shepelyansky:
Google matrix analysis of directed networks. - Alexander Woodward, Tom Froese, Takashi Ikegami:
Neural coordination can be enhanced by occasional interruption of normal firing patterns: A self-optimizing spiking neural network model. - Jason Teutsch, Marius Zimand:
On approximate decidability of minimal programs. - Michele Starnini, Andrea Baronchelli, Romualdo Pastor-Satorras:
Model reproduces individual, group and collective dynamics of human contact networks. - Li Yao, Sherjil Ozair, Kyunghyun Cho, Yoshua Bengio:
On the Equivalence Between Deep NADE and Generative Stochastic Networks. - Christoph Adami:
Information-theoretic considerations concerning the origin of life. - Emanuel Kieronski, Antti Kuusisto:
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. - Fatima Zahra Tazi, Claude Thibeault, Yvon Savaria, Simon Pichette, Yves Audet:
On Delay Faults Affecting I/O Blocks of an SRAM-Based FPGA Due to Ionizing Radiations. - Hongyang Zhang, Ruben H. Zamar:
A natural framework for sparse hierarchical clustering. - Jian Yang, Liqiu Meng:
Feature Selection in Conditional Random Fields for Map Matching of GPS Trajectories. - Jian Yang, Liqiu Meng:
Feature Engineering for Map Matching of Low-Sampling-Rate GPS Trajectories in Road Network. - Ante Custic, Bettina Klinz, Gerhard J. Woeginger:
Geometric versions of the 3-dimensional assignment problem under general norms. - Takafumi Kanamori, Shuhei Fujiwara, Akiko Takeda:
Breakdown Point of Robust Support Vector Machine. - Vikas Sindhwani, Haim Avron:
High-performance Kernel Machines with Implicit Distributed Optimization and Randomization. - Liane Gabora:
Physical Light as a Metaphor for Inner Light. - S. Hwang, Sangmin Choi, Deokjae Lee, B. Kahng:
Efficient algorithm to compute mutually connected components in interconnected networks. - Stephen M. Plaza:
Focused Proofreading: Efficiently Extracting Connectomes from Segmented EM Images. - Andrew M. Thompson, Boleslaw K. Szymanski, Chjan C. Lim:
Propensity and Stickiness in the Naming Game - Tipping Fractions of Minorities. - Wei Ping, Qiang Liu, Alexander Ihler:
Marginal Structured SVM with Hidden Variables. - Ming-Hua Li, Ping Wang, Zhe Chang, Dong Zhao:
CosmoMC Installation and Running Guidelines. - Hang-Hyun Jo, Eunyoung Moon:
Coevolution of a network and perception. - Gareth W. Peters, Ariane Chapelle, Efstathios Panayi:
Opening discussion on banking sector risk exposures and vulnerabilities from virtual currencies: An operational risk perspective. - Chris Garnatz, Xiaoyi Gu, Alison Kingman, James LaManna, Deanna Needell, Shenyinying Tu:
Practical approximate projection schemes in greedy signal space methods. - Saugata Basu:
Algorithms in Real Algebraic Geometry: A Survey. - Xiaojie Chen, Matjaz Perc:
Optimal distribution of incentives for public cooperation in heterogeneous interaction environments. - Shuang Wang, Wei Chen, Zhen-Qiang Yin, Hong-Wei Li, De-Yong He, Yu-Hu Li, Zheng Zhou, Xiao-Tian Song, Fang-Yi Li, Dong Wang, Hua Chen, Yun-Guang Han, Jing-Zheng Huang, Jun-Fu Guo, Peng-Lei Hao, Mo Li, Chun-Mei Zhang, Dong Liu, Wen-Ye Liang, Chun-Hua Miao, Ping Wu, Guang-Can Guo, Zheng-Fu Han:
Field and long-term demonstration of a wide area quantum key distribution network. - Emiliano Cristiani:
3D Printers: A new challenge for mathematical modeling. - Vincent A. Traag, Ridho Reinanda, Gerry van Klinken:
Structure of an elite co-occurrence network. - Stephen M. Plaza, Toufiq Parag, Gary B. Huang, Donald J. Olbris, Mathew A. Saunders, Patricia K. Rivlin:
Annotating Synapses in Large EM Datasets. - Christian L. Vestergaard, Mathieu Génois, Alain Barrat:
How memory generates heterogeneous dynamics in temporal networks. - Ting Zhao, Stephen M. Plaza:
Automatic Neuron Type Identification by Neurite Localization in the Drosophila Medulla. - Quan Zhou, Wenlin Chen, Shiji Song, Jacob R. Gardner, Kilian Q. Weinberger, Yixin Chen:
A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing. - Aryan Mokhtari, Alejandro Ribeiro:
Global Convergence of Online Limited Memory BFGS. - Farzad Ghafari Jouneghani, Mohamad Babazadeh, Davoud Salami, Hossein Movla:
Quantum Belief Propagation Algorithm versus Suzuki-Trotter approach in the one-dimensional Heisenberg chains. - Pierre Bellec, Yassine Benhajali, Felix Carbonell, Christian Dansereau, Z. Shehzad, Geneviève Albouy, Maxime Pelland, R. Cameron Craddock, Olivier Collignon, Julien Doyon, Emmanuel Stip, Pierre Orban:
Multiscale statistical testing for connectome-wide association studies in fMRI. - Christopher A. Beattie, Serkan Gugercin:
Model Reduction by Rational Interpolation. - Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz:
The universal homogeneous binary tree. - Fang Song:
A Note on Quantum Security for Post-Quantum Cryptography. - Milad Siami, Nader Motee:
Systemic Measures for Performance and Robustness of Large-Scale Interconnected Dynamical Networks. - Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence:
Variational Inference for Uncertainty on the Inputs of Gaussian Process Models. - Aurélien Decelle, Janina Hüttel, Alaa Saade, Cristopher Moore:
Computational Complexity, Phase Transitions, and Message-Passing for Community Detection. - Jed Yang:
Some NP-complete edge packing and partitioning problems in planar graphs. - Daniel J. Katz, Philippe Langevin:
Proof of a Conjectured Three-Valued Family of Weil Sums of Binomials. - Andreas J. Winter:
Coding Theorem and Strong Converse for Quantum Channels. - (Withdrawn) Sparse Additive Model using Symmetric Nonnegative Definite Smoothers.
- Yuichiro Fujiwara:
Ability of stabilizer quantum error correction to protect itself from its own imperfection. - Ian R. Petersen:
A Direct Coupling Coherent Quantum Observer for a Single Qubit Finite Level Quantum System. - Lester W. Mackey, Jordan Bryan:
Weighted Classification Cascades for Optimizing Discovery Significance in the HiggsML Challenge. - Hendra I. Nurdin:
Quantum filtering for multiple input multiple output systems driven by arbitrary zero-mean jointly Gaussian input fields. - Michael F. Lawrence, Martin Morgan:
Scalable Genomics with R and Bioconductor. - Anatoly Manita:
Intrinsic scales for high-dimensional LEVY-driven models with non-Markovian synchronizing updates. - Vincent A. Traag, Ridho Reinanda, Jacky Hicks, Gerry van Klinken:
Dynamics of Media Attention. - Tiago P. Peixoto:
Model selection and hypothesis testing for large-scale network models with overlapping groups. - Gil Kalai, Guy Kindler:
Gaussian Noise Sensitivity and BosonSampling. - Duncan Temple Lang:
Enhancing R with Advanced Compilation Tools and Methods. - Ísak Hilmarsson, Ingibjörg Jónsdóttir, Steinunn Sigurðardóttir, Lína Viðarsdóttir, Henning Úlfarsson:
Wilf-classification of mesh patterns of short length. - Sevag Gharibian, Jamie Sikora:
Ground state connectivity of local Hamiltonians. - Tadilo Endeshaw Bogale, Luc Vandendorpe, Long Bao Le:
Wideband Sensing and Optimization for Cognitive Radio Networks with Noise Variance Uncertainty. - Vasileios Tzoumas, Mohammad Amin Rahimian, George J. Pappas, Ali Jadbabaie:
Minimal Actuator Placement with Bounds on Control Effort. - Shalev Ben-David:
The Structure of Promises in Quantum Speedups. - Runyao Duan, Andreas J. Winter:
Zero-Error Classical Channel Capacity and Simulation Cost Assisted by Quantum Non-Signalling Correlations. - Stéphane Ballet, Julia Pieltant:
Tower of algebraic function fields with maximal Hasse-Witt invariant and tensor rank of multiplication in any extension of $\mathbb{F}_2$ and $\mathbb{F}_3$. - Do-kyum Kim, Geoffrey M. Voelker, Lawrence K. Saul:
Topic Modeling of Hierarchical Corpora. - Christopher Portmann, Renato Renner:
Cryptographic security of quantum key distribution. - John M. Chambers:
Object-Oriented Programming, Functional Programming and R. - Alex Bocharov, Martin Roetteler, Krysta M. Svore:
Efficient synthesis of probabilistic quantum circuits with fallback. - Mathieu Brandeho, Jérémie Roland:
An optimal adiabatic quantum query algorithm. - Milán Mosonyi, Tomohiro Ogawa:
Strong converse exponent for classical-quantum channel coding. - Aziz Mouzali, Fatiha Merazka, Damian Markham:
Quantum Secret Sharing with error correction. - Salman Beigi, Amin Gohari:
Wiring of No-Signaling Boxes Expands the Hypercontractivity Ribbon. - Habib Ammari, Han Wang:
Time-domain multiscale shape identification in electro-sensing. - João Pita Costa, Primoz Skraba, Mikael Vejdemo-Johansson:
Aspects of an internal logic for persistence. - Sang-Yun Oh, Onkar Dalal, Kshitij Khare, Bala Rajaratnam:
Optimization Methods for Sparse Pseudo-Likelihood Graphical Model Selection. - Masud Mansuripur:
Advances in Macromolecular Data Storage. - Paolo Sgrignoli:
The World Trade Web: A Multiple-Network Perspective. - Andrea Montanari:
Computational Implications of Reducing Data to Sufficient Statistics. - Paolo Sgrignoli, Elena Agliari, Raffaella Burioni, Augusto Schianchi:
Instability and network effects in innovative markets. - Mark Rudelson, Alex Samorodnitsky, Ofer Zeitouni:
Random Gaussian matrices and Hafnian estimators. - Kota Matsui, Wataru Kumagai, Takafumi Kanamori:
Parallel Distributed Block Coordinate Descent Methods based on Pairwise Comparison Oracle. - Alain Tapp:
A new approach in machine learning. - Liang Zhao, Jianhua Xuan, Yue Wang:
A feasible roadmap for developing volumetric probability atlas of localized prostate cancer. - Tomas Ekeberg, Stefan Engblom, Jing Liu:
Machine learning for ultrafast X-ray diffraction patterns on large-scale GPU clusters. - (Withdrawn) Unitary and anti-unitary quantum description of the classical not gate.
- Nicolas Broutin, Jean-François Marckert:
A new encoding of coalescent processes. Applications to the additive and multiplicative cases. - Xiao Fu, Wing-Kin Ma, Tsung-Han Chan, José M. Bioucas-Dias:
Self-Dictionary Sparse Regression for Hyperspectral Unmixing: Greedy Pursuit and Pure Pixel Search are Related. - Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi:
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models. - Mario Berta, Matthias Christandl, Dave Touchette:
Smooth Entropy Bounds on One-Shot Quantum State Redistribution. - Neil J. Ross:
Optimal ancilla-free Pauli+V approximation of z-rotations. - C. Seshadhri, Andrew M. Smith, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong:
Characterizing short-term stability for Boolean networks over any distribution of transfer functions. - Igor G. Vladimirov:
A quantum mechanical version of Price's theorem for Gaussian states. - Hamza Fawzi, James Saunderson, Pablo A. Parrilo:
Equivariant semidefinite lifts of regular polygons. - (Withdrawn) Direct Sum Theorem for Bounded Round Quantum Communication Complexity.
- Jaehyung Choi, Andrew P. Mullhaupt:
Application of Kähler manifold to signal processing and Bayesian inference. - Lei Hou, Xue Pan, Qiang Guo, Jian-Guo Liu:
Memory effect of the online user preference. - Giovanni Luca Ciampaglia, Alessandro Flammini, Filippo Menczer:
The production of information in the attention economy. - Dmitri E. Nikonov, Ian A. Young, George Bourianoff:
Convolutional Networks for Image Processing by Coupled Oscillator Arrays. - Andrea Collevecchio, Timothy M. Garoni, Timothy Hyndman, Daniel Tokarev:
The worm algorithm for the Ising model is rapidly mixing. - Olcay Taner Yildiz, Ethem Alpaydin:
Multivariate Comparison of Classification Algorithms. - Manuel Bodirsky, Michael Pinsker, András Pongrácz:
Projective clone homomorphisms. - Mudassir Masood, Laila H. Afify, Tareq Y. Al-Naffouri:
Efficient Coordinated Recovery of Sparse Channels in Massive MIMO. - Vishesh Karwa, Aleksandra B. Slavkovic, Pavel N. Krivitsky:
Differentially Private Exponential Random Graphs. - Tsirizo Rabenoro, Jérôme Lacaille, Marie Cottrell, Fabrice Rossi:
Anomaly Detection Based on Indicators Aggregation. - Juan Bermejo-Vega, Cedric Yen-Yu Lin, Maarten Van den Nest:
The computational power of normalizer circuits over black-box groups. - A. A. Karawia:
On Solving Pentadiagonal Linear Systems via Transformations. - Kim Batselier, Ngai Wong:
Symmetric Tensor Decomposition by an Iterative Eigendecomposition Algorithm. - Hsien-Kuei Hwang, Alois Panholzer, Nicolas Rolin, Tsung-Hsi Tsai, Wei-Mei Chen:
Probabilistic analysis of the (1+1)-evolutionary algorithm. - Ashraful Kadir, Mattias Sandberg, Anders Szepessy:
An adaptive mass algorithm for Car-Parrinello and Ehrenfest ab initio molecular dynamics. - Philip D. Welch:
Discrete Transfinite Computation. - Assalé Adjé, Pierre-Loïc Garoche:
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. - Maria Chudnovsky, Peter Maceli, Mingxian Zhong:
Three-coloring graphs with no induced seven-vertex path I : the triangle-free case. - Chen-Yu Lee, Saining Xie, Patrick W. Gallagher, Zhengyou Zhang, Zhuowen Tu:
Deeply-Supervised Nets. - Ying Liu, Ming Tang, Tao Zhou, Younghae Do:
Core-like groups resulting in invalidation of k-shell decomposition analysis. - David Gamarnik, Mathieu Hemery, Samuel Hetterich:
Local Algorithms for Graphs. - Valerio Gemmetto, Diego Garlaschelli:
Multiplexity versus correlation: the role of local constraints in real multiplexes. - Mladen Kovacevic:
Difference Sets and Codes in $ A_n $ Lattices. - Bin Zhou, Bing-Hong Wang, He Zhe:
Degree-layer theory of network topology. - Julie Fournet, Alain Barrat:
Contact patterns among high school students. - Richard J. Tomsett, Matt Ainsworth, Alexander Thiele, Mehdi Sanayei, Xing Chen, Alwin Gieselmann, Miles A. Whittington, Mark O. Cunningham, Marcus Kaiser:
Virtual Electrode Recording Tool for EXtracellular potentials (VERTEX): Comparing multi-electrode recordings from simulated and biological mammalian cortical tissue. - Simon Portegies Zwart, Jeroen Bédorf:
Computational Gravitational Dynamics with Modern Numerical Accelerators. - Razvan Stefanescu, Adrian Sandu:
Efficient approximation of sparse Jacobians for time-implicit reduced order models. - Bob Coecke, Tobias Fritz, Robert W. Spekkens:
A mathematical theory of resources. - Mathias Winkel, Robert Speck, Daniel Ruprecht:
A high-order Boris integrator. - Giulio Cimini, Andrea Gabrielli, Francesco Sylos Labini:
The Scientific Competitiveness of Nations. - Matteo Rucco, David M. S. Rodrigues, Emanuela Merelli, Jeffrey H. Johnson, Lorenzo Falsetti, Cinzia Nitti, Aldo Salvi:
Neural Hypernetwork Approach for Pulmonary Embolism diagnosis. - Benjamin Brock, Andrew Belt, Jay Jay Billings, Mike Guidry:
Explicit Integration with GPU Acceleration for Large Kinetic Networks. - Dowman P. Varn, James P. Crutchfield:
Chaotic Crystallography: How the physics of information reveals structural order in materials. - Jiashi Feng, Huan Xu, Shie Mannor:
Distributed Robust Learning. - Dan Gusfield:
Gödel for Goldilocks: A Rigorous, Streamlined Proof of Gödel's First Incompleteness Theorem, Requiring Minimal Background. - Ashwin Ganesan:
A direct product decomposition of the automorphism group of Cayley graphs generated by transposition sets. - Alex Ciurana, Vicente Martín, Jesús Martínez-Mateo, Bernhard Schrenk, Momtchil Peev, Andreas Poppe:
Entanglement Distribution in Optical Networks. - Suneeta Ramaswami, Marcelo Siqueira:
A fast algorithm for computing irreducible triangulations of closed surfaces in $E^d$. - Jun Zhao, Osman Yagan, Virgil D. Gligor:
On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs. - Jun Zhao, Osman Yagan, Virgil D. Gligor:
On asymptotically exact probability of $k$-connectivity in random key graphs intersecting Erdős-Rényi graphs. - Cong Li, Qian Li, Piet Van Mieghem, Harry Eugene Stanley, Huijuan Wang:
Correlation between centrality metrics and their application to the opinion model. - Paul Honeine:
Analyzing sparse dictionaries for online learning with kernels. - Paul Honeine:
Approximation errors of online sparsification criteria. - Xiaochuan Zhao, Ali H. Sayed:
Distributed Clustering and Learning Over Networks. - Ayan Mahalanobis, Anupam Singh:
The MOR Cryptosystem and Unitary group in odd characteristic. - Aivar Sootla, Diego A. Oyarzún, David Angeli, Guy-Bart Stan:
Shaping Pulses to Control Multi-Stable Biological Systems. - Giulio Cimini, Tiziano Squartini, Andrea Gabrielli, Diego Garlaschelli:
Estimating topological properties of weighted networks from limited information. - Dima Grigoriev, Vladimir V. Podolskii:
Tropical Effective Primary and Dual Nullstellensätze. - Luis Dinis:
Optimal sequence for Parrondo games. - Zhe He, Yi-Ming Huang, Rui-Jie Xu, Bing-Hong Wang, Zhong-Can Ou-Yang:
Network cluster detecting in associated bi-graph picture. - Eranda Çela, Vladimir G. Deineko, Gerhard J. Woeginger:
Linearizable special cases of the QAP. - Aleksandr Tuxanidy, Qiang Wang:
Compositional inverses, complete mappings, orthogonal Latin squares and bent functions. - Faryad Darabi Sahneh, Caterina M. Scoglio, Piet Van Mieghem:
Exact Coupling Threshold for Structural Transition in Interconnected Networks. - Islam Safak Bayram, George Michailidis, Michael Devetsikiotis:
Unsplittable Load Balancing in a Network of Charging Stations Under QoS Guarantees. - Vassilis Kekatos, Gang Wang, Antonio J. Conejo, Georgios B. Giannakis:
Stochastic Reactive Power Management in Microgrids with Renewables. - Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka:
Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable. - Marcelo Fiori, Guillermo Sapiro:
On spectral properties for graph matching and graph isomorphism problems. - Marco Alberto Javarone:
Poker as a Skill Game: Rational vs Irrational Behaviors. - Jakub Kozik, Dmitry A. Shabanov:
Improved algorithms for colorings of simple hypergraphs and applications. - Yue Chen, Ana Busic, Sean P. Meyn:
Individual risk in mean-field control models for decentralized control, with application to automated demand response. - Faicel Chamroukhi:
Unsupervised learning of regression mixture models with unknown number of components. - Mathieu Génois, Christian L. Vestergaard, Julie Fournet, André Panisson, Isabelle Bonmarin, Alain Barrat:
Data on face-to-face contacts in an office building suggests a low-cost vaccination strategy based on community linkers. - Charles K. Fisher:
Variational Pseudolikelihood for Regularized Ising Inference. - Christoph Hirche, Ciara Morgan, Mark M. Wilde:
Polar codes in network quantum information theory. - W. A. Yahya, Kayode J. Oyewumi, Kali Das Sen:
Quantum Information Entropies for the ℓ-state Pöschl-Teller-type potential. - Ulrich Stern, Chung-Hui Yang:
Ctrax extensions for tracking in difficult lighting conditions. - Changwang Zhang, Shi Zhou, Ingemar J. Cox, Benjamin M. Chain:
Optimizing Hybrid Spreading in Metapopulations. - Juan Pablo Cárdenas, Iván González, Rosa María Benito, Juan Carlos Losada:
Does network complexity help organize Babel's library? - Jaydeep P. Bardhan, Matthew G. Knepley:
Modeling Charge-Sign Asymmetric Solvation Free Energies With Nonlinear Boundary Conditions. - Jing Qin, Weihong Guo:
Two-stage Geometric Information Guided Image Reconstruction. - Jiantao Jiao, Kartik Venkat, Yanjun Han, Tsachy Weissman:
Beyond Maximum Likelihood: from Theory to Practice. - Hendra I. Nurdin, John Edward Gough:
Modular Quantum Memories Using Passive Linear Optics and Coherent Feedback. - Carlos Gershenson:
Requisite Variety, Autopoiesis, and Self-organization. - Yaroslav Ganin, Victor S. Lempitsky:
Unsupervised Domain Adaptation by Backpropagation. - Johannes Kulick, Robert Lieck, Marc Toussaint:
Active Learning of Hyperparameters: An Expected Cross Entropy Criterion for Active Model Selection. - Antonio Parravano, José A. Noguera, Jordi Tena, Paula Hermida:
Field evidence of social influence in the expression of political preferences: the case of secessionist flags in Barcelona. - Avhishek Chatterjee, Anand D. Sarwate, Sriram Vishwanath:
Generalized Opinion Dynamics from Local Optimization Rules. - Sébastien Bubeck, Ronen Eldan, Elchanan Mossel, Miklós Z. Rácz:
From trees to seeds: on the inference of the seed from large trees in the uniform attachment model. - F. Molnár Jr., Noemi Derzsy, Boleslaw K. Szymanski, György Korniss:
Building Damage-Resilient Dominating Sets in Complex Networks against Random and Targeted Attacks. - Indranil Pan, Saptarshi Das:
When Darwin meets Lorenz: Evolving new chaotic attractors through genetic programming. - Sivaram Ambikasaran:
Generalized Rybicki Press algorithm. - Juan Pablo Cárdenas, Gerardo Vidal, Gastón Olivares:
Complexity, Selectivity and Asymmetry in the Conformation of the Power Phenomenon. Analysis of Chilean Society. - Lillian J. Ratliff, Carlos A. Barreto, Roy Dong, Henrik Ohlsson, Alvaro A. Cárdenas, S. Shankar Sastry:
Effects of Risk on Privacy Contracts for Demand-Side Management. - Evan Kuminski, Joe George, John F. Wallin, Lior Shamir:
Combining human and machine learning for morphological analysis of galaxy images. - Wojciech Chachólski, Martina Scolamiero, Francesco Vaccarino:
Combinatorial presentation of multidimensional persistent homology. - Arnab Chatterjee, Asim Ghosh, Bikas K. Chakrabarti:
Universality of citation distributions for academic institutions and journals. - Nicola Mastronardi, Paul Van Dooren:
Revisiting the stability of computing the roots of a quadratic polynomial. - Beyza Ermis, Yusuf Kenan Yilmaz, Ali Taylan Cemgil, Evrim Acar:
Variational Inference For Probabilistic Latent Tensor Factorization with KL Divergence. - Matthias Lorenzen, Frank Allgöwer, Fabrizio Dabbene, Roberto Tempo:
An Improved Constraint-Tightening Approach for Stochastic MPC. - Theodoros Tsiligkaridis, Keith W. Forsythe:
Adaptive Low-Complexity Sequential Inference for Dirichlet Process Mixture Models. - Soumya Jyoti Banerjee, Saptarshi Sinha, Soumen Roy:
Slow poisoning and destruction of networks: edge proximity and its implications for biological and infrastructure networks. - Hao Liao, An Zeng:
Reconstructing propagation networks with temporal similarity metrics. - Hao Liao, An Zeng, Yi-Cheng Zhang:
Predicting missing links via correlation between nodes. - Antoine Deleforge, Florence Forbes, Sileye O. Ba, Radu Horaud:
Hyper-Spectral Image Analysis with Partially-Latent Regression and Spatial Markov Dependencies. - Guy Kelman, David S. Brée, Eran Manes, Marco Lamieri, Natasa Golo, Sorin Solomon:
Dissortative From the Outside, Assortative From the Inside: Social Structure and Behavior in the Industrial Trade Network. - Shahin Shahrampour, Alexander Rakhlin, Ali Jadbabaie:
Distributed Detection : Finite-time Analysis and Impact of Network Topology. - João Pita Costa, Mikael Vejdemo-Johansson, Primoz Skraba:
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology. - Iordanis Kerenidis, Mathieu Laurière, François Le Gall, Mathys Rennela:
Privacy in Quantum Communication Complexity. - Tali Kaufman, David Kazhdan, Alexander Lubotzky:
Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders. - Amir Hajian, Marcelo Alvarez, J. Richard Bond:
Machine Learning Etudes in Astrophysics: Selection Functions for Mock Cluster Catalogs. - Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani:
Impossibility of Classically Simulating One-Clean-Qubit Computation. - Juan Bermejo-Vega, Cedric Yen-Yu Lin, Maarten Van den Nest:
Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems. - Luis F. M. Borelli, Leandro da S. Aguiar, José Antônio Roversi, Antonio Vidiella-Barranco:
Quantum Key Distribution using Continuous-variable non-Gaussian States. - Lisa Bromberg, Vladimir Shpilrain, Alina Vdovina:
Navigating in the Cayley graph of SL2(Fp) and applications to hashing. - Amit Diwadkar, Umesh Vaidya:
Limitations and tradeoffs in synchronization of large-scale networks with uncertain links. - Sebastien Roch, Mike A. Steel:
Likelihood-based tree reconstruction on a concatenation of alignments can be positively misleading. - Sadegh Bolouki, Roland P. Malhamé, Milad Siami, Nader Motee:
Eminence Grise Coalitions: On the Shaping of Public Opinion. - Robert Furber, Bas Westerbaan:
Unordered Tuples in Quantum Computation. 196-207
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 20:02 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:
