


default search action
CoRR, January 2014
- Nils Bertschinger, David H. Wolpert, Eckehard Olbrich
, Jürgen Jost:
Information geometry of influence diagrams and noncooperative games. - Atta ur Rehman Khan, Mazliza Othman, Abdul Nasir Khan:
A Novel Application Licensing Framework for Mobile Cloud Environment. - Alexandr Andoni, Aleksandar Nikolov, Krzysztof Onak, Grigory Yaroslavtsev:
Parallel Algorithms for Geometric Graph Problems. - Adrian Weller, Tony Jebara:
Approximating the Bethe partition function. - (Withdrawn) Bounds on the rate of superimposed codes.
- Bernhard Firner, Shridatt Sugrim, Yulong Yang, Janne Lindqvist:
Elastic Pathing: Your Speed is Enough to Track You. - Davide Martinenghi:
Determining Relevant Relations for Datalog Queries under Access Limitations is Undecidable. - Sanket Kamthe, Jan Peters, Marc Peter Deisenroth:
Multi-modal filtering for non-linear estimation. - Yin Tat Lee:
Probabilistic Spectral Sparsification In Sublinear Time. - Shraddha S. Shinde, Anagha P. Khedkar:
A Novel Approach For Generating Face Template Using Bda. - Mahdi Zamani, Mahnush Movahedi, Mohammad Mehdi Ebadzadeh, Hossein Pedram:
A Danger-Based Approach to Intrusion Detection. - Yukun Bao, Tao Xiong, Zhongyi Hu:
PSO-MISMO Modeling Strategy for Multi-Step-Ahead Time Series Prediction. - (Withdrawn) On Packing Almost Half of a Square with Anchored Rectangles: A Constructive Approach.
- Shaofan Wang, Dehui Kong, Juan Xue, Weijia Zhu, Min Xu, Baocai Yin, Hubert Roth:
Connectivity-preserving Geometry Images. - Nicola Blefari-Melazzi, Andrea Detti, Mayutan Arumaithurai, K. K. Ramakrishnan:
Internames: a name-to-name principle for the future Internet. - Dinesh Govindaraj, Raman Sankaran, Sreedal Menon, Chiranjib Bhattacharyya:
Controlled Sparsity Kernel Learning. - Oshri Naparstek, Amir Leshem:
Expected time complexity of the auction algorithm and the push relabel algorithm for maximal bipartite matching on random graphs. - Cunjing Ge, Feifei Ma, Jian Zhang:
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. - Avinash N. Bhute, B. B. Meshram:
System Analysis And Design For Multimedia Retrieval Systems. - Uttam Bhattacharya, Amit Kumar Rahut, Sujoy De:
Audit Maturity Model. - Janusz A. Brzozowski, Marek Szykula:
Large Aperiodic Semigroups. - Michael Zibulevsky:
Speeding-Up Convergence via Sequential Subspace Optimization: Current State and Future Directions. - Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Solon P. Pissis, Tomasz Walen:
Fast Algorithm for Partial Covers in Words. - Alex Pappachen James, Belur V. Dasarathy:
Medical Image Fusion: A survey of the state of the art. - Vijay V. S. P. Bhattiprolu, Sariel Har-Peled:
Separating a Voronoi Diagram. - Steve N'Guyen, Clément Moulin-Frier, Jacques Droulez:
Decision Making under Uncertainty: A Quasimetric Approach. - Suryajith Chillara, Partha Mukhopadhyay:
On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields. - Adimurthi, G. D. Veerappa Gowda, Jérôme Jaffré:
The DFLU flux for systems of conservation laws. - Benoit Cornu, Lionel Seinturier
, Martin Monperrus:
Reasoning and Improving on Software Resilience against Unanticipated Exceptions. - Peter Knabner, Jean Roberts:
Mathematical analysis of a discrete fracture model coupling Darcy flow in the matrix with Darcy-Forchheimer flow in the fracture. - Nabajyoti Medhi, Manjish Pal:
Devilsoid: A new paradigm for k-coverage in 3D Wireless Sensor Networks. - Chang Liu, Ramesh K. Sitaraman, Don Towsley:
Go-With-The-Winner: Client-Side Server Selection for Content Delivery. - Ahmed El Shafie, Ahmed K. Sultan, Tamer Khattab:
Band Allocation for Cognitive Radios with Buffered Primary and Secondary Users. - Amanda Redlich:
Unbalanced Allocations. - Nathan Lindzey, Ross M. McConnell:
Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs. - S. J. Gath, R. V. Kulkarni:
A Review: Expert System for Diagnosis of Myocardial Infarction. - Maria-Florina Balcan, Yingyu Liang, Pramod Gupta:
Robust Hierarchical Clustering. - Evgeny Latkin:
Twofold fast summation. - Dinesh Govindaraj, Tao Wang, S. V. N. Vishwanathan:
Modeling Attractiveness and Multiple Clicks in Sponsored Search Results. - Pedro Henrique Juliano Nardelli, Murilo S. Baptista, Carlos A. Pomalaza-Raez, Paulo Cardieri, Matti Latva-aho:
Network models for the structures of modern electric power grids. - Darko Dimitrov:
On structural properties of trees with minimal atom-bond connectivity index. - Reza Nourjou, Michinori Hatayama, Stephen F. Smith, Atabak Sadeghi, Pedro A. Szekely:
Design of a GIS-based Assistant Software Agent for the Incident Commander to Coordinate Emergency Response Operations. - Vadim E. Levit, David Tankus:
Complexity results on w-well-covered graphs. - Shahar Mendelson:
Learning without Concentration. - Tian Wang, Hamid Krim, Yannis Viniotis:
Analysis and Control of Beliefs in Social Networks. - Rachel Cummings, Federico Echenique, Adam Wierman:
The Empirical Implications of Privacy-Aware Choice. - Ahmed El Shafie:
Optimal Random Access and Random Spectrum Sensing for an Energy Harvesting Cognitive Radio with and without Primary Feedback Leveraging. - Peng Li, Rodrigo C. de Lamare:
Distributed Iterative Detection Based on Reduced Message Passing for Networked MIMO Cellular Systems. - Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai:
The impossibility of obfuscation with a universal simulator. - Liya Fan, Bo Gao, Xi Sun, Fa Zhang, Zhiyong Liu:
Improving the Load Balance of MapReduce Operations based on the Key Distribution of Pairs. - Andrew Winslow:
Active self-assembly using an insertion primitive and context-free grammars have equal expressive power. - Hao Peng, Yuan Qi:
EigenGP: Gaussian process models with adaptive eigenfunctions. - Vaisagh Viswanathan T., Chong Eu Lee, Michael Harold Lees, Siew Ann Cheong, Peter M. A. Sloot:
Quantitative Comparison Between Crowd Models for Evacuation Planning and Evaluation. - Chao Zhang, Lei Zhang, Wei Fan, Jieping Ye:
Generalization Bounds for Representative Domain Adaptation. - Katarzyna Grygiel, Pierre Lescanne:
Counting Terms in the Binary Lambda Calculus. - Trupti M. Kodinariya:
Hybrid Approach to Face Recognition System using Principle component and Independent component with score based fusion process. - Marek Piotrów:
Faster 3-Periodic Merging Networks. - Gabriel Renault, Simon Schmidt:
On the Complexity of the Misère Version of Three Games Played on Graphs. - Christos Boutsidis, Malik Magdon-Ismail:
Faster SVD-Truncated Least-Squares Regression. - Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki, Donald St. P. Richards, Hyundong Shin:
Distribution of Schur Complement in Noncentral Wishart Matrix with Application to MIMO Zero-Forcing for Rician Fading. - N. S. Narayanaswamy, G. Ramakrishna:
On Minimum Average Stretch Spanning Trees in Polygonal 2-trees. - Omer Melih Gul, Elif Uysal-Biyikoglu:
UROP: A Simple, Near-Optimal Scheduling Policy for Energy Harvesting Sensors. - Pradeesha Ashok, Ninad Rajgopal, Sathish Govindarajan:
Selection Lemmas for various geometric objects. - Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch:
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. - David F. Nettleton, Vicenç Torra, Anton Dries:
The effect of constraints on information loss and risk for clustering and modification based graph anonymization methods. - Rodrigo C. de Lamare, Raimundo Sampaio Neto:
Sparsity-Aware Adaptive Algorithms Based on Alternating Optimization with Shrinkage. - Mabel Iglesias Ham, Michael Kerber, Caroline Uhler:
Sphere Packing with Limited Overlap. - Denzil Correa, Ashish Sureka:
Chaff from the Wheat : Characterization and Modeling of Deleted Questions on Stack Overflow. - Najiba Tagougui, Houcine Boubaker, Monji Kherallah, Adel M. Alimi:
A Hybrid NN/HMM Modeling Technique for Online Arabic Handwriting Recognition. - Ines Benali-Sougui, Minyar Sassi Hidri, Amel Grissa Touzi:
Flexible SQLf query based on fuzzy linguistic summaries. - Zádor Dániel Kelemen:
Process Based Unification for Multi-Model Software Process Improvement. - Chien Huynh, Phuong Huynh:
Student-based Collaborative Network for Delivering Information of Natural Disasters and Climate Adaptation. - Yann N. Dauphin, Gökhan Tür, Dilek Hakkani-Tür, Larry P. Heck:
Zero-Shot Learning and Clustering for Semantic Utterance Classification. - Chris J. Maddison, Daniel Tarlow:
Structured Generative Models of Natural Source Code. - Khalid Jebari, Mohammed Madiafi, Abdelaziz El Moujahid:
Solving Poisson Equation by Genetic Algorithms. - Mounire Benhima, John P. Reilly, Zaineb Naamane, Meriam Kharbat, Mohammed Issam Kabbaj, Oussama Esqalli:
Design and implementation of the Customer Experience Data Mart in the Telecommunication Industry: Application Order-To-Payment end to end process. - Amy Fu, Parastoo Sadeghi, Muriel Médard:
Beyond the Min-Cut Bound: Deterministic Network Coding for Asynchronous Multirate Broadcast. - Muhammad S. Sohail, Muhammad Omer Bin Saeed, Syed Zeeshan Rizvi, Mobien Shoaib, Asrar U. H. Sheikh:
Low-Complexity Particle Swarm Optimization for Time-Critical Applications. - Michael Sherman, Gradeigh Clark, Yulong Yang, Shridatt Sugrim, Arttu Modig, Janne Lindqvist, Antti Oulasvirta, Teemu Roos
:
User-Generated Free-Form Gestures for Authentication: Security and Memorability. - Nazareno Aguirre, Leila Ribeiro:
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. - Son Doan, Mike Conway, Tu Minh Phuong, Lucila Ohno-Machado:
Natural Language Processing in Biomedicine: A Unified System Architecture Overview. - Ling-Hua Chang, Jwo-Yuh Wu:
An Improved RIP-Based Performance Guarantee for Sparse Signal Recovery via Orthogonal Matching Pursuit. - Sanjeev Arora, Aditya Bhaskara, Rong Ge, Tengyu Ma:
More Algorithms for Provable Dictionary Learning. - Garrett A. Warnell, Sourabh Bhattacharya, Rama Chellappa, Tamer Basar:
Adaptive-Rate Compressive Sensing Using Side Information. - Thomas Sandholm, Dongman Lee, Bjorn Tegelund, Seon-Yeong Han, Byoungheon Shin, Byoungoh Kim:
CloudFridge: A Testbed for Smart Fridge Interactions. - Puneet Kumar, Dharminder Kumar, Narendra Kumar:
ICT in Local Self Governance: A Study of Rural India. - Wu Wu, Jiulin Hu, Xiaofang Huang, Huijie Chen, Bo Sun:
Flight trajectory recreation and playback system of aerial mission based on ossimplanet. - Ali Sheharyar, Othmane Bouhali:
A Framework for Creating a Distributed Rendering Environment on the Compute Clusters. - Anna-Lena Trautmann:
Message Encoding for Spread and Orbit Codes. - Moshe Lewenstein, Yakov Nekrich, Jeffrey Scott Vitter:
Space-Efficient String Indexing for Wildcard Pattern Matching. - Stephan Doerfel, Daniel Zoller, Philipp Singer, Thomas Niebler, Andreas Hotho, Markus Strohmaier:
Of course we share! Testing Assumptions about Social Tagging Systems. - Fatma El-Ghannam, Tarek El-Shishtawy:
Multi-Topic Multi-Document Summarizer. - Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition. - David J. Wilson, Russell J. Bradford, James H. Davenport, Matthew England:
Cylindrical Algebraic Sub-Decompositions. - Owen Sims, Robert P. Gilles:
Critical Nodes In Directed Networks. - Bruno Mery, Richard Moot, Christian Retoré:
Plurals: individuals and sets in a richly typed semantics. - Zhe Wang, Qinwei Zhang, Jing Yuan, Xiaogang Wang:
MRF denoising with compressed sensing and adaptive filtering. - Michael A. Bekos, Martin Gronemann, Chrysanthi N. Raftopoulou:
Two-Page Book Embeddings of 4-Planar Graphs. - (Withdrawn) Machine Assisted Authentication of Paper Currency: an Experiment on Indian Banknotes.
- Bartlomiej Placzek, Marcin Bernas:
Uncertainty-based information extraction in wireless sensor networks for control applications. - Konstantin Makarychev, Yury Makarychev:
Nonuniform Graph Partitioning with Unrelated Weights. - Massimo Cafaro, Piergiulio Tempesta, Marco Pulimeno:
Mergeable Summaries With Low Total Error. - Timo Jolivet, Jarkko Kari:
Undecidable properties of self-affine sets and multi-tape automata. - Taraka Rama, Sudheer Kolachina, Lakshmi Bai B:
Quantitative methods for Phylogenetic Inference in Historical Linguistics: An experimental case study of South Central Dravidian. - Ishanu Chattopadhyay, Hod Lipson:
Computing Entropy Rate Of Symbol Sources & A Distribution-free Limit Theorem. - Ahmet Iscen, Anil Armagan, Pinar Duygulu:
What is usual in unusual videos? Trajectory snippet histograms for discovering unusualness. - Ahmet Iscen, Eren Golge, Pinar Duygulu:
ConceptVision: A Flexible Scene Classification Framework. - Megasthenis Asteris, Alexandros G. Dimakis:
Repairable Fountain Codes. - Ishanu Chattopadhyay, Hod Lipson:
Data Smashing. - Junjian Qi, Kai Sun, Shengwei Mei:
An Interaction Model for Simulation and Mitigation of Cascading Failures. - Aaron Snook, Grant Schoenebeck, Paolo Codenotti:
Graph Isomorphism and the Lasserre Hierarchy. - Sparsh Mittal:
A Study of Successive Over-relaxation Method Parallelization Over Modern HPC Languages. - Xi Li, Weiming Hu, Chunhua Shen, Anthony R. Dick, Zhongfei Zhang:
Context-Aware Hypergraph Construction for Robust Spectral Clustering. - Sparsh Mittal:
A Survey of Techniques For Improving Energy Efficiency in Embedded Computing Systems. - Chunhua Shen, Fayao Liu:
From Kernel Machines to Ensemble Learning. - Hua-Wei Shen, Dashun Wang, Chaoming Song, Albert-László Barabási:
Modeling and Predicting Popularity Dynamics via Reinforced Poisson Processes. - Zizhan Zheng, Zhixue Lu, Prasun Sinha, Santosh Kumar:
Ensuring Predictable Contact Opportunity for Scalable Vehicular Internet Access On the Go. - Taraka Rama, Lars Borin:
Properties of phoneme N -grams across the world's language families. - Petr N. Vabishchevich, Petr E. Zakharov:
Domain decomposition methods with overlapping subdomains for time-dependent problems. - Michael Gr. Voskoglou:
A stochastic model for Case-Based Reasoning. - Qiang Huo, Tianxi Liu, Shaohui Sun, Lingyang Song, Bingli Jiao:
Selective Combining for Hybrid Cooperative Networks. - Rajkumar Pradhan, Madhumangal Pal:
Intuitionistic Fuzzy Linear Transformations. - Hossein Rashmanlou, Madhumangal Pal:
Antipodal Interval-Valued Fuzzy Graphs. - Kamel Ibn Aziz Derouiche:
Interaction entre mathématique et informatique Libre/Open Source par le logiciel mathématique. - Jie Xu, Yiannis Andreopoulos, Yuanzhang Xiao, Mihaela van der Schaar:
Non-stationary Resource Allocation Policies for Delay-constrained Video Streaming: Application to Video over Internet-of-Things-enabled Networks. - Videh Seksaria:
Multimodal Optimization by Sparkling Squid Populations. - Mingming Fan, Maryam Khademi:
Predicting a Business Star in Yelp from Its Reviews Text Alone. - I. Laurence Aroquiaraj, K. Thangavel:
Pectoral Muscles Suppression in Digital Mammograms using Hybridization of Soft Computing Methods. - Justin Ziniel, Philip Schniter:
Binary Linear Classification and Feature Selection via Generalized Approximate Message Passing. - Anoop J. Sahoo, Mohammad Amir Khusru Akhtar:
Determining the Possibilities and Certainties in Network Participation for MANETS. - Unnikrishnan Kunnath Ganesan, B. Sundar Rajan:
Space-Time Coded Spatial Modulated Physical Layer Network Coding for Two-Way Relaying. - Ning Chen, Nick Gravin, Pinyan Lu:
Optimal Competitive Auctions. - Stefano Berardi, Ugo de'Liguoro:
Knowledge Spaces and the Completeness of Learning Strategies. - Najashi Gafai Bara'u, Feng Wenjiang, Mohammed Dikko Almustapha:
Spectrum Hole Prediction Based On Historical Data: A Neural Network Approach. - Dorina Thanou, David I. Shuman, Pascal Frossard:
Learning parametric dictionaries for graph signals. - Yue Guo, Xuelian Shen, Zhanfeng Zhu:
Research on the mobile robots intelligent path planning based on ant colony algorithm application in manufacturing logistics. - Nir Weinberger, Neri Merhav:
Large Deviations Analysis of Variable-Rate Slepian-Wolf Coding. - Singh Vijendra, Shivani Pathak:
Feature Selection Using Classifier in High Dimensional Data. - P. Clarke:
A Search Procedure for Cyclic Subsets. - Jochen Burghardt:
Maintaining partial sums in logarithmic time. - Azam Majooni, Mona Masood, Amir Akhavan:
A survey on the importance of visualization and social collaboration in academic digital libraries. - Shinkyu Park, Nuno C. Martins:
A Class of LTI Distributed Observers for LTI Plants: Necessary and Sufficient Conditions for Stabilizability. - Djamal Belazzougui:
Linear time construction of compressed text indices in compact space. - Adeyinka K. Akanbi:
LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet. - Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky
, Jonathan Tapicer, Edgardo Zoppi:
On Verifying Resource Contracts using Code Contracts. 1-15 - Pablo F. Castro, T. S. E. Maibaum:
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. 16-30 - Valentin Cassano
, T. S. E. Maibaum:
Actions and Events in Concurrent Systems Design. 31-45 - Germán Regis, Fernando Villar, Nicolás Ricci:
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties. 46-51 - Valério Medeiros Júnior, David Déharbe:
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. 53-58 - Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
:
The DynAlloy Visualizer. 59-64 - Manuel Giménez
, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias
:
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. 65-70 - Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
:
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. 71-76 - Nitin Saxena:
Progress on Polynomial Identity Testing - II. - Virgil Griffith:
A Principled Infotheoretic φ-like Measure. - Chi Jin, Ziteng Wang, Junliang Huang, Yiqiao Zhong, Liwei Wang:
Differentially Private Data Releasing for Smooth Queries with Synthetic Database Output. - Chunxiao Cai, Yueming Cai, Xiangyun Zhou, Weiwei Yang, Wendong Yang:
When Does Relay Transmission Give a More Secure Connection in Wireless Ad Hoc Networks? - Malisa Vucinic, Bernard Tourancheau, Andrzej Duda:
Performance Comparison of the RPL and LOADng Routing Protocols in a Home Automation Scenario. - Lisa Allali, Olivier Hermant
:
Semantic A-translation and Super-consistency entail Classical Cut Elimination. - Nanditha P. Rao, Shahbaz Sarik, Madhav P. Desai:
On the likelihood of multiple bit upsets in logic circuits. - Guangxu Zhu, Caijun Zhong, Himal A. Suraweera, Zhaoyang Zhang, Chau Yuen:
Outage Probability of Dual-Hop Multiple Antenna AF Systems with Linear Processing in the Presence of Co-Channel Interference. - Pinar Sen, Ali Özgür Yilmaz:
Factor Graph Based LMMSE Filtering for Colored Gaussian Processes. - Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub:
Solver Scheduling via Answer Set Programming. - Noreen Jamil:
Constraint Solvers for User Interface Layout. - A. Ibrahim, Shivakumar Sastry, P. S. Sastry:
Discovering Compressing Serial Episodes from Event Sequences. - Benedikt Ahrens
, Régis Spadotti:
Coinitial semantics for redecoration of triangular matrices. - Pulkit Grover
:
"Information-Friction" and its implications on minimum energy required for communication. - Sicco Verwer, Yingqian Zhang
, Qing Chuan Ye:
Learning optimization models in the presence of unknown relations. - Sander P. A. Alewijnse, Quirijn W. Bouts, Alex P. ten Brink, Kevin Buchin:
Distribution-Sensitive Construction of the Greedy Spanner. - Paulo Shakarian, Hansheng Lei, Roy Lindelauf:
Power Grid Defense Against Malicious Cascading Failure. - Klaus Jaffe, Astrid Florez, Cristina M. Gomes, Daniel Rodríguez, Carla Achury:
On the biological and cultural evolution of shame: Using internet search tools to weight values in many cultures. - Felix Krahmer, Holger Rauhut:
Structured random measurements in signal processing. - Manuj Mukherjee, Navin Kashyap:
On the Communication Complexity of Secret Key Generation in the Multiterminal Source Model. - Nicolas Galichet, Michèle Sebag, Olivier Teytaud:
Exploration vs Exploitation vs Safety: Risk-averse Multi-Armed Bandits. - Yu Chen, Weicheng Xie, Xiufen Zou:
A binary differential evolution algorithm learning from explored solutions. - Matthew Anderson, Anuj Dawar:
On Symmetric Circuits and Fixed-Point Logics. - Adrian Ispas, Christian Schneider, Gerd Ascheid, Reiner S. Thomä:
Analysis of the Local Quasi-Stationarity of Measured Dual-Polarized MIMO Channels. - Andrew Polonsky:
Extensionality of lambda-. - Axel Bacher, Olivier Bodini, Alice Jacquot:
Efficient random sampling of binary and unary-binary trees via holonomic equations. - Andrew Polonsky:
Internalization of extensional equality. - Michal Benes, Radek Stefan:
Hygro-thermo-mechanical analysis of spalling in concrete walls at high temperatures as a moving boundary problem. - Benjamin Roth, Tassilo Barth, Michael Wiegand, Mittul Singh, Dietrich Klakow:
Effective Slot Filling Based on Shallow Distant Supervision Methods. - Emmanuel Baccelli, Felix Juraschek, Oliver Hahm, Thomas C. Schmidt, Heiko Will, Matthias Wählisch:
Proceedings of the 3rd MANIAC Challenge, Berlin, Germany, July 27 - 28, 2013. - Zhenhua Yu, Arthur J. Redfern, G. Tong Zhou:
Using Delta-Sigma Modulators in Visible Light OFDM Systems. - Hessam Zakerzadeh, Charu C. Aggarwal, Ken Barker:
Towards Breaking the Curse of Dimensionality for High-Dimensional Privacy: An Extended Version. - Souvik Bhowmick, Purnendu Banerjee:
Bangla Text Recognition from Video Sequence: A New Focus. - Zichong Chen, Juri Ranieri, Runwei Zhang, Martin Vetterli:
DASS: Distributed Adaptive Sparse Sensing. - Zhiyang Liu, Lin Dai:
A Comparative Study of Downlink MIMO Cellular Networks with Co-located and Distributed Base-Station Antennas. - Ming Liu, Maryline Hélard, Jean-François Hélard, Matthieu Crussière:
A Fast Decodable Full-Rate STBC with High Coding Gain for 4x2 MIMO Systems. - Yeray Cachon Santana:
A Cryptographic Scheme Of Mellin Transform. - Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
The Capacity of Three-Receiver AWGN Broadcast Channels with Receiver Message Side Information. - Mathias Niepert, Guy Van den Broeck:
Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference. - Karim Habak, Khaled A. Harras, Moustafa Youssef:
OSCAR: A Collaborative Bandwidth Aggregation System. - Jens Heidrich, Jürgen Münch:
Implementing Software Project Control Centers: An Architectural View. - Garry Pantelis:
Program Verification of Numerical Computation. - Hossein Shokri Ghadikolaei, Carlo Fischione:
Analysis and Optimization of Distributed Random Sensing Order in Cognitive Radio Networks. - Senjuti Basu Roy, Ioanna Lykourentzou, Saravanan Thirumuruganathan, Sihem Amer-Yahia, Gautam Das:
Optimization in Knowledge-Intensive Crowdsourcing. - Jiping Xiong, Qinghua Tang, Jian Zhao:
1-bit Compressive Data Gathering for Wireless Sensor Networks. - Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß, Axel Leonhardt:
Dynamic Assignment in Microsimulations of Pedestrians. - Sayan Mitra:
Proving Abstractions of Dynamical Systems through Numerical Simulations. - Chandra Sekhar Vorugunti, Mrudula Sarvabhatla:
A Robust Biometric-Based Three-factor Remote User Authentication Scheme. - Michael Kläs, Frank Elberzhager, Jürgen Münch, Klaus Hartjes, Olaf von Graevemeyer:
Transparent Combination of Expert and Measurement Data for Defect Prediction: An Industrial Case Study. - Bogdan Oancea, Stefan Cristian Ciucu:
Time series forecasting using neural networks. - Feng Xi, Shengyao Chen, Zhong Liu:
Quadrature Compressive Sampling for Radar Signals. - Cristian Chilipirea, Andreea-Cristina Petre, Ciprian Dobre:
MANIAC Challenge: The Wolf-pack strategy. - Isaac Supeene, Asanga Udugama, René Steinrücken:
Selfishness as a Virtue in Mobile Ad Hoc Networks. - Thomas Buchmann, Johannes Baumgartl, Dominik Henrich, Bernhard Westfechtel:
Towards A Domain-specific Language For Pick-And-Place Applications. - Ming Liu, Jean-François Hélard, Matthieu Crussière, Maryline Hélard:
Reduced-complexity maximum-likelihood decoding for 3D MIMO code. - Zdenek Dvorák, Robin Thomas:
List-coloring apex-minor-free graphs. - Lei Wang, Jianfeng Zhan, Chunjie Luo, Yuqing Zhu, Qiang Yang, Yongqiang He, Wanling Gao, Zhen Jia, Yingjie Shi, Shujie Zhang, Chen Zheng, Gang Lu, Kent Zhan, Xiaona Li, Bizhu Qiu:
BigDataBench: a Big Data Benchmark Suite from Internet Services. - Gabriel B. T. Kalejaiye, João A. S. R. Rondina, Leonardo V. V. L. Albuquerque, Taís L. Pereira, Luiz F. O. Campos, Raphael A. S. Melo, Daniel S. Mascarenhas, Marcelo M. Carvalho:
Mobile Offloading in Wireless Ad Hoc Networks. - Alan Ferrari, Dario Gallucci:
B-Maniac. - Stefan König:
Computational Aspects of the Hausdorff Distance in Unbounded Dimension. - Denis Kuperberg:
Linear Temporal Logic for Regular Cost Functions. - Diego Fernando C. Carrión L:
A Recursive Algorithmic Approach to the Finding of Permutations for the Combination of Any Two Sets. - Kalpana Kandpal, Anjali Singhal:
Smart Grid Demand Monitoring Model. - Margarita Karkali, François Rousseau, Alexandros Ntoulas, Michalis Vazirgiannis:
Using temporal IDF for efficient novelty detection in text streams. - Young-Ho Eom, Hang-Hyun Jo:
Generalized friendship paradox in complex networks. - Clemens Grabmayer, Jan Rochel:
Maximal Sharing in the Lambda Calculus with letrec. - David Balduzzi:
Cortical prediction markets. - Mikhail Andreev, Akim Kumok:
The sum 2KA(x)-KP(x) over all prefixes x of some binary sequence can be infinite. - Sariel Har-Peled, Nirman Kumar:
Robust Proximity Search for Balls using Sublinear Space. - Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa:
Belief Revision in Structured Probabilistic Argumentation. - Sariel Har-Peled, Benjamin Raichel:
On the Complexity of Randomly Weighted Voronoi Diagrams. - Andrey Garnaev, Yezekael Hayel, Eitan Altman:
Multilevel Pricing Schemes in a Deregulated Wireless Network Market. - Yair Carmon, Shlomo Shamai:
Lower Bounds and Approximations for the Information Rate of the ISI Channel. - Imdad Ali Ismaili, Zeeshan Bhatti, Azhar Ali Shah:
Design & Development of the Graphical User Interface for Sindhi Language. - Zeeshan Bhatti, Asadullah Shah, Farruh Shahidi, Mostafa Karbasi:
Forward and Inverse Kinematics Seamless Matching Using Jacobian. - Karim G. Seddik:
On the Stability of Random Multiple Access with Feedback Exploitation and Queue Priority. - Colleen Swanson, Douglas R. Stinson:
Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs. - Devis Pantano:
Proposta di nuovi strumenti per comprendere come funziona la cognizione (Novel tools to understand how cognition works). - Lorna Stewart, Richard Anthony Valenzano:
On polygon numbers of circle graphs and distance hereditary graphs. - Zheng Wen, Daniel O'Neill, Hamid Reza Maei:
Optimal Demand Response Using Device Based Reinforcement Learning. - Alessandro Checco, Carlo Lancia, Douglas J. Leith:
Using Crowd sourcing for Local Topology Discovery in Wireless Networks. - Moshe Babaioff, Noam Nisan, Renato Paes Leme:
Price Competition in Online Combinatorial Markets. - Tao Xiong, Yukun Bao, Zhongyi Hu:
Beyond One-Step-Ahead Forecasting: Evaluation of Alternative Multi-Step-Ahead Forecasting Models for Crude Oil Prices. - Xuegong Deng:
The security deposit for finitely repeated Prisoner's dilemma. - Quan Quan, Lu Jiang, Kai-Yuan Cai:
Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition. - Quan Quan, Kai-Yuan Cai:
A New Causal Ideal Internal Dynamics Generator. - James Hensman, Magnus Rattray, Neil D. Lawrence
:
Fast variational inference for nonparametric clustering of structured time-series. - Enrico Paolini, Gianluigi Liva, Marco Chiani:
Coded Slotted ALOHA: A Graph-Based Method for Uncoordinated Multiple Access. - Eduardo Vega-Fuentes, Sonia Leon-del Rosario, Juan Manuel Cerezo-Sanchez, Aurelio Vega-Martinez:
Fuzzy Inference System for VOLT/VAR control in distribution substations in isolated power systems. - J. Gerard Wolff:
Smart machines and the SP theory of intelligence. - Oshri Naparstek, Amir Leshem, Eduard A. Jorswieck:
Distributed medium access control for energy efficient transmission in cognitive radios. - Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß:
Pedestrian Route Choice by Iterated Equilibrium Search. - Sergey Andreyev:
Tendencies, Dead-ends, and Promising Ways. From Interface Ideas to New Programs. - Martin Hofmann, Harald Ruess:
Certification for mu-calculus with winning strategies. - Ritesh Kolte, Urs Niesen, Piyush Gupta:
Energy-Efficient Communication over the Unsynchronized Gaussian Diamond Network. - Cedomir Stefanovic, Miyu Momoda, Petar Popovski:
Exploiting Capture Effect in Frameless ALOHA for Massive Wireless Random Access. - Helga Gudmundsdottir, Eyjólfur Ingi Ásgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnús M. Halldórsson, Geir M. Järvelä, Henning Úlfarsson, Ymir Vigfusson:
Measurement Based Interference Models for Wireless Scheduling Algorithms. - Alessandro Sordoni, Jian-Yun Nie:
Looking at Vector Space and Language Models for IR using Density Matrices. - Avinash N. Bhute, B. B. Meshram:
Content Based Image Indexing and Retrieval. - Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber:
Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy. - (Withdrawn) A Solution of Degree Constrained Spanning Tree Using Hybrid GA.
- Abhinav Sinha, Achilleas Anastasopoulos:
Generalized Proportional Allocation Mechanism Design for Unicast Service on the Internet. - Vladimir Braverman, Jonathan Katzman, Charles Seidell, Gregory Vorsanger:
Approximating Large Frequency Moments with O(n1-2/k) Bits. - (Withdrawn) Query Expansion with Biomedical Ontology Graph for Effective MEDLINE Document Retrieval.
- Mathieu Leconte, Marc Lelarge, Laurent Massoulié:
Adaptive Replication in Distributed Content Delivery Networks. - Yang Xiang:
Simple linear algorithms for mining graph cores. - Vignesh Jagadeesh, Robinson Piramuthu, Anurag Bhardwaj, Wei Di, Neel Sundaresan:
Large Scale Visual Recommendations From Street Fashion Images. - Arunabha Sen, Anisha Mazumder, Joydeep Banerjee, Arun Das, Randy Compton:
Identification of K Most Vulnerable Nodes in Multi-layered Network Using a New Model of Interdependency. - Stanislas Lauly, Alex Boulanger, Hugo Larochelle:
Learning Multilingual Word Representations using a Bag-of-Words Autoencoder. - Matthew S. Bauer:
The Computational Complexity of Propositional Cirquent Calculus. - Peter T. Breuer, Jonathan P. Bowen:
Empirical Patterns in Google Scholar Citation Counts. - Paul Beame, Paraschos Koutris, Dan Suciu:
Skew in Parallel Query Processing. - Subhonmesh Bose, Steven H. Low, Thanchanok Teeraratkul, Babak Hassibi:
Equivalent relaxations of optimal power flow. - Elad Liebman, Peter Stone:
DJ-MC: A Reinforcement-Learning Agent for Music Playlist Recommendation. - Yuli Sun, Jinxu Tao:
Image reconstruction from few views by L0-norm optimization. - Shuxing Li, Tao Feng, Gennian Ge:
On the Weight Distribution of Cyclic Codes with Niho Exponents. - Mahdi Shahbaba, Soosan Beheshti:
Efficient unimodality test in clustering by signature testing. - Young-Chul Shim:
Distributed Cloud Computing Environment Enhanced with Capabilities for Wide-Area Migration and Replication of Virtual Machines. - Dogan Corus, Per Kristian Lehre, Frank Neumann, Mojgan Pourhassan:
A Parameterized Complexity Analysis of Bi-level Optimisation with Evolutionary Algorithms. - Peter Liggesmeyer, Jens Heidrich, Jürgen Münch, Robert Kalcklösch, Henning Barthel, Dirk Zeckzer:
Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control. - Md. Ibrahim Chowdhury, Mohammad Iqbal, Naznin Sultana, Faisal Rahman:
Analyzing an Analytical Solution Model for Simultaneous Mobility. - Martin Kowalczyk, Jürgen Münch, Masafumi Katahira, Tatsuya Kaneko, Yuko Miyamoto, Yumi Koishi:
Aligning Software-related Strategies in Multi-Organizational Settings. - Adam Trendowicz, Michael Kläs, Constanza Lampasona, Jürgen Münch, Christian Körner, Matthias Saft:
Model-based Product Quality Evaluation with Multi-Criteria Decision Analysis. - Tao Xiong, Yukun Bao, Zhongyi Hu:
Multiple-output support vector regression with a firefly algorithm for interval-valued stock price index forecasting. - Jose Dario Luis Delgado, Jesus Maximo Ramirez Santiago:
Key Performance Indicators for QOS Assessment in TETRA Networks. - Silu Huang, James Cheng, Huanhuan Wu:
Temporal Graph Traversals: Definitions, Algorithms, and Applications. - Yukun Bao, Zhongyi Hu, Tao Xiong:
A PSO and Pattern Search based Memetic Algorithm for SVMs Parameters Optimization. - Ankur Sinha, Pekka Malo, Kalyanmoy Deb:
Test Problem Construction for Single-Objective Bilevel Optimization. - Rania Morsi, Diomidis S. Michalopoulos, Robert Schober:
Multi-user Scheduling Schemes for Simultaneous Wireless Information and Power Transfer Over Heterogeneous Fading Channels. - Stelios Stefanatos, Angeliki Alexiou:
Exploiting Frequency and Spatial Dimensions in Small Cell Wireless Networks. - Vu Nguyen, Dinh Q. Phung, XuanLong Nguyen, Svetha Venkatesh, Hung Hai Bui:
Bayesian Nonparametric Multilevel Clustering with Group-Level Contexts. - Bernardetta Addis, Giuliana Carello, Antonio Capone, Luca Giovanni Gianoli, Brunilde Sansò:
Robust Energy Management for Green and Survivable IP Networks. - Yassine Maleh, Abdellah Ezzati:
A review of security attacks and Intrusion Detection Schemes in Wireless Sensor Networks. - Raphael Felipe de Carvalho Prates, Guillermo Cámara Chávez, William Robson Schwartz, David Menotti:
Brazilian License Plate Detection Using Histogram of Oriented Gradients and Sliding Windows. - Michele Dolfi, Jan Gukelberger, Andreas Hehn, J. Imriska, K. Pakrouski, Troels F. Rønnow, Matthias Troyer, I. N. Zintchenko, Fernando Seabra Chirigati, Juliana Freire, Dennis E. Shasha:
A model project for reproducible papers: critical temperature for the Ising model on a square lattice. - R. V. Mayer:
A study of Monte-Carlo method in a teachers' training institute. - C. Jeyabharathi, A. Pethalakshmi:
New Approaches with Chord in Efficient P2P Grid Resource Discovery. - Samuele Giraudo, Jean-Gabriel Luque, Ludovic Mignot, Florent Nicart:
Operads, quasiorders and regular languages. - Joseph Y. Halpern, Willemien Kets:
A logic for reasoning about ambiguity. - Shoubin Kong, Qiaozhu Mei, Ling Feng, Zhe Zhao, Fei Ye:
On the Real-time Prediction Problems of Bursting Hashtags in Twitter. - Olusanya Y. Agunbiade, Tranos Zuva, Awosejo O. Johnson, Keneilwe Zuva:
Enhancement performance of road recognition system of autonomous robots in shadow scenario. - Vanaja Ramaswamy, Abinaya Sivarasu, Bharghavi Sridharan, Hamsalekha Venkatesh:
A Bi-Scheduler Algorithm for Frame Aggregation in IEEE 802.11n. - Rachit Puri:
Gesture recognition based mouse events. - Danny Hermelin, Gad M. Landau, Yuri Rabinovich, Oren Weimann:
Binary Jumbled Pattern Matching via All-Pairs Shortest Paths. - Stefan Hougardy, Mirko Wilde:
On the Nearest Neighbor Rule for the Metric Traveling Salesman Problem. - H. L. Prasad, Prashanth L. A., Shalabh Bhatnagar:
Algorithms for Nash Equilibria in General-Sum Stochastic Games. - Massimo Carro:
NoSQL Databases. - Dragan Vidakovic, Dusko Parezanovic, Zoran Vucetic:
Minimizing the Time of Detection of Large (Probably) Prime Numbers. - Rohit Negi, Vinay Uday Prabhu, Miguel R. D. Rodrigues:
Latent Sentiment Detection in Online Social Networks: A Communications-oriented View. - Alexey A. Frolov, Pavel S. Rybin, Victor V. Zyablov:
On the Capacity of the Multiuser Vector Adder Channel. - Ahmed El Shafie, Tamer Khattab:
Maximum Throughput for a Cognitive Radio Multi-Antenna User with Multiple Primary Users. - Alexey A. Frolov, Pavel S. Rybin:
Upper Bounds on the Minimum Distance of Quasi-Cyclic LDPC codes Revisited. - Carlos Pedro Gonçalves:
Emotional Responses in Artificial Agent-Based Systems: Reflexivity and Adaptation in Artificial Life. - Paul Tranquilli, Adrian Sandu:
Lightly Implicit Krylov-Exponential (LIKE) Methods. - Prosenjit Bose, André van Renssen:
Upper Bounds on the Spanning Ratio of Constrained Theta-Graphs. - Alyssa Goodman, Alberto Pepe, Alexander W. Blocker, Christine L. Borgman, Kyle Cranmer
, Mercè Crosas, Rosanne Di Stefano
, Yolanda Gil, Paul Groth, Margaret L. Hedstrom, David W. Hogg, Vinay L. Kashyap
, Ashish Mahabal, Aneta Siemiginowska, Aleksandra B. Slavkovic:
10 Simple Rules for the Care and Feeding of Scientific Data. - (Withdrawn) Ontology - Based Dynamic Business Process Customization.
- Stefanie Roos, Thorsten Strufe:
NextBestOnce: Achieving Polylog Routing despite Non-greedy Embeddings. - Mina Karzand, Lizhong Zheng:
Achievability of Nonlinear Degrees of Freedom in Correlatively Changing Fading Channels. - Graham Cormode, Hossein Jowhari:
A Second Look at Counting Triangles in Graph Streams. - Cai Gao, Chao Yan, Daijun Wei, Yong Hu, Sankaran Mahadevan, Yong Deng:
A biologically inspired model for transshipment problem. - Laurent Moalic, Alexandre Gondran
:
Variations on Memetic Algorithms for Graph Coloring Problems. - Yuanzhang Xiao, Mihaela van der Schaar:
Foresighted Demand Side Management. - Ching-Lueh Chang:
A lower bound for metric 1-median selection. - Ashkan Paya, Dan C. Marinescu:
Energy-aware Load Balancing Policies for the Cloud Ecosystem. - Sergio Grammatico, Xiaojing Zhang, Kostas Margellos, Paul Goulart, John Lygeros:
A scenario approach for non-convex control design. - Te-Yuan Huang, Ramesh Johari, Nick McKeown, Matthew Trunnell, Mark Watson:
Using the Buffer to Avoid Rebuffers: Evidence from a Large Video Streaming Service. - Georges Kaddoum, Pascal Giard:
Analog Network Coding for Multi-User Spread-Spectrum Communication Systems. - Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic:
A Comparative Study of Reservoir Computing for Temporal Signal Processing. - Yu-Chih Huang, Krishna R. Narayanan, Nihat Engin Tunali:
Multistage Compute-and-Forward with Multilevel Lattice Codes Based on Product Constructions. - R. Jensi, G. Wiselin Jiji:
A Survey on optimization approaches to text document clustering. - P. P. Bhattacharya, Ananya Sarkar, Indranil Sarkar, Subhajit Chatterjee:
An ANN Based Call Handoff Management Scheme for Mobile Cellular Network. - Sitthichai Laisema, Panita Wannapiroon:
Collaborative learning model with virtual team in ubiquitous learning environment using creative problem solving process. - Noppadon Phumeechanya, Panita Wannapiroon:
Ubiquitous Scaffold Learning Environment Using Problem-based Learning to Enhance Problem-solving Skills and Context Awareness. - Yorick Hardy, Willi-Hans Steeb:
Boolean Functions, Quantum Gates and Computer Algebra. - Md. Palash Uddin, Ashfaque Ahmed, Md. Delowar Hossain, Masud Ibn Afjal, Shah Md. Tanvir Siddiquee:
High speed data retrieval from national data center (ndc) reducing time and ignoring spelling error in search key based on double metaphone algorithm. - Benjamin Roth:
Assessing Wikipedia-Based Cross-Language Retrieval Models. - Hemant Kumar Aggarwal, Angshul Majumdar:
Extension of Sparse Randomized Kaczmarz Algorithm for Multiple Measurement Vectors. - Kamran Najeebullah, Kifayat-Ullah Khan, Waqas Nawaz, Young-Koo Lee:
BPP: Large Graph Storage for Efficient Disk Based Processing. - Loet Leydesdorff, Han Woo Park:
Can Synergy in Triple-Helix Relations be Quantified? A Review of the Development of the Triple-Helix Indicator. - Abdoulaye Tall, Zwi Altman, Eitan Altman:
Self Organizing strategies for enhanced ICIC (eICIC). - Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Iterative Dynamic Water-filling for Fading Multiple-Access Channels with Energy Harvesting. - Chiranjeev Kumar:
Approximation Algorithm Project. - Marco Dalai:
An Elias Bound on the Bhattacharyya Distance of Codes for Channels with a Zero-Error Capacity. - Ghassan Samara
, Tareq Alhmiedat, Amer O. Abu Salem
:
Dynamic Safety Message Power Control in VANET Using PSO. - Zhe Wang, Vaneet Aggarwal, Xiaodong Wang:
Power Allocation for Energy Harvesting Transmitter with Causal Information. - L. Thorne McCarty:
Clustering, Coding, and the Concept of Similarity. - Lucas Assirati, Alexandre Souto Martinez, Odemir Martinez Bruno:
Satellite image classification and segmentation using non-additive entropy. - Frederik Armknecht, Tommaso Gagliardoni, Stefan Katzenbeisser, Andreas Peter:
General Impossibility of Group Homomorphic Encryption in the Quantum World. - N. Prakash, V. Lalitha, P. Vijay Kumar:
Codes with Locality for Two Erasures. - Ryan O'Donnell, John Wright, Chenggang Wu, Yuan Zhou:
Hardness of robust graph isomorphism, Lasserre gaps, and asymmetry of random graphs. - Werner Mach, Benedikt Pittl, Erich Schikuta
:
A Prediction Model for the Probability of SLA Matching in Consumer Provider Contracting of Web Services. - Ryan Williams:
New algorithms and lower bounds for circuits with linear threshold gates. - Michael B. Cohen
, Gary L. Miller, Jakub W. Pachocki, Richard Peng, Shen Chen Xu:
Stretching Stretch. - Erich Schikuta
, Erwin Mann:
N2Sky - Neural Networks as Services in the Clouds. - Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan:
Transformation-based Feature Computation for Algorithm Portfolios. - Marko Horvat, Nikola Bogunovic, Kresimir Cosic:
STIMONT: A core ontology for multimedia stimuli description. - Andino Maseleno, Md. Mahmud Hasan:
Dempster-Shafer Theory for Move Prediction in Start Kicking of The Bicycle Kick of Sepak Takraw Game. - Hatm Alkadeki, Xingang Wang, Michael O. Odetayo:
Estimation of Medium Access Control Layer Packet Delay Distribution for IEEE 802.11. - Sinan Yildirim, A. Taylan Cemgil, Sumeetpal S. Singh:
An Online Expectation-Maximisation Algorithm for Nonnegative Matrix Factorisation Models. - Anthony Mendes, Kent E. Morrison:
Guessing games. - Masato Tajima, Koji Okino, Tatsuto Murayama:
Reduction of Error-Trellises for Tail-Biting Convolutional Codes Using Shifted Error-Subsequences. - Tao Xiong, Yukun Bao, Zhongyi Hu:
Does Restraining End Effect Matter in EMD-Based Modeling Framework for Time Series Prediction? Some Experimental Evidences. - Yukun Bao, Tao Xiong, Zhongyi Hu:
Multi-Step-Ahead Time Series Prediction using Multiple-Output Support Vector Regression. - Randall Dougherty, Eric Freiling, Kenneth Zeger:
Characteristic-Dependent Linear Rank Inequalities with Applications to Network Coding. - Abhijit Bhattacharya, Akhila Rao, Kolar Purushothama Naveen, P. P. Nishanth, S. V. R. Anand, Anurag Kumar:
QoS Constrained Optimal Sink and Relay Placement in Planned Wireless Sensor Networks. - Stefano Berardi:
An intuitionistic version of Ramsey Theorem (italian version). - Trisiladevi C. Nagavi, Nagappa U. Bhajantri:
Progressive Filtering Using Multiresolution Histograms for Query by Humming System. - Andrea Ballatore, Michela Bertolotto, David C. Wilson:
The semantic similarity ensemble. - Pooja Vyavahare, Nutan Limaye, D. Manjunath:
Efficient Embedding of Functions in Weighted Communication Networks. - Elif Vural, Pascal Frossard:
Analysis of Image Registration with Tangent Distance. - Tongjiang Yan, Zhixiong Chen, Bao Li:
A General Construction of Binary Sequences with Optimal Autocorrelation. - Jiong Guo, Yash Raj Shrestha:
Parameterized Complexity of Edge Interdiction Problems. - Hsueh-I Lu:
Linear-Time Compression of Bounded-Genus Graphs into Information-Theoretically Optimal Number of Bits. - Deepali Virmani, Ankita Soni, Nikhil Batra:
Reliability Analysis to overcome Black Hole Attack in Wireless Sensor Network. - Deepali Virmani, Manas Hemrajani, Shringarica Chandel:
Exponential Trust Based Mechanism to Detect Black Hole attack in Wireless Sensor Network. - Jamil Hamodi, Ravindra C. Thool, Khaled Salah, Anwar Alsagaf, Yousef Holba:
Performance Study of Mobile TV over Mobile WiMAX Considering Different Modulation and Coding Techniques. - Vikram Kumar Santhalia, Sanjay Singh:
Design and Development of a User Specific Dynamic E-Magazine. - Mikhail V. Berlinkov:
Testing for Synchronization. - Sundeep Rangan, Theodore S. Rappaport, Elza Erkip:
Millimeter Wave Cellular Wireless Networks: Potentials and Challenges. - Danko Ilik:
Axioms and Decidability for Type Isomorphism in the Presence of Sums. - Pål Anders Floor, Anna N. Kim, Tor A. Ramstad, Ilangko Balasingham, Niklas Wernersson, Mikael Skoglund:
Zero-Delay Joint Source-Channel Coding for a Multivariate Gaussian on a Gaussian MAC. - Saeid Haghighatshoar:
Multi Terminal Probabilistic Compressed Sensing. - Mahmood A. Rashid, Md. Tamjidul Hoque, Abdul Sattar:
Association Rules Mining Based Clinical Observations. - Alexander Rabinovich:
A Proof of Kamp's theorem. - Chunhua Geng, Hua Sun, Syed Ali Jafar:
On the Optimality of Treating Interference as Noise: General Message Sets. - Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya:
Differentially Private Distributed Optimization. - Anyu Wang, Zhifang Zhang:
Repair Locality From a Combinatorial Perspective. - Andrea Ballatore, David C. Wilson, Michela Bertolotto:
A Survey of Volunteered Open Geo-Knowledge Bases in the Semantic Web. - Moshe Schwartz, Tom Meyerovitch, Ohad Elishco:
Semi-constrained Systems. - Robert V. Mayer:
Computer model of teaching with the varied coefficient of forgetting. - Deepali Virmani, Vikrant Malhotra, Ridhi Tyagi:
Sentiment Analysis Using Collaborated Opinion Mining. - Noah E. Friedkin:
Scale-free interpersonal influences on opinions in complex systems. - Imdad Ali Ismaili, Zeeshan Bhatti, Azhar Ali Shah:
Towards a Generic Framework for the Development of Unicode Based Digital Sindhi Dictionaries. - David White:
An Overview of Schema Theory. - Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
The Missing Ones: Key Ingredients Towards Effective Ambient Assisted Living Systems. - Cem Rifki Aydin, Ali Erkan, Tunga Güngör, Hidayet Takçi:
Dictionary-Based Concept Mining: An Application for Turkish. - Arya Mazumdar:
On a Duality Between Recoverable Distributed Storage and Index Coding. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Improving Quality of Clustering using Cellular Automata for Information retrieval. - Jérôme Gilles, Kathryn Heal:
A parameterless scale-space approach to find meaningful modes in histograms - Application to image and spectrum segmentation. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
PSMACA: An Automated Protein Structure Prediction Using MACA (Multiple Attractor Cellular Automata). - Shuai Ma, Kaiyu Feng, Haixun Wang, Jianxin Li, Jinpeng Huai:
Distance Landmarks Revisited for Road Graphs. - Hua Sun, Syed Ali Jafar:
On the Optimality of Treating Interference as Noise for K user Parallel Gaussian Interference Networks. - Yang Ding:
On List-decodability of Random Rank Metric Codes. - Michal Feldman, Brendan Lucier:
Clearing Markets via Bundles. - Paritosh K. Pandya, Simoni S. Shah:
Deterministic Logics for UL. - Yang Ding, Lingfei Jin, Chaoping Xing:
Erasure List-Decodable Codes from Random and Algebraic Geometry Codes. - Vedran Novakovic:
A hierarchically blocked Jacobi SVD algorithm for single and multiple graphics processing units. - Fabio Bella, Jürgen Münch, Alexis Ocampo:
Capturing Evidence From Wireless Internet Services Development. - Rourab Paul, Amlan Chakrabarti, Ranjan Ghosh:
Hardware Implementation of four byte per clock RC4 algorithm. - Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez, H. Dieter Rombach:
Estimating the Effort Overhead in Global Software Development. - Ansgar Lamersdorf, Jürgen Münch, Alicia Fernández del Viso Torre, Carlos Rebate Sánchez, Markus Heinz, H. Dieter Rombach:
A Rule-based Model for Customized Risk Identification in Distributed Software Development Projects. - Rourab Paul, Amlan Chakrabarti, Ranjan Ghosh:
Fault Detection for RC4 Algorithm and its Implementation on FPGA Platform. - Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning (Long Version). - Michael Kläs, Haruka Nakao, Frank Elberzhager, Jürgen Münch:
Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study. - M. C. Hanumantharaju, M. T. Gopala Krishna:
Design of novel architectures and field programmable gate arrays implementation of two dimensional gaussian surround function. - Majid Gerami, Ming Xiao:
Exact Optimized-cost Repair in Multi-hop Distributed Storage Networks. - Loet Leydesdorff, Floortje Alkemade, Gaston Heimeriks, Rinke Hoekstra:
Geographic and Technological Perspectives on "Photovoltaic Cells: " Patents as Instruments for Exploring Innovation Dynamics. - Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
Participant: A New Concept for Optimally Assisting the Elder People. - Yunjin Chen, René Ranftl, Thomas Pock:
Insights into analysis operator learning: From patch-based sparse models to higher-order MRFs. - Alan Brunton, Timo Bolkart, Stefanie Wuhrer:
Multilinear Wavelets: A Statistical Shape Space for Human Faces. - Edward Meeds, Max Welling:
GPS-ABC: Gaussian Process Surrogate Approximate Bayesian Computation. - Yakiv O. Kalinovsky, Dmitry V. Lande, Yuliya E. Boyarinova, Iana V. Khitsko
:
Inifnite hypercomplex number system factorization methods. - Md. Naseef-Ur-Rahman Chowdhury
, Suvankar Paul, Kazi Zakia Sultana:
Statistical Analysis based Hypothesis Testing Method in Biological Knowledge Discovery. - Chayan Sarkar, Vijay S. Rao, R. Venkatesha Prasad:
Sleep-Route: Routing through Sleeping Sensors. - David Baelde, Stéphanie Delaune, Lucca Hirschi:
A reduced semantics for deciding trace equivalence using constraint systems. - Akitoshi Kawamura, Arno Pauly:
On function spaces and polynomial-time computability. - Lutz Bornmann, Moritz Stefaner, Félix de Moya-Anegón, Rüdiger Mutz:
What is the effect of country-specific characteristics on the research performance of scientific institutions? Using multi-level statistical models to rank and map universities and research-focused institutions worldwide. - Lefei Zhang:
Tensor Representation and Manifold Learning Methods for Remote Sensing Images. - Tomasz Kociumaka, Marek Cygan:
Constant Factor Approximation for Capacitated k-Center with Outliers. - A. Malamou, C. Pandis, Panagiotis Frangos, Petros S. Stefaneas, A. Karakasiliotis, D. Kodokostas:
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images. - Sukanta Sinha, Rana Dattagupta, Debajyoti Mukhopadhyay:
An Alternate Approach for Designing a Domain Specific Image Search Prototype Using Histogram. - Raju Dara, Ch. Satyanarayana, A. Govardhan:
Front End Data Cleaning And Transformation In Standard Printed Form Using Neural Models. - Anup Bhattacharya, Ragesh Jaiswal, Nir Ailon:
A tight lower bound instance for k-means++ in constant dimension. - Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins:
The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments. - Alexander L. Fradkov, Dmitry S. Shalymov:
Information Entropy Dynamics and Maximum Entropy Production Principle. - Ralf Steinberger:
A survey of methods to ease the development of highly multilingual text mining applications. - Marco Turchi, Martin Atkinson, Alastair Wilcox, Brett Crawley, Stefano Bucci, Ralf Steinberger, Erik Van der Goot:
ONTS: "Optima" News Translation System. - Larry Bull:
Exploiting generalisation symmetries in accuracy-based learning classifier systems: An initial study. - Dawei Ying, Frederick W. Vook, Timothy A. Thomas, David J. Love, Amitava Ghosh:
Kronecker Product Correlation Model and Limited Feedback Codebook Design in a 3D Channel Model. - Brendan P. W. Ames, Andrew Beveridge, Rosalie Carlson, Claire Djang, Volkan Isler, Stephen Ragain, Maxray Savage:
A Leapfrog Strategy for Pursuit-Evasion in a Polygonal Environment. - Vincenzo De Florio, Geert Deconinck, Mario Truyens, Wim Rosseel, Rudy Lauwereins:
A Hypermedia Distributed Application for Monitoring and Fault-Injection in Embedded Fault-tolerant Parallel Programs. - Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins:
Software Tool Combining Fault Masking with User-Defined Recovery Strategies. - James Elliott, Mark Hoemmen, Frank Mueller:
Resilience in Numerical Methods: A Position on Fault Models and Methodologies. - Richard A. Formato:
Pi Fractions for Generating Uniformly Distributed Sampling Points in Global Search and Optimization Algorithms. - Maxime Chevalier-Boisvert, Marc Feeley:
Removing Dynamic Type Tests with Context-Driven Basic Block Versioning. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Investigating Cellular Automata Based Network Intrusion Detection System For Fixed Networks (NIDWCA). - Xiaoming Chen, Lei Lei, Huazi Zhang, Chau Yuen:
On the Secrecy Outage Capacity of Physical Layer Security in Large-Scale MIMO Relaying Systems with Imperfect CSI. - Yujian Pan, Xiang Li:
Power of individuals - Controlling centrality of temporal networks. - Jack H. Lutz, Neil Lutz:
Lines Missing Every Random Point. - Shashank Mouli Satapathy, Santanu Kumar Rath:
Use Case Point Approach Based Software Effort Estimation using Various Support Vector Regression Kernel Methods. - (Withdrawn) A Framework of Performance Analysis for Distributed Antenna Systems Based on Random Matrix Theory.
- Qifu Sun, Xunrui Yin, Zongpeng Li, Keping Long:
Multicast Network Coding and Field Sizes. - Stefano Tomasin, Nicola Laurenti:
Secret Message Transmission by HARQ with Multiple Encoding. - Bin Guo, Zhiwen Yu, Daqing Zhang, Xingshe Zhou:
From Participatory Sensing to Mobile Crowd Sensing. - Farzad Farnoud, Moshe Schwartz, Jehoshua Bruck:
Rate-Distortion for Ranking with Incomplete Information. - Per Zetterberg:
Interference Alignment (IA) and Coordinated Multi-Point (CoMP) overheads and RF impairments: testbed results. - Ming Liu, Matthieu Crussière, Maryline Hélard, Jean-François Hélard:
Achieving Low-Complexity Maximum-Likelihood Detection for the 3D MIMO Code. - Matteo Zignani, Christian Quadri, Sabrina Gaito, Gian Paolo Rossi:
Exploiting all phone media? A multidimensional network analysis of phone users' sociality. - Marco Mondelli, Seyed Hamed Hassani, Rüdiger L. Urbanke:
From Polar to Reed-Muller Codes: a Technique to Improve the Finite-Length Performance. - Lauri Anttila, Dani Korpi, Ville Syrjälä, Mikko Valkama:
Cancellation of Power Amplifier Induced Nonlinear Self-Interference in Full-Duplex Transceivers. - Nils Bertschinger, Johannes Rauh:
The Blackwell relation defines no lattice. - Songcen Xu, Rodrigo Caiado de Lamare, Harold Vincent Poor:
Dynamic Topology Adaptation and Distributed Estimation for Smart Grids. - Ahmed El Shafie, Ahmed K. Sultan, Tamer Khattab:
Relay-Assisted Primary and Secondary Transmissions. - Kun He, Pengli Ji, Chumin Li:
An iterative merging placement algorithm for the fixed-outline floorplanning. - Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein:
Synthesis of Sequential Extended Regular Expressions for Verification. - Ahmed El Shafie, Ahmed K. Sultan:
Comments on "Optimal Utilization of a Cognitive Shared Channel with a Rechargeable Primary Source Node". - Jingge Zhu, Michael Gastpar:
Asymmetric Compute-and-Forward with CSIT. - Chong-Jing Sun, Philip S. Yu, Xiangnan Kong, Yan Fu:
Privacy Preserving Social Network Publication Against Mutual Friend Attacks. - Giuseppe Durisi, Alberto Tarable, Christian Camarda, Rahul Devassy, Guido Montorsi:
Capacity bounds for MIMO microwave backhaul links affected by phase noise. - Michal Skrzypczak:
Separation Property for wB- and wS-regular Languages. - Jihao Fan, Hanwu Chen:
Constructions of Pure Asymmetric Quantum Alternant Codes Based on Subclasses of Alternant Codes. - Alexander V. Mantzaris:
Uncovering nodes that spread information between communities in social networks. - Henning Maier, Rudolf Mathar:
Cyclic Interference Alignment and Cancellation in 3-User X-Networks with Minimal Backhaul. - K. Paramesha, K. C. Ravishankar:
Optimization Of Cross Domain Sentiment Analysis Using Sentiwordnet. - Ming Lei, Mohammad Reza Soleymani:
Half-Duplex Relaying for the Multiuser Channel. - Rajmonda Caceres, Kevin Carter, Jeremy Kun:
A Boosting Approach to Learning Graph Representations. - Deepjyoti Deka, Ross Baldick, Sriram Vishwanath:
Hidden Attacks on Power Grid: Optimal Attack Strategies and Mitigation. - Diego Valsesia, Enrico Magli:
A Novel Rate Control Algorithm for Onboard Predictive Coding of Multispectral and Hyperspectral Images. - Krzysztof Bar, Jamie Vicary:
Groupoid Semantics for Thermal Computing. - Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi:
The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies. - François Cuvelier, Caroline Japhet, Gilles Scarella:
An efficient way to perform the assembly of finite element matrices in vector languages. - Yongge Wang:
On the Design of LIL Tests for (Pseudo) Random Generators and Some Experimental Results. - Pascal Ochem, Alexandre Pinlou, Sagnik Sen:
Homomorphisms of signed planar graphs. - Jibran Yousafzai, Zoran Cvetkovic, Peter Sollich, Matthew Ager:
A Subband-Based SVM Front-End for Robust ASR. - Jason D. Heebl, Erin M. Thomas, Robert P. Penno, Anthony Grbic:
Comprehensive Analysis and Measurement of Frequency-Tuned and Impedance-Tuned Wireless Non-Radiative Power Transfer Systems. - Stéphane Le Roux, Arno Pauly:
Infinite sequential games with real-valued payoffs. - Dani Korpi, Sathya Venkatasubramanian, Taneli Riihonen, Lauri Anttila, Strasdosky Otewa, Clemens Icheln, Katsuyuki Haneda, Sergei A. Tretyakov, Mikko Valkama, Risto Wichman:
Advanced Self-interference Cancellation and Multiantenna Techniques for Full-Duplex Radios. - Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Back-pressure traffic signal control with unknown routing rates. - Ji Li, Thomas J. Peters, Kirk E. Jordan:
Computational Topology for Approximations of Knots. - Linas Vepstas
, Ben Goertzel:
Learning Language from a Large (Unannotated) Corpus. - Ashraf Al Daoud, George Kesidis, Jörg Liebeherr:
An Iterated Game of Uncoordinated Sharing of Licensed Spectrum Using Zero-Determinant Strategies. - Aly El Gamal, Venugopal V. Veeravalli:
Flexible Backhaul Design and Degrees of Freedom for Linear Interference Networks. - Guohua Wu:
Multi-agent across-neighbourhood search: a simple and efficient method for numerical optimization. - Jan A. Bergstra, Mark Burgess:
Promises, Impositions, and other Directionals. - Antonio Elias Fabris, Valério Ramos Batista:
A programme to determine the exact interior of any connected digital picture. - Ahmed El Shafie, Tamer Khattab:
Cooperative Cognitive Relaying Protocol for an Energy Harvesting Cognitive Radio User. - Xiaowei Zhou, Can Yang, Hongyu Zhao, Weichuan Yu:
Low-Rank Modeling and Its Applications in Image Analysis. - H. Birkan Yilmaz, Na-Rae Kim, Chan-Byoung Chae:
Effect of ISI Mitigation on Modulation Techniques in Communication via Diffusion. - Avneesh Saluja, Mahdi Pakdaman, Dongzhen Piao, Ankur P. Parikh:
Infinite Mixed Membership Matrix Factorization. - Christoph Studer, Tom Goldstein, Wotao Yin, Richard G. Baraniuk:
Democratic Representations. - Sruti Agarwal, Sangeet Saha, Rourab Paul, Amlan Chakrabarti:
Performance Evaluation of ECC in Single and Multi Processor Architectures on FPGA Based Embedded System. - Ya'akov Gal, Avi Pfeffer:
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes. - Laurent Miclet, Sabri Bayoudh, Arnaud Delhay:
Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning. - Nicolas Meuleau, Emmanuel Benazera, Ronen I. Brafman, Eric A. Hansen, Mausam:
A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains. - Yi Wang, Nevin Lianwen Zhang, Tao Chen:
Latent Tree Models and Approximate Inference in Bayesian Networks. - Lucas Bordeaux, Marco Cadoli, Toni Mancini:
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. - James P. Delgrande, Yi Jin, Francis Jeffry Pelletier:
Compositional Belief Update. - Tinne De Laet, Joris De Schutter, Herman Bruyninckx:
A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments. - Enrico H. Gerding, Rajdeep K. Dash, Andrew Byde, Nicholas R. Jennings:
Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes. - Balázs Csanád Csáji, László Monostori:
Adaptive Stochastic Resource Control: A Machine Learning Approach. - Stéphane Ross, Joelle Pineau, Sébastien Paquet, Brahim Chaib-draa:
Online Planning Algorithms for POMDPs. - Eyal Amir, Allen Chang:
Learning Partially Observable Deterministic Action Models. - Neil C. A. Moore, Patrick Prosser:
The Ultrametric Constraint and its Application to Phylogenetics. - Sonia Chernova, Manuela M. Veloso:
Interactive Policy Learning through Confidence-Based Autonomy. - Ran El-Yaniv, Dmitry Pechyony:
Transductive Rademacher Complexity and its Applications. - Amir Gershman, Amnon Meisels, Roie Zivan:
Asynchronous Forward Bounding for Distributed COPs. - Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. - Didier Dubois, Hélène Fargier, Jean-François Bonnefon:
On the Qualitative Comparison of Decisions Having Positive and Negative Features. - Md. Shiplu Hawlader, Saifuddin Md. Tareeq:
Amino Acid Interaction Network Prediction using Multi-objective Optimization. - Saher Esmeir, Shaul Markovitch:
Anytime Induction of Low-cost, Low-error Classifiers: a Sampling-based Approach. - Robert Mateescu, Rina Dechter, Radu Marinescu:
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models. - Vincent Conitzer:
Eliciting Single-Peaked Preferences Using Comparison Queries. - Tal Grinshpoun, Amnon Meisels:
Completeness and Performance Of The APO Algorithm. - Radu Jurca, Boi Faltings:
Mechanisms for Making Crowds Truthful. - Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson:
The Computational Complexity of Dominance and Consistency in CP-Nets. - Sherief Abdallah, Victor R. Lesser:
A Multiagent Reinforcement Learning Algorithm with Non-linear Dynamics. - Prashant Doshi, Piotr J. Gmytrasiewicz:
Monte Carlo Sampling Methods for Approximating Interactive POMDPs. - Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi:
Solving #SAT and Bayesian Inference with Backtracking Search. - Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony:
Generic Preferences over Subsets of Structured Objects. - Daniel S. Bernstein, Christopher Amato, Eric A. Hansen, Shlomo Zilberstein:
Policy Iteration for Decentralized Control of Markov Decision Processes. - Marek Petrik, Shlomo Zilberstein:
A Bilinear Programming Approach for Multiagent Planning. - Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser:
Efficient Informative Sensing using Multiple Robots. - Roberto Sebastiani, Michele Vescovi:
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability. - Rónán Daly, Qiang Shen:
Learning Bayesian Network Equivalence Classes with Ant Colony Optimization. - Steven de Jong, Simon Uyttendaele, Karl Tuyls:
Learning to Reach Agreement in a Continuous Ultimatum Game. - Talal Rahwan, Sarvapali Dyanand Ramchurn, Nicholas R. Jennings, Andrea Giovannucci:
An Anytime Algorithm for Optimal Coalition Structure Generation. - Omer Giménez, Anders Jonsson:
Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard. - Héctor Palacios, Hector Geffner:
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width. - Vicente Ruiz de Angulo, Carme Torras:
Exploiting Single-Cycle Symmetries in Continuous Constraint Problems. - Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. - Marco Zaffalon, Enrique Miranda:
Conservative Inference Rule for Uncertain Reasoning under Incompleteness. - Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. - Sarvapali Dyanand Ramchurn, Claudio Mezzetti, Andrea Giovannucci
, Juan A. Rodríguez-Aguilar, Rajdeep K. Dash, Nicholas R. Jennings:
Trust-Based Mechanisms for Robust and Efficient Task Allocation in the Presence of Execution Uncertainty. - Andreas Krause, Carlos Guestrin:
Optimal Value of Information in Graphical Models. - Meghyn Bienvenu:
Prime Implicates and Prime Implicants: From Propositional to Modal Logic. - Piero A. Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in DLs. - José Enrique Gallardo, Carlos Cotta, Antonio J. Fernández:
Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms. - Facundo Bromberg, Dimitris Margaritis, Vasant G. Honavar:
Efficient Markov Network Structure Discovery Using Independence Tests. - Yllias Chali, Shafiq Rayhan Joty, Sadid A. Hasan:
Complex Question Answering: Unsupervised Learning Approaches and Experiments. - Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs. - Estela Saquete, José Luis Vicedo González, Patricio Martínez-Barco, Rafael Muñoz, Hector Llorens:
Enhancing QA Systems with Complex Temporal Question Processing Capabilities. - Hai Leong Chieu, Wee Sun Lee:
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem. - Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models. - Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. - Anders Jonsson:
The Role of Macros in Tractable Planning. - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations. - Harr Chen, S. R. K. Branavan, Regina Barzilay, David R. Karger:
Content Modeling Using Latent Permutations. - Robert Mateescu, Kalev Kask, Vibhav Gogate, Rina Dechter:
Join-Graph Propagation Algorithms. - William Yeoh, Ariel Felner, Sven Koenig:
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm. - Emil Keyder, Hector Geffner:
Soft Goals Can Be Compiled Away. - Frank Hutter, Thomas Stützle, Kevin Leyton-Brown, Holger H. Hoos:
ParamILS: An Automatic Algorithm Configuration Framework. - Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte:
Predicting the Performance of IDA* using Conditional Distributions. - Michal Feldman, Tami Tamir:
Approximate Strong Equilibrium in Job Scheduling Games. - Xiao Lu, Ping Wang, Dusit Niyato, Ekram Hossain:
Dynamic Spectrum Access in Cognitive Radio Networks with RF Energy Harvesting. - Xiao Lu, Ping Wang, Dusit Niyato:
A Layered Coalitional Game Framework of Wireless Relay Network. - Saurabh Varshney, Jyoti Bajpai:
Improving Performance Of English-Hindi Cross Language Information Retrieval Using Transliteration Of Query Terms. - Hongxing Li, Nitin H. Vaidya:
Optimal CSMA-based Wireless Communication with Worst-case Delay and Non-uniform Sizes. - Tanja Hartmann, Andrea Kappes, Dorothea Wagner:
Clustering Evolving Networks. - Kamlesh Sharma, T. V. Prasad:
Swar The Voice Operated PC. - Vahid Jamali, Nikola Zlatanov, Robert Schober:
Adaptive Mode Selection for Bidirectional Relay Networks - Fixed Rate Transmission. - Ville Syrjälä, Mikko Valkama, Lauri Anttila, Taneli Riihonen, Dani Korpi:
Analysis of Oscillator Phase-Noise Effects on Self-Interference Cancellation in Full-Duplex OFDM Radio Transceivers. - Guangyue Han, Jian Song:
Extensions of the I-MMSE Relation. - Xianming Liu, Guangyue Han:
Recent Results in Continuous-Time Network Information Theory. - Ben D. Fulcher, Nick S. Jones:
Highly comparative, feature-based time-series classification. - Dani Korpi, Taneli Riihonen, Ville Syrjälä, Lauri Anttila, Mikko Valkama, Risto Wichman:
Full-Duplex Transceiver System Calculations: Analysis of ADC and Linearity Challenges. - Habib B. A. Sidi, Zwi Altman, Abdoulaye Tall:
Self-Optimizing Mechanisms for EMF Reduction in Heterogeneous Networks. - Abhishek Jain, Piyush Kumar Gupta, Hima Gupta, Sachish Dhar:
Accelerating SystemVerilog UVM Based VIP to Improve Methodology for Verification of Image Signal Processing Designs Using HW Emulator. - Alex E. Geyer, Reza Nikjah, Sergiy A. Vorobyov, Norman C. Beaulieu:
Equivalent Codes, Optimality, and Performance Analysis of OSTBC: Textbook Study. - Omid Taheri, Sergiy A. Vorobyov:
Reweighted l1-norm Penalized LMS for Sparse Channel Estimation and Its Analysis. - Youssef Khmou, Said Safi:
2D Direction Of Arrival Estimation with Modified Propagator. - Jie Gao, Sergiy A. Vorobyov, Hai Jiang:
Efficient Strategies for Single/Multi-Target Jamming on MIMO Gaussian Channels. - (Withdrawn) A Supervised Goal Directed Algorithm in Economical Choice Behaviour: An Actor-Critic Approach.
- Mehrnaz Tavan, Roy D. Yates, Waheed U. Bajwa:
Bits Through Bufferless Queues. - Xiaomin Bao:
The equivalent identities of the MacWilliams identity for linear codes. - Abdul Kadir, Lukito Edi Nugroho, Adhi Susanto, Paulus Insap Santosa:
Experiments of Distance Measurements in a Foliage Plant Retrieval System. - Swen Jacobs
, Roderick Bloem
:
Parameterized Synthesis. - (Withdrawn) An Enhanced Method For Evaluating Automatic Video Summaries.
- Ayman M. Bahaa Eldin:
Intelligent Systems for Information Security. - Larry Bull:
A Brief History of Learning Classifier Systems: From CS-1 to XCS. - Hector Zenil:
Turing Minimalism and Complexity. - Vincenzo De Florio, Chris Blondia:
Reflective and Refractive Variables: A Model for Effective and Maintainable Adaptive-and-Dependable Software. - Johannes Hofmann, Jan Treibig, Georg Hager, Gerhard Wellein:
Performance Engineering for a Medical Imaging Application on the Intel Xeon Phi Accelerator. - Sanjay Vishwakarma, A. Chockalingam:
Power Allocation in MIMO Wiretap Channel with Statistical CSI and Finite-Alphabet Input. - Vincenzo De Florio, Chris Blondia:
Service-oriented Communities: Visions and Contributions towards Social Organizations. - Ankit Mundra, Geetanjali Rathee, Meenu Chawla, Nitin Rakesh, Ashsutosh Soni:
Transport Information System using Query Centric Cyber Physical Systems (QCPS). - Diederik Aerts, Sandro Sozzo:
Modeling Concept Combinations in a Quantum-theoretic Framework. - Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia:
A Service-oriented Infrastructure Approach for Mutual Assistance Communities. - Ernesto G. Birgin, Paulo Feofiloff, Cristina G. Fernandes, Everton L. de Melo, Marcio T. I. Oshiro, Débora P. Ronconi:
A MILP model for an extended version of the Flexible Job Shop Problem. - Hadi Ahmadi, Reihaneh Safavi-Naini:
Multipath Private Communication: An Information Theoretic Approach. - Andrea Munari, Michael Heindlmaier, Gianluigi Liva, Matteo Berioli:
The Throughput of Slotted Aloha with Diversity. - Tongxin Li, Chun Lam Chan, Wenhao Huang, Tarik Kaced, Sidharth Jaggi:
Group Testing with Prior Statistics. - Doina Tãtar, Mihaiela Lupea, Epaminondas Kapetanios:
Hrebs and Cohesion Chains as similar tools for semantic text properties research. - Katarzyna E. Paluch:
Better Approximation Algorithms for Maximum Asymmetric Traveling Salesman and Shortest Superstring. - Zhili Guo, Yao Wang, Elza Erkip, Shivendra S. Panwar:
Wireless Video Multicast with Cooperative and Incremental Transmission of Parity Packets. - Timo Mennle, Sven Seuken:
An Axiomatic Approach to Characterizing and Relaxing Strategyproofness of One-sided Matching Mechanisms. - Na Deng, Wuyang Zhou, Martin Haenggi:
The Ginibre Point Process as a Model for Wireless Networks with Repulsion. - Holger Boche, Minglai Cai, Christian Deppe:
Broadcast Classical-Quantum Capacity Region of Two-Phase Bidirectional Relaying Channel. - Vincenzo De Florio, Geert Deconinck:
$\mathcal R\!\raise2pt\hbox{$\varepsilon$}\!\hbox{$\mathcal L$}$: A Fault Tolerance Linguistic Structure for Distributed Applications. - Ragesh Jaiswal, Mehul Kumar, Pulkit Yadav:
Improved analysis of D2-sampling based PTAS for k-means and other Clustering problems. - Kyle G. Burke:
$2^3$ Quantified Boolean Formula Games and Their Complexities. - Matanya B. Horowitz, Nikolai Matni, Joel W. Burdick:
Convex Relaxations of SE(2) and SE(3) for Visual Pose Estimation. - Zeev Dvir, Rafael Oliveira, Amir Shpilka:
Testing Equivalence of Polynomials under Shifts. - Igor G. Vladimirov
, Ian R. Petersen:
Physical Realizability and Mean Square Performance of Translation Invariant Networks of Interacting Linear Quantum Stochastic Systems. - Ed Bennett
, Luigi Del Debbio, Kirk E. Jordan, Biagio Lucini
, Agostino Patella, Claudio Pica, Antonio Rago
:
BSMBench: a flexible and scalable supercomputer benchmark from computational particle physics. - Alexios Balatsoukas-Stimming, Mani Bastani Parizi, Andreas Burg:
LLR-based Successive Cancellation List Decoding of Polar Codes. - Xiao Yang, Andrew R. Barron:
Large Alphabet Compression and Predictive Distributions through Poissonization and Tilting. - Patrick Healy, Andrew Ju:
An Experimental Evaluation of List Coloring Algorithms. - Raphaëlle Crubillé, Ugo Dal Lago:
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). - Bharath K. Samanthula, Wei Jiang, Elisa Bertino:
Lightweight and Secure Two-Party Range Queries over Outsourced Encrypted Databases. - Songcen Xu, Rodrigo C. de Lamare, H. Vincent Poor:
Adaptive Link Selection Strategies for Distributed Estimation in Wireless Sensor Networks. - Thibaut Vidal, Nelson Maculan, Puca Huachi Vaz Penna, Luiz Satoru Ochi:
Large neighborhoods with implicit customer selection for vehicle routing problems with profits. - Son Hoang Dau, Wentu Song, Chau Yuen:
On the Existence of MDS Codes Over Small Fields With Constrained Generator Matrices. - Shigeaki Kuzuoka, Shun Watanabe:
An Information-Spectrum Approach to Weak Variable-Length Source Coding with Side-Information. - Ning Cai, M. Junaid Khan:
On Swarm Stability of Linear Time-Invariant Descriptor Compartmental Networks. - Xiaoxia Sun, Qing Qu, Nasser M. Nasrabadi, Trac D. Tran:
Structured Priors for Sparse-Representation-Based Hyperspectral Image Classification. - Xiaohan Wei, Michael J. Neely:
Power Aware Wireless File Downloading: A Constrained Restless Bandit Approach. - Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge:
Reasoning About the Transfer of Control. - Ruijie He, Emma Brunskill, Nicholas Roy:
Efficient Planning under Uncertainty with Macro-actions. - Amy Greenwald, Seong Jae Lee, Victor Naroditskiy:
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel. - Henrik Reif Andersen, Tarik Hadzic, David Pisinger:
Interactive Cost Configuration Over Decision Diagrams. - Raghav Aras, Alain Dutech:
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs. - Matthew Michelson, Craig A. Knoblock:
Constructing Reference Sets from Unstructured, Ungrammatical Text. - Bozhena Bidyuk, Rina Dechter, Emma Rollon:
Active Tuples-based Scheme for Bounding Posterior Beliefs. - Shahar Dobzinski, Noam Nisan:
Mechanisms for Multi-Unit Auctions. - Ivan José Varzinczak:
On Action Theory Change. - Liyue Zhao, Yu Zhang, Gita Sukthankar:
An Active Learning Approach for Jointly Estimating Worker Performance and Annotation Reliability with Crowdsourced Data. - Moshe Babaioff, Michal Feldman, Noam Nisan:
Mixed Strategies in Combinatorial Agency. - Claudette Cayrol, Florence Dupin de Saint-Cyr
, Marie-Christine Lagasquie-Schiex:
Change in Abstract Argumentation Frameworks: Adding an Argument. - Silvia Richter, Matthias Westphal:
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks. - Johan Wittocx, Maarten Mariën, Marc Denecker:
Grounding FO and FO(ID) with Bounds. - Mark Owen Riedl, Robert Michael Young:
Narrative Planning: Balancing Plot and Character. - David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Developing Approaches for Solving a Telecommunications Feature Subscription Problem. - Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner:
Theta*: Any-Angle Path Planning on Grids. - Yagil Engel, Michael P. Wellman:
Multiattribute Auctions Based on Generalized Additive Independence. - Jianhui Wu, Edmund H. Durfee:
Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments. - Graeme Gange, Peter James Stuckey, Vitaly Lagoon:
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. - Jia-Hong Wu, Robert Givan:
Automatic Induction of Bellman-Error Features for Probabilistic Planning. - Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. - Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! - Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
A Model-Based Active Testing Approach to Sequential Diagnosis. - Jing Xu, Christian R. Shelton:
Intrusion Detection using Continuous Time Bayesian Networks. - Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello:
Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. - Michael Katz, Carmel Domshlak:
Implicit Abstraction Heuristics. - Bonny Banerjee, B. Chandrasekaran:
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning. - Michael Benisch, George B. Davis, Tuomas Sandholm:
Algorithms for Closed Under Rational Behavior (CURB) Sets. - Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis, Maria Polukarov, Nicholas R. Jennings:
Cooperative Games with Overlapping Coalitions. - Vadim Bulitko, Yngvi Björnsson, Ramon Lawrence:
Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding. - Jos de Bruijn, Stijn Heymans:
Logical Foundations of RDF(S) with Datatypes. - Andreas Krause, Eric Horvitz:
A Utility-Theoretic Approach to Privacy in Online Services. - Tobias Lang, Marc Toussaint:
Planning with Noisy Probabilistic Relational Rules. - Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou:
Best-First Heuristic Search for Multicore Machines. - Yonghong Wang, Chung-Wei Hang, Munindar P. Singh:
A Probabilistic Approach for Maintaining Trust Based on Evidence. - Yi Zhou, Yan Zhang:
A Logical Study of Partial Entailment. - Xavier Tannier, Philippe Muller:
Evaluating Temporal Graphs Built from Texts via Transitive Reduction. - Christian Geist, Ulle Endriss:
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. - Aaron Hunter, James P. Delgrande:
Iterated Belief Change Due to Actions and Observations. - Albert Atserias, Johannes Klaus Fichte, Marc Thurley:
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. - Haris Aziz, Yoram Bachrach, Edith Elkind, Mike Paterson:
False-Name Manipulations in Weighted Voting Games. - Erik Talvitie, Satinder Singh:
Learning to Make Predictions In Partially Observable Environments Without a Generative Model. - Mahdi Milani Fard, Joelle Pineau:
Non-Deterministic Policies in Markovian Decision Processes. - Christophe Lecoutre, Stéphane Cardon, Julien Vion:
Second-Order Consistencies. - Fei Wu, Jayant Madhavan, Alon Y. Halevy:
Identifying Aspects for Web-Search Queries. - Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P. J. Fromherz:
On-line Planning and Scheduling: An Application to Controlling Modular Printers. - Lirong Xia, Vincent Conitzer:
Determining Possible and Necessary Winners Given Partial Orders. - Botond Cseke, Tom Heskes:
Properties of Bethe Free Energies and Message Passing in Gaussian Models. - Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani:
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. - Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon:
Soft Constraints of Difference and Equality. - Harris Papadopoulos, Vladimir Vovk, Alex Gammerman:
Regression Conformal Prediction with Nearest Neighbours. - Mustafa Bilgic, Lise Getoor:
Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition. - Saket Joshi, Roni Khardon:
Probabilistic Relational Planning with First Order Decision Diagrams. - Anna Khudyak Kozorovitzky, Oren Kurland:
From "Identical" to "Similar": Fusing Retrieved Lists Based on Inter-Document Similarities. - Sujit Gujar, Yadati Narahari:
Redistribution Mechanisms for Assignment of Heterogeneous Objects. - Tomás de la Rosa, Sergio Jiménez Celorrio, Raquel Fuentetaja, Daniel Borrajo:
Scaling up Heuristic Planning with Relational Decision Trees. - Wei Li, Pascal Poupart, Peter van Beek:
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference. - Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi:
The Complexity of Integer Bound Propagation. - Dmytro Korzhyk, Zhengyu Yin, Christopher Kiekintveld, Vincent Conitzer, Milind Tambe:
Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness. - Jörg Hoffmann:
Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+. - Sajjad Ahmed Siddiqi, Jinbo Huang:
Sequential Diagnosis by Abstraction. - Changhe Yuan, Heejin Lim, Tsai-Ching Lu:
Most Relevant Explanation in Bayesian Networks. - András György, Levente Kocsis:
Efficient Multi-Start Strategies for Local Search Algorithms. - Wolfgang Dvorák, Stefan Woltran:
On the Intertranslatability of Argumentation Semantics. - Oren Kurland, Eyal Krikon:
The Opposite of Smoothing: A Language Model Approach to Ranking Query-Specific Document Clusters. - Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. - Joohyung Lee, Yunsong Meng:
First-Order Stable Model Semantics and First-Order Loop Formulas. - Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
Representing and Reasoning with Qualitative Preferences for Compositional Systems. - Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
Decidability and Undecidability Results for Propositional Schemata. - Piero A. Bonatti, Marco Faella, Luigi Sauro:
Defeasible Inclusions in Low-Complexity DLs. - Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. - Noa Agmon, Gal A. Kaminka, Sarit Kraus:
Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent. - Ko-Hsin Cindy Wang, Adi Botea:
MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees. - Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. - Xiaosong Lu, Howard M. Schwartz, Sidney Nascimento Givigi:
Policy Invariance under Reward Transformations for General-Sum Stochastic Games. - Ricardo Ribeiro, David Martins de Matos:
Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity. - Richard Hoshino, Ken-ichi Kawarabayashi:
Scheduling Bipartite Tournaments to Minimize Total Travel Distance. - Peng Dai, Mausam, Daniel Sabby Weld, Judy Goldsmith:
Topological Value Iteration Algorithms. - Ni Ding, Parastoo Sadeghi, Rodney A. Kennedy:
Discrete Stochastic Approximation for Cross-layer Transmission Control in Wireless Communications. - Yeow Meng Chee, Zouha Cherif, Jean-Luc Danger, Sylvain Guilley, Han Mao Kiah, Jon-Lark Kim, Patrick Solé, Xiande Zhang:
Multiply Constant-Weight Codes and the Reliability of Loop Physically Unclonable Functions. - Adnan Anwar, Abdun Naser Mahmood:
Cyber Security of Smart Grid Infrastructure. - Subodh Pudasaini, Seokjoo Shin, Kyung Sup Kwak:
Robust Modulation Technique for Diffusion-based Molecular Communication in Nanonetworks. - Wentu Song, Chau Yuen, Kai Cai, Rongquan Feng:
Network Coding for $3$s$/n$t Sum-Networks. - Adel Zahedi, Jan Østergaard, Søren Holdt Jensen, Patrick A. Naylor, Soren Bech:
Distributed Remote Vector Gaussian Source Coding for Wireless Acoustic Sensor Networks. - Udi Boker, Thomas A. Henzinger:
Exact and Approximate Determinization of Discounted-Sum Automata. - Joan Serrà, Josep Lluís Arcos:
An Empirical Evaluation of Similarity Measures for Time Series Classification. - Md. Abdullah Al Mamun, Christian Berger, Jörgen Hansson:
Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy. - Henning Maier, Anas Chaaban, Rudolf Mathar:
$Y$-$Δ$ Product in 3-Way $Δ$ and Y-Channels for Cyclic Interference and Signal Alignment. - Hugo Méric, José Miguel Piquer:
Performance Evaluation of Bit Division Multiplexing combined with Non-Uniform QAM. - Bartlomiej Blaszczyszyn, Holger Paul Keeler:
Studying the SINR process of the typical user in Poisson networks by using its factorial moment measures. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
Towards a Cellular Automata Based Network Intrusion Detection System with Power Level Metric in Wireless Adhoc Networks (IDFADNWCA). - Tong Zhou:
Robust Recursive State Estimation with Random Measurements Droppings. - Tong Zhou:
Asymptotic Behavior of the Pseudo-Covariance Matrix of a Robust State Estimator with Intermittent Measurements. - Henryk Michalewski, Michal Skrzypczak:
Unambiguous Buchi is weak. - Jakub Katarzynski, Maciej Cytowski:
Towards Autotuning of OpenMP Applications on Multicore Architectures. - Patricia Wollstadt, Mario Martínez-Zarzuela, Raul Vicente, Francisco Javier Díaz Pernas, Michael Wibral:
Efficient transfer entropy analysis of non-stationary neural time series. - Kobbi Nissim, Salil P. Vadhan, David Xiao:
Redrawing the Boundaries on Purchasing Data from Privacy-Sensitive Individuals. - Yunjin Chen, Thomas Pock, Horst Bischof:
Learning ℓ1-based analysis and synthesis sparsity priors using bi-level optimization. - Yunjin Chen, Thomas Pock, René Ranftl, Horst Bischof:
Revisiting loss-specific training of filter-based MRFs for image restoration. - Yunjin Chen, René Ranftl, Thomas Pock:
A bi-level view of inpainting - based image compression. - Emanuel Diamant:
Cognitive Robotics: for never was a story of more owe than this.