CoRR, April 2011

Denis S. Krotov: On the binary codes with parameters of triply-shortened 1-perfect codes.

Guanfeng Liang, Nitin H. Vaidya: Capacity of Byzantine Consensus with Capacity-Limited Point-to-Point Links.

Elizabeth Bodine-Baron, Christina Lee, Anthony Chong, Babak Hassibi, Adam Wierman: Peer Effects and Stability in Matching Markets.

Yoo Chung: Distributed Denial of Service is a Scalability Problem.

Shuo-Tsung Chen, Huang-Nan Huang, Chur-Jen Chen: Adaptive Audio Watermarking via the Optimization Point of View on the Wavelet-Based Entropy.

S.-T. Chen, H.-N. Huang, S.-Y. Tu: Quantization Audio Watermarking with Optimal Scaling on Wavelet Coefficients.

Yi Gai, Bhaskar Krishnamachari: Decentralized Online Learning Algorithms for Opportunistic Spectrum Access.

George C. Alexandropoulos, Agisilaos Papadogiannis, Paschalis C. Sofotasios: A Comparative Study of Relaying Schemes with Decode-and-Forward over Nakagami-m Fading Channels.

Tobias Christ, Andrea Francke, Heidi Gebauer, Jirí Matousek, Takeaki Uno: A Doubly Exponentially Crumbled Cake.

Fabian Abel, Ilknur Celik, Claudia Hauff, Laura Hollink, Geert-Jan Houben: U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web.

Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol: The Decidability Frontier for Probabilistic Automata on Infinite Words.

Vera Hollink, Arjen P. de Vries: Towards an automated query modification assistant.

Jörg Bühler, Gerhard Wunder: On Interference Alignment and the Deterministic Capacity for Cellular Channels with Weak Symmetric Cross Links.

Sumit Kumar, Deepti Singhal, Garimella Rama Murthy: Doubly Cognitive Architecture Based Cognitive Wireless Sensor Network.

Michael Chertkov, Mikhail G. Stepanov, Feng Pan, Ross Baldick: Exact and Efficient Algorithm to Discover Extreme Stochastic Events in Wind Generation over Transmission Power Grids.

Martin Grohe, Marc Thurley: Counting Homomorphisms and Partition Functions.

Ugo Dal Lago, Margherita Zorzi: Probabilistic Operational Semantics for the Lambda Calculus.

Boris D. Lubachevsky: Why The Results of Parallel and Serial Monte Carlo Simulations May Differ.

Kristian B. Ølgaard, Garth N. Wells: Optimisations for quadrature representations of finite element tensors through automated code generation.

Loïc Michel: Introduction to the model-free control of microgrids.

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

Yaser Eftekhari, Anoosheh Heidarzadeh, Amir H. Banihashemi, Ioannis Lambadaris: Density Evolution Analysis of Node-Based Verification-Based Algorithms in Compressive Sensing.

Yang Gao, Ertem Tuncel: Separate Source-Channel Coding for Broadcasting Correlated Gaussians.

Ido Ginodi, Amir Globerson: Gaussian Robust Classification.

Peter R. Brune, Matthew G. Knepley, L. Ridgway Scott: Unstructured Geometric Multigrid in Two and Three Dimensions on Complex and Graded Meshes.

Mike Stimpson: Evolving a New Feature for a Working Program.

Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen: Synthesis and Analysis of Product-form Petri Nets.

Ashkan Khatir, Shaghayegh Abdolahzadegan, Iman Mahmoudi: High Speed Multiple Valued Logic Full Adder Using Carbon Nano Tube Field Effect Transistor.

Joseph J. Pfeiffer III, Jennifer Neville: Methods to Determine Node Centrality and Clustering in Graphs with Uncertain Structure.

Yudong Chen, Ali Jalali, Sujay Sanghavi, Constantine Caramanis: Low-rank Matrix Recovery from Errors and Erasures.

Ehsan Heidari, Ali Movaghar: An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem.

Robert Rothenberg: Proof-Theoretic Soundness and Completeness.

Neri Merhav: Relations between redundancy patterns of the Shannon code and wave diffraction patterns of partially disordered media.

Vladimir V. Gusev, Elena V. Pribavkina: On Non-Complete Sets and Restivo's Conjecture.

Linh Anh Nguyen: A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms.

Daejung Yoon, Jaekyun Moon: Soft-Decision-Driven Channel Estimation for Pipelined Turbo Receivers.

Bartosz Jankowski, Wojciech Mazurczyk, Krzysztof Szczypiorski: PadSteg: Introducing Inter-Protocol Steganography.

Peyman Razaghi, Song-Nam Hong, Lei Zhou, Wei Yu, Giuseppe Caire: Two Birds and One Stone: Gaussian Interference Channel with a Shared Out-of-Band Relay.

Yu Mao: Reconstruction of Binary Functions and Shapes from Incomplete Frequency Information.

Jeong-woo Cho, Yung Yi: On the Payoff Mechanisms in Peer-Assisted Services with Multiple Content Providers: Rationality and Fairness.

Yaping Li, Minghua Chen, Qiwei Li, Wei Zhang: Enabling Multi-level Trust in Privacy Preserving Data Mining.

Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi: Recursive double-size fixed precision arithmetic.

Wenyi Zhang, Satish Vedantam, Urbashi Mitra: Joint Transmission and State Estimation: A Constrained Channel Coding Approach.

Michael Benedikt, Georg Gottlob, Pierre Senellart: Determining Relevance of Accesses at Runtime (Extended Version).

Christian Senger, Vladimir Sidorenko, Steffen Schober, Martin Bossert, Victor V. Zyablov: Adaptive Single-Trial Error/Erasure Decoding of Reed-Solomon Codes.

Ye Ji: Image Retrieval Method Using Top-surf Descriptor.

Ran Tao: Visual Concept Detection and Real Time Object Detection.

Ranjan Pal, Pan Hui: Modeling Internet Security Investments: The Case of Dealing with Information Uncertainty.

Seyed Hamed Hassani, Nicolas Macris, Ryuhei Mori: Near concavity of the growth rate for coupled LDPC chains.

Peter Lohmann, Heribert Vollmer: Complexity Results for Modal Dependence Logic.

Parosh Aziz Abdulla, Richard Mayr: Computing Optimal Coverability Costs in Priced Timed Petri Nets.

Pankaj K. Agarwal, Jie Gao, Leonidas J. Guibas, Haim Kaplan, Vladlen Koltun, Natan Rubin, Micha Sharir: Kinetic Stable Delaunay Graphs.

Kristian B. Ølgaard, Anders Logg, Garth N. Wells: Automated code generation for discontinuous Galerkin methods.

Lakshmi Prasad Natarajan, K. Pavan Srinath, B. Sundar Rajan: On the Sphere Decoding Complexity of STBCs for Asymmetric MIMO Systems.

Mohamed A. El-Zawawy: Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis.

Ioannis Broustis, Georgios S. Paschos, Dimitris Syrivelis, Leonidas Georgiadis, Leandros Tassiulas: NCRAWL: Network Coding for Rate Adaptive Wireless Links.

Mariano Tepper, Pablo Musé, Andrés Almansa: Meaningful Clustered Forest: an Automatic and Robust Clustering Algorithm.

Changbo Chen, Marc Moreno Maza: Algorithms for Computing Triangular Decompositions of Polynomial Systems.

Afshin Rostamizadeh, Alekh Agarwal, Peter L. Bartlett: Online and Batch Learning Algorithms for Data with Missing Features.

Wei Ren, Qing Zhao: A Note on: `Algorithms for Connected Set Cover Problem and Fault-Tolerant Connected Set Cover Problem'.

Vijayvaradharaj T. Muralidharan, B. Sundar Rajan: A Non-Orthogonal DF Scheme for the Single Relay Channel and the Effect of Labelling.

Ran Gelles, Amit Sahai: Potent Tree Codes and their applications: Coding for Interactive Communication, revisited.

Sicun Gao, André Platzer, Edmund M. Clarke: Quantifier Elimination over Finite Fields Using Gröbner Bases.

Yoo Chung: Modeling network technology deployment rates with different network models.

José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Inmaculada Ventura: Locating a service facility and a rapid transit line.

Anatoly Pashkevich, Alexandr Klimchik, Damien Chablat: Enhanced stiffness modeling of manipulators with passive joints.

Markus Wagner, Jareth Day, Claire Diora Jordan, Trent Kroeger, Frank Neumann: Evolving Pacing Strategies for Team Pursuit Track Cycling.

Guy Even, Yaniv Fais, Moti Medina, Shimon Shahar, Alexander Zadorojniy: Real-Time Video Streaming in Multi-hop Wireless Static Ad Hoc Networks.

Patrick Chedmail, Damien Chablat, Christophe Le Roy: A distributed Approach for Access and Visibility Task with a Manikin and a Robot in a Virtual Reality Environment.

Jolly Shah, Vikas Saxena: Video Encryption: A Survey.

Lutz Bornmann, Werner Marx: The Anna Karenina principle: A mechanism for the explanation of success in science.

B. G. Kodge, P. S. Hiremath: SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications.

Deepesh Ranka, Ashwani K. Rana, Rakesh Kumar Yadav, Kamalesh Yadav, Devendra Giri: Performance evaluation of FD-SOI Mosfets for different metal gate work function.

Damien Chablat, Fouad Bennis, Bernard Hoessler, Matthieu Guilbert: Haptic devices and objects, robots and mannequin simulation in a CAD-CAM software: eM-Virtual Desktop.

Ruina Ma, Damien Chablat, Fouad Bennis, Liang Ma: A framework of motion capture system based human behaviours simulation for ergonomic analysis.

Damien Chablat, Guillaume Moroz, Philippe Wenger: Uniqueness domains and non singular assembly mode changing trajectories.

Jian Gao, Minghao Yin, Ke Xu: Phase Transitions in Knowledge Compilation: an Experimental Study.

Ajesh Babu, Nutan Limaye, Jaikumar Radhakrishnan, Girish Varma: Streaming algorithms for language recognition problems.

Charalambos D. Charalambous, Photios Stavrou, Christos K. Kourtellaris: Causal Rate Distortion Function and Relations to Filtering Theory.

Dan Olteanu, Jakub Zavodny: Factorised Representations of Query Results.

Joost Van Honschoten, Henri de Jong, Wabe W. Koelmans, Thomas P. Parnell, Oleg V. Zaboronski: Information Storage and Retrieval for Probe Storage using Optical Diffraction Patterns.

Marius Zimand: Possibilities and impossibilities in Kolmogorov complexity extraction.

Gopal Pandurangan, Amitabh Trehan: Xheal: Localized Self-healing using Expanders.

Guy Bresler, Dustin Cartwright, David Tse: Settling the feasibility of interference alignment for the MIMO interference channel: the symmetric square case.

Yuan Zhang, Cihan Tepedelenlioglu: Applications of Tauberian Theorem for High-SNR Analysis of Performance over Fading Channels.

Benjamin A. Burton, Mathias Hiron: Locating regions in a sequence under density constraints.

Alexander Yu. Vlasov: ReveR: Software Simulator of Reversible Processor with Stack.

Stephen Guo, Mengqiu Wang, Jure Leskovec: The Role of Social Networks in Online Shopping: Information Passing, Price of Trust, and Consumer Choice.

Chenwei Wang, Tiangao Gou, Syed Ali Jafar: Multiple Unicast Capacity of 2-Source 2-Sink Networks.

Lionel Levine, Katherine E. Stange: How to make the most of a shared meal: plan the last bite first.

Dae San Kim, Dong Chan Kim, Jong Yoon Hyun: Simple proofs for duality of generalized minimum poset weights and weight distributions of (Near-)MDS poset codes.

Jaydip Sen: An Efficient Algorithm for Detection of Selfish Packet Dropping Nodes in Wireless Mesh Networks.

Meisam Razaviyayn, Gennady Lyubeznik, Zhi-Quan Luo: On the Degrees of Freedom Achievable Through Interference Alignment in a MIMO Interference Channel.

Y. Ming Tsang, Ada S. Y. Poon, Sateesh Addepalli: Coding the Beams: Improving Beamforming Training in mmWave Communication System.

Aleksey A. Galtsev, Andrei M. Sukhov: Network attack detection at flow level.

Shafi Bashar, Zhi Ding, Chengshan Xiao: On Secrecy Rate Analysis of MIMO Wiretap Channels Driven by Finite-Alphabet Input.

Saeed Rasouli Heikalabad, Hossein Rasouli, Farhad Nematy, Naeim Rahmani: QEMPAR: QoS and Energy Aware Multi-Path Routing Algorithm for Real-Time Applications in Wireless Sensor Networks.

Johannes Ebbing, Peter Lohmann: Complexity of Model Checking for Modal Dependence Logic.

Xiaodong Li: Compressed Sensing and Matrix Completion with Constant Proportion of Corruptions.

Ming Lam Leung: Fixed Parameter Tractable Algorithm for Firefighting Problem.

Manuel Bodirsky, Martin Hils, Alex Krimkevitch: Tractable Set Constraints.

Abdellatif Zaidi, Shlomo Shamai, Pablo Piantanida, Luc Vandendorpe: Bounds on the Capacity of the Relay Channel with Noncausal State at Source.

Babak Bashari Rad, Maslin Masrom, Suhaimi Ibrahim: Evolution of Computer Virus Concealment and Anti-Virus Techniques: A Short Survey.

Jun Wang, Gang Li, Hao Zhang, Xiqin Wang: Analysis of Block OMP using Block RIP.

Jun Wang, Gang Li, Hao Zhang, Xiqin Wang: SAR Imaging of Moving Targets via Compressive Sensing.

Rahul Vaze: Super Critical and Sub Critical Regimes of Percolation with Secure Communication.

Samuel Fiorini, Gwenaël Joret: Approximating the Balanced Minimum Evolution Problem.

Kaoutar Elhari, Bouchaib Bounabat: Platform for Assessing Strategic Alignment Using Enterprise Architecture: Application to E-Government Process Assessment.

Robert Crowston, Gregory Gutin, Mark Jones, Anders Yeo: Lower Bound for Max-$r$-Lin2 and its Applications in Algorithmics and Graph Theory.

Saif K. Mohammed, Emanuele Viterbo, Yi Hong, Ananthanarayanan Chockalingam: Modulation Diversity in Fading Channels with Quantized Receiver.

Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed: M-AODV : AODV variant to improve quality of service in MANETs.

Liang Ma, Damien Chablat, Fouad Bennis, Wei Zhang, Bo Hu, François Guillaume: A novel approach for determining fatigue resistances of different muscle groups in static cases.

Bo Hu, Liang Ma, Wei Zhang, Gaverial Salvendy, Damien Chablat, Fouad Bennis: Can virtual reality predict body part discomfort and performance of people in realistic world for assembling tasks?

Daniel M. Kane: A Small PRG for Polynomial Threshold Functions of Gaussians.

Emrah Akyol, Kumar Viswanatha, Kenneth Rose: On Conditions for Linearity of Optimal Estimation.

Yuanzhang Xiao, Jaeok Park, Mihaela van der Schaar: Intervention in Power Control Games With Selfish Users.

Soumen Bag, Soumen Barik, Prithwiraj Sen, Gautam Sanyal: A Statistical Nonparametric Approach of Face Recognition: Combination of Eigenface & Modified k-Means Clustering.

Damien Chablat, Jorge Angeles: The Design of a Novel Prismatic Drive for a Three-DOF Parallel-Kinematics Machine.

Alessandro Borri, Shaunak Dattaprasad Bopardikar, João Pedro Hespanha, Maria Domenica Di Benedetto: Hide-and-Seek with Directional Sensing.

Ashok V. Sutagundar, Sunilkumar S. Manvi: Context Aware Multisensor Image Fusion for Military Sensor Networks using Multi Agent System.

Radoslav Fulek, Daniel Neuwirth: On Sets of Lines Not-Supporting Trees.

Konstantinos Panagiotou, Reto Spöhel, Angelika Steger, Henning Thomas: Explosive Percolation in Erdös-Rényi-Like Random Graph Processes.

Gowri Shankar Ramaswamy, F. Sagayaraj Francis: Latent table discovery by semantic relationship extraction between unrelated sets of entity sets of structured data sources.

Guy Even, Yakov Matsri, Moti Medina: Multi-Hop Routing and Scheduling in Wireless Networks in the SINR model.

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming.

Michael Kerber, Michael Sagraloff: Root Refinement for Real Polynomials.

David Greenwood, Ian Sommerville: Expectations and Reality: Why an enterprise software system didn't work as planned.

Ronitt Rubinfeld, Gil Tamir, Shai Vardi, Ning Xie: Fast Local Computation Algorithms.

Wai Han Fong: Coding Bounds for Multiple Phased-Burst Correction and Single Burst Correction Codes.

Andreas Argyriou, Charles A. Micchelli, Massimiliano Pontil, Lixin Shen, Yuesheng Xu: Efficient First Order Methods for Linear Composite Regularizers.

Dmitry Chizhik, Gerard J. Foschini, Reinaldo A. Valenzuela: A Basic Unified Context for Evaluating the Beam Forming and MIMO Options in a Wireless Link.

Damian A. Morero, Graciela Corral-Briones, Carmen E. Rodríguez, Mario Rafael Hueda: High-Rate Short-Block LDPC Codes for Iterative Decoding with Applications to High-Density Magnetic Recording Channels.

Mark Burgin, Kees de Vey Mestdagh: Logical Varieties in Normative Reasoning.

Xiao Ma, Jia Liu, Baoming Bai: New Techniques for Upper-Bounding the ML Decoding Performance of Binary Linear Codes.

Xiaopeng Xu, Xiaochun Zhang: Gaussian Affine Feature Detector.

Arijit Laha: An Agent-based Architecture for a Knowledge-work Support System.

Amir Aavani: Translating Pseudo-Boolean Constraints into CNF.

Christian A. Duncan, Emden R. Gansner, Yifan Hu, Michael Kaufmann, Stephen G. Kobourov: Optimal Polygonal Representation of Planar Graphs.

Arijit Laha, Jyotirmay Das: Fuzzy Rules and Evidence Theory for Satellite Image Analysis.

Michael Baumann, Michel Bolla, Vincent Daanen, Jean-Luc Descotes, Jean-Yves Giraud, Nikolai Hungr, Antoine Leroy, Jean-Alexandre Long, Sébastien Martin, Jocelyne Troccaz: Prosper: image and robot-guided prostate brachytherapy.

Michael Kerber, Michael Sagraloff: A Worst-case Bound for Topology Computation of Algebraic Curves.

A. J. Han Vinck: Coded Modulation for Power Line Communications.

Byungchun Chung, Sandra Marcello, Amir-Pasha Mirbaha, David Naccache, Karim Sabeg: Operand Folding Hardware Multipliers.

Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz: Efficient Emptiness Check for Timed Büchi Automata (Extended version).

Guillaume Claret, Michaël Mathieu, David Naccache, Guillaume Seguin: Physical Simulation of Inarticulate Robots.

Khaled Masmoudi, Marc Antonini, Pierre Kornprobst: A bio-inspired image coder with temporal scalability.

Jan Klein, Sebastiano Barbieri, Miriam H. A. Bauer, Christopher Nimsky, Horst K. Hahn: Benchmarking the Quality of Diffusion-Weighted Images.

Luca Piancastelli, Leonardo Frizziero, Simone Marcoppido, Eugenio Pezzuti: A Fuzzy Control Algorithm for the Electronic Stability Program optimized for tyre burst control.

Gregory Kucherov: On-line construction of position heaps.

Silviu Maniu, Bogdan Cautis: Efficient Top-K Retrieval in Online Social Tagging Networks.

Chakradhara Reddy Chinthapanti: Two Dimensional Random Patterns.

Bashir Ahmad, Shakeel Ahmad, Shahid Hussain, Muhammad Zaheer Aslam, Zafar Abbas: Automatic Vehicle Checking Agent (VCA).

Muhammad Zaheer Aslam, Nasimullah, Abdur Rashid Khan: A Proposed Decision Support .

Marko D. Petkovic, Predrag S. Stanimirovic, Milan B. Tasic: Effective partitioning method for computing weighted Moore-Penrose inverse.

Milan B. Tasic, Predrag S. Stanimirovic, Marko D. Petkovic: Symbolic computation of weighted Moore-Penrose inverse using partitioning method.

Predrag S. Stanimirovic, Milan B. Tasic: Computing generalized inverses using LU factorization of matrix product.

Milan B. Tasic, Predrag S. Stanimirovic, Selver H. Pepic: About the generalized LM-inverse and the weighted Moore-Penrose inverse.

Andrew Adamatzky, Ben de Lacy Costello, Julian Holley, Jerzy Gorecki, Larry Bull: Vesicle computers: Approximating Voronoi diagram on Voronoi automata.

Frédéric Alauzet, Olivier Pironneau: Continuous and Discrete Adjoints to the Euler Equations for Fluids.

Klaus Iglberger, Georg Hager, Jan Treibig, Ulrich Rüde: Expression Templates Revisited: A Performance Analysis of the Current ET Methodology.

Venkatesan Guruswami, Ali Kemal Sinop: Optimal Column-Based Low-Rank Matrix Reconstruction.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg: Reactive Turing Machines.

Yuan Zhang, Cihan Tepedelenlioglu: Asymptotic Capacity Analysis for Adaptive Transmission Schemes under General Fading Distributions.

Adarsh B. Narasimhamurthy, Cihan Tepedelenlioglu, Yuan Zhang: Multi-User Diversity with Random Number of Users.

Iordanis Kerenidis, Shengyu Zhang: A quantum protocol for sampling correlated equilibria unconditionally and without a mediator.

Eduardo Hwang: Dimensionality Decrease Heuristics for NP Complete Problems.

Milan Basic: Which weighted circulant networks have perfect state transfer?

Francis George Cabarle, Henry Adorna, Miguel A. Martínez-del-Amor: Simulating Spiking Neural P systems without delays using GPUs.

Milan Basic: Characterization of circulant graphs having perfect state transfer.

Tony T. Lee, Yujie Wan, Hao Guan: Randomized $\Delta$-Edge-Coloring via Quaternion of Complex Colors.

Ichrak Amdouni, Pascale Minet, Cedric Adjih: Node coloring for dense wireless sensor networks.

K. Suresh: "Improved FCM algorithm for Clustering on Web Usage Mining".

Carsten Lemmen, Detlef Gronenborn, Kai W. Wirtz: A simulation of the Neolithic transition in Western Eurasia.

Aris L. Moustakas: Tails of Random Matrix Diagonal Elements: The Case of the Wishart Inverse.

David Tolpin, Solomon Eyal Shimony: Rational Deployment of CSP Heuristics.

M. S. Shirdhonkar, Manesh Kokare: Off-Line Handwritten Signature Retrieval using Curvelet Transforms.

Lilatul Ferdouse, Nasrin Akhter, Tamanna Haque Nipa, Fariha Tasmin Jaigirdar: Simulation and Performance Analysis of Adaptive Filtering Algorithms in Noise Cancellation.

Ali Rezaei Divroodi, Linh Anh Nguyen: On Bisimulations for Description Logics.

Carlos Munuera, Morgan Barbier: Wet paper codes and the dual distance in steganography.

Kevin S. Xu, Mark Kliger, Alfred O. Hero III: Adaptive Evolutionary Clustering.

Huan He, Ke Xu, Ying Liu: Internet Resource Pricing Models, Mechanisms, and Methods.

Sham Kakade, Adam Tauman Kalai, Varun Kanade, Ohad Shamir: Efficient Learning of Generalized Linear and Single Index Models with Isotonic Regression.

Yavor Angelov Parvanov: Materials to the Russian-Bulgarian Comparative Dictionary "EAD".

Jakob Hoydis, Mari Kobayashi, Mérouane Debbah: Optimal Channel Training in Uplink Network MIMO Systems.

Kwie Min Wong: Template-based matching using weight maps.

Alwin de Rooij: GEOMIR2K9 - A Similar Scene Finder.

Prabhanjan Ananth, Meghana Nasre: New Hardness Results in Rainbow Connectivity.

Malik Magdon-Ismail: A Note On Estimating the Spectral Norm of A Matrix Efficiently.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Optimizing XML querying using type-based document projection.

Slav Petrov, Dipanjan Das, Ryan T. McDonald: A Universal Part-of-Speech Tagset.

Vladimir Pestov: PAC learnability versus VC dimension: a footnote to a basic result of statistical learning.

Namrata Vaswani: Stability of Modified-CS and LS-CS for Recursive Reconstruction of Sparse Signal Sequences.

Heechul Yun, Cheolgi Kim, Lui Sha: Deterministic Real-time Thread Scheduling.

Vasanthan Raghavan, Stephen V. Hanly, Venugopal V. Veeravalli: Statistical Beamforming on the Grassmann Manifold for the Two-User Broadcast Channel.

Maximilian Ott, Yan Shvartzshnaider: A Case for a Global Information Network.

Zhe Wang, Kai Hu, Ke Xu, Baolin Yin: Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit.

Sibel Tari, Murat Genctav: From a Modified Ambrosio-Tortorelli to a Randomized Part Hierarchy Tree.

Sibel Tari: Extracting Parts of 2D Shapes Using Local and Global Interactions Simultaneously.

Georg Groh, Florian Straub, Andreas Donaubauer, Benjamin Koster: Space and Time as a Primary Classification Criterion for Information Retrieval in Distributed Social Networking.

Ori Shental: Sparse Representation of White Gaussian Noise with Application to L0-Norm Decoding in Noisy Compressed Sensing.

Yannai A. Gonczarowski, Ehud Friedgut: On Sisterhood in the Gale-Shapley Matching Algorithm.

Fedor V. Fomin, Yngve Villanger: Subexponential Parameterized Algorithm for Minimum Fill-in.

Boris Ryabko, Pavel Pristavka: Experimental Investigation of Forecasting Methods Based on Universal Measures.

Gianpaolo Oriolo, Ugo Pietropaoli, Gautier Stauffer: On the Recognition of Fuzzy Circular Interval Graphs.

Vince Bárány, Mikolaj Bojanczyk: Finite Satisfiability for Guarded Fixpoint Logic.

David Greenwood, Ian Sommerville: Responsibility Modeling for the Sociotechnical Risk Analysis of Coalitions of Systems.

Frank Kammer, Torsten Tholey: Approximate Tree Decompositions of Planar Graphs in Linear Time.

C. Ramya, K. S. Shreedhara, G. Kavitha: Preprocessing: A Prerequisite for Discovering Patterns in WUM Process.

Abhishek Das, Avijit Kar, Debasis Bhattacharyya: Elimination of Specular .

Camil Demetrescu, Irene Finocchi, Andrea Ribichini: Reactive Imperative Programming with Dataflow Constraints.

Edith Hemaspaandra, Henning Schnoor: Minimization for Generalized Boolean Formulas.

Kook Jin Ahn, Sudipto Guha: Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem.

Ido Nevat, Gareth W. Peters, Iain B. Collings, Jinhong Yuan: Cooperative Spectrum Sensing with Partial CSI.

Muhammad Zaheer Aslam, Abdur Rashid Khan: Comparison of Random Waypoint & Random Walk Mobility Model under DSR, AODV & DSDV MANET Routing Protocols.

Michael P. Friedlander, Mark W. Schmidt: Hybrid Deterministic-Stochastic Methods for Data Fitting.

Devavrat Shah, Jinwoo Shin, Prasad Tetali: Efficient Distributed Medium Access.

Lila Kari, Steffen Kopecki, Shinnosuke Seki: On the regularity of iterated hairpin completion of a single word.

A. N. Trahtman: Modifying the upper bound on the length of minimal synchronizing word.

Claus-Peter Wirth: A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.

Shibdas Roy: Towards Normal Forms for GHZ/W Calculus.

Juanjo Rué, Ignasi Sau, Dimitrios M. Thilikos: Dynamic Programming for Graphs on Surfaces.

Rahul Jain, Penghui Yao: A Parallel Approximation Algorithm for Positive Semidefinite Programming.

Julio Enrique Castrillon-Candas, Jun Li, Victor Eijkhout: A Discrete Adapted Hierarchical Basis Solver For Radial Basis Function Interpolation.

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf: Design, Engineering, and .

Steven Chaplick, Juraj Stacho: The vertex leafage of chordal graphs.

Bernhard Haeupler, David R. Karger: Faster Information Dissemination in Dynamic Networks via Network Coding.

Stefan Jaeger: Computational Complexity on Signed Numbers.

Serge Gaspers, Stefan Szeider: Kernels for Global Constraints.

Mingqiang Li, Jiwu Shu: C-Codes: Cyclic Lowest-Density MDS Array Codes Constructed Using Starters for RAID 6.

Anvesh Reddy Aileni: Key Management in Mobile Sensor Networks.

Erik Saule, Erdeniz Ö. Bas, Ümit V. Çatalyürek: Load-Balancing Spatially Located Computations using Rectangular Partitions.

Diego Rother, Simon Schütz, René Vidal: A Computational Focus of Attention Mechanism to Process Shapes Efficiently: Theory.

Konstantinos Nikitopoulos, Gerd Ascheid: Approximate MIMO Iterative Processing with Adjustable Complexity Requirements.

Rajeev Alur, Loris D'Antoni: Streaming Tree Transducers.

Fernando G. Lobo: Idealized Dynamic Population Sizing for Uniformly Scaled Problems.

David Baelde, Romain Beauxis, Samuel Mimram: Liquidsoap: a High-Level Programming Language for Multimedia Streaming.

Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik: Efficient computation of approximate pure Nash equilibria.

Alaa H. Al-Hamami, Soukaena H. Hashem: Optimal Cell Towers Distribution by using Spatial Mining and Geographic Information System.

Gleb Beliakov: Parallel calculation of the median and order statistics on GPUs with application to robust regression.

Cagri Aslan, Sibel Tari: An Axis-Based Representation for Recognition.

Cagri Aslan, Aykut Erdem, Erkut Erdem, Sibel Tari: Disconnected Skeleton: Shape at its Absolute Scale.

Tanzima Hashem, Lars Kulik, Rui Zhang: Privacy Preserving Moving KNN Queries.

Pascal Bianchi, Jérémie Jakubowicz: Distributed Stochastic Approximation for Constrained and Unconstrained Optimization.

Ali Tajer, Aria Nosratinia, Naofal Al-Dhahir: Diversity Analysis of Symbol-by-Symbol Linear Equalizers.

Johannes Klaus Fichte, Stefan Szeider: Backdoors to Tractable Answer-Set Programming.

John Iacono, Mihai Patrascu: Using Hashing to Solve the Dictionary Problem (In External Memory).

Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence.

Bin Fu, Matthew J. Patitz, Robert T. Schweller, Bobby Sheline: Self-Assembly with Geometric Tiles.

Marius Zimand: On the optimal compression of sets in PSPACE.

Gregory Gutin, Mark Jones, Anders Yeo: A New Bound for 3-Satisfiable MaxSat and its Algorithmic Application.

Zaenal Akbar, Laksana Tri Handoko: Pattern discovery for semi-structured web pages using bar-tree representation.

Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.

Sebastian Ordyniak, Stefan Szeider: Augmenting Tractable Fragments of Abstract Argumentation.

Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-theoretic Characterizations and Rewritability.

Mayur Agrawal, Zachary Chance, David James Love, Venkataramanan Balakrishnan: Using Channel Output Feedback to Increase Throughput in Hybrid-ARQ.

Ning Chen, Nick Gravin, Pinyan Lu: Mechanism Design without Money via Stable Matching.

Liam Roditty, Virginia Vassilevska Williams: Minimum Weight Cycles and Triangles: Equivalences and Algorithms.

Krishnendu Chatterjee, Laurent Doyen: Energy and Mean-Payoff Parity Markov Decision Processes.

Alantha Newman, Aleksandar Nikolov: A counterexample to Beck's conjecture on the discrepancy of three permutations.

Robert Sanderson, Benjamin Albritton, Rafael Schwemmer, Herbert Van de Sompel: SharedCanvas: A Collaborative Model for Medieval Manuscript Layout Dissemination.

Sergey Goncharov, Lutz Schröder: A Coinductive Calculus for Asynchronous Side-effecting Processes.

Yashodhan Kanoria, Andrea Montanari: Subexponential convergence for information aggregation on regular trees.

Arman Rezaee, Linda Zeger, Muriel Médard: Speeding Multicast by Acknowledgment Reduction Technique (SMART).

Keren Censor-Hillel, Bernhard Haeupler, Jonathan A. Kelner, Petar Maymounkov: Global Computation in a Poorly Connected World: Fast Rumor Spreading with No Dependence on Conductance.

Anand Bhalgat, Deeparnab Chakrabarty, Sanjeev Khanna: Social Welfare in One-sided Matching Markets without Money.

Mireille Arnoux, Thierry Despeyroux: Multi-representation d'une ontologie : OWL, bases de donnees, systèmes de types et d'objets.

Andreas Maletti, Daniel Quernheim: Optimal Hyper-Minimization.

Mohammad Iftekhar Husain, Steven Y. Ko, Atri Rudra, Steve Uurtamo: Storage Enforcement with Kolmogorov Complexity and List Decoding.

Sébastien Collette, John Iacono, Stefan Langerman: Confluent Persistence Revisited.

Johan Wästlund: When only the last one will do.

Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj: Pushing undecidability of the isolation problem for probabilistic automata.

Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj: A Class of Probabilistic Automata with a Decidable Value 1 Problem.

Ross D. King: Numbers as Data Structures: The Prime Successor Function as Primitive.

Michal Pilipczuk: Problems parameterized by treewidth tractable in single exponential time: a logical approach.

J. Selva: Efficient Maximum Likelihood Estimation of a 2-D Complex Sinusoidal Based on Barycentric Interpolation.

Minati De, Subhas C. Nandy: Inplace Algorithm for Priority Search Tree and its use in Computing Largest Empty Axis-Parallel Rectangle.

Kasper Green Larsen, Rasmus Pagh: I/O-Efficient Data Structures for Colored Range and Prefix Reporting.

Tobias Mömke, Ola Svensson: Approximating Graphic TSP by Matchings.

Valerio Capraro: Existence of optimal strategies for the Operation Game into amenable semigroups.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang: On Stabilization in Herman's Algorithm.

Yevgeniy Vorobeychik, Jackson Mayo, Robert C. Armstrong, Joseph R. Ruthruff: Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems.

Eli Gottlieb: Simple, Decidable Type Inference with Subtyping.

Hao Zhu, Georgios B. Giannakis: Estimating the State of AC Power Systems using Semidefinite Programming.

Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free.

Sara Ahmadian, Chaitanya Swamy: Improved Approximation Guarantees for Lower-Bounded Facility Location.

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema: Complexity of two-variable Dependence Logic and IF-Logic.

Chris Marriott, Carlos Gershenson: Polyethism in a colony of artificial ants.

Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter, Bartosz Szreder, Tomasz Walen: Efficient Seeds Computation Revisited.

Laurent Jacques, Jason N. Laska, Petros Boufounos, Richard G. Baraniuk: Robust 1-Bit Compressive Sensing via Binary Stable Embeddings of Sparse Vectors.

Jing Huang, A. Lee Swindlehurst: Robust Secure Transmission in MISO Channels Based on Worst-Case Optimization.

Hussein Al-Zubaidy, Changcheng Huang, James Yan: Dynamic Packet Scheduler Optimization in Wireless Relay Networks.

Ilya Razenshteyn: Common information revisited.

Aleksandar Ilic, Dragan Stevanovic: Constructions of hamiltonian graphs with bounded degree and diameter O (log n).

Cagatay Capar, Dennis Goeckel, Donald F. Towsley: Broadcast Analysis for Large Cooperative Wireless Networks.

Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives.

Hongrae Lee, Raymond T. Ng, Kyuseok Shim: Similarity Join Size Estimation using Locality Sensitive Hashing.

Ziyang Liu, Sivaramakrishnan Natarajan, Yi Chen: Query Expansion Based on Clustered Results.

Debabrata Dash, Neoklis Polyzotis, Anastasia Ailamaki: CoPhy: A Scalable, Portable, and Interactive Index Advisor for Large Workloads.

Feng Niu, Christopher Ré, AnHai Doan, Jude W. Shavlik: Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS.

Eaman Jahani, Michael J. Cafarella, Christopher Ré: Automatic Optimization for MapReduce Programs.

De-Nian Yang, Yi-Ling Chen, Wang-Chien Lee, Ming-Syan Chen: On Social-Temporal Group Query with Acquaintance Constraint.

Babak Bashari Rad, Maslin Masrom: Metamorphic Virus Variants Classification Using Opcode Frequency Histogram.

Babak Bashari Rad, Maslin Masrom: Metamorphic Virus Detection in Portable Executables Using Opcodes Statistical Feature.

Salah Rifai, Xavier Glorot, Yoshua Bengio, Pascal Vincent: Adding noise to the input of a model trained with a regularized objective.

Quang-Cuong Pham: Affine trajectory correction for nonholonomic mobile robots.

Emeric Gioan, Christophe Paul, Marc Tedder, Derek G. Corneil: Practical and Efficient Split Decomposition via Graph-Labelled Trees.

Emeric Gioan, Christophe Paul, Marc Tedder, Derek G. Corneil: Circle Graph Recognition in Time $O(n+m) \alpha(n+m)$.

Wei Kang, Nan Liu: The Gaussian Multiple Access Diamond Channel.

Shlomi Dolev, Sergey Frenkel, Dan E. Tamir: Computer Arithmetic Preserving Hamming Distance of Operands in Operation Result.

Zino H. Hu: On Direct Product of Strongly Connected Automata.

Wojciech Fraczek, Wojciech Mazurczyk, Krzysztof Szczypiorski: Hiding Information in a Stream Control Transmission Protocol.

Hamed Hatami, Shachar Lovett: Correlation Testing for Affine Invariant Properties on $\mathbb{F}_p^n$ in the High Error Regime.

Diederik Aerts, Liane Gabora, Sandro Sozzo, Tomas Veloz: Quantum Structure in Cognition: Fundamentals and Applications.

Diederik Aerts, Marek Czachor, Sandro Sozzo: Quantum Interaction Approach in Cognition, Artificial Intelligence and Robotics.

Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.

Simona Grusea, Anthony Labarre: The distribution of cycles in breakpoint graphs of signed permutations.

Christian Senger, Vladimir Sidorenko, Martin Bossert, Victor V. Zyablov: Optimal Threshold-Based Multi-Trial Error/Erasure Decoding with the Guruswami-Sudan Algorithm.

Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten: Empirical Encounters with Computational Irreducibility and Unpredictability.

M. A. Shalu, S. Vijayakumar: The Two Bicliques Problem is in NP intersection coNP.

Gabriel Popa: Characterization of Random Linear.

Yoo Chung, Dongman Lee: Probabilistic Analysis of Loss in Interface Adapter Chaining.

Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.

Pin-Hsun Lin, Shih-Chun Lin, Hsuan-Jung Su, Yao-Win Peter Hong: Clean relaying aided cognitive radio under the coexistence constraint.

Wooseok Nam, Seung-Hyun Kong: Least-squares based iterative multipath super-resolution technique.

B. G. Kodge, P. S. Hiremath: An Effect of Spatial Filtering in Visualization of Coronary Arteries Imaging.

Paul Regnier, George Lima, Ernesto Massa: An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor.

Ruhi Tuncer: Evolutionary Foundations of Mathematics.

Franklin Felber: An automatic volume control for preserving intelligibility.

Rafael F. Wyrembelski, Holger Boche: How to Achieve Privacy in Bidirectional Relay Networks.

Seongwook Jeong, Jaekyun Moon: Soft-In Soft-Out DFE and Bi-directional DFE.

B. G. Kodge, P. S. Hiremath: Visualization techniques for data mining of Latur district satellite imagery.

Brian Ball, Brian Karrer, M. E. J. Newman: An efficient and principled method for detecting communities in networks.

Randall Dougherty, Christopher F. Freiling, Kenneth Zeger: Non-Shannon Information Inequalities in Four Random Variables.

Juergen Mangler, Stefanie Rinderle-Ma: IUPC: Identification and Unification of Process Constraints.

Ying Liu, Hongying Liu, Ke Xu, Meng Shen, Yifeng Zhong: A Large Family of Multi-path Dual Congestion Control Algorithms.

Lili Zhang, Jinhua Jiang, Shuguang Cui: Interference Channel with State Information.

Chuan Huang, Jinhua Jiang, Shuguang Cui: Asymptotic Capacity of Large Relay Networks with Conferencing Links.

Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov, Christophe Paul: Contracting Graphs to Paths and Trees.

Chingtham Tejbanta Singh, G. Sahoo, M. K. Ghose: An Unmanned Aerial Vehicle as Human-Assistant Robotics System.

Lamia Benamara, Clémence Magnien: Removing bias due to finite measurement of dynamic systems: case study on P2P systems.

Johannes Blömer, Stefanie Naewe: Solving the Closest Vector Problem with respect to $\ell_p$ Norms.

David Malone, Kevin Maher: Investigating the Distribution of Password Choices.

Anne-Maria Ernvall-Hytönen: On a conjecture by Belfiore and Solé on some lattices.

Fillipe Dias Moreira de Souza, Eduardo Valle, Guillermo Camara Chávez, Arnaldo de Albuquerque Araújo: Hue Histograms to Spatiotemporal Local Features for Action Recognition.

Per Austrin, Mark Braverman, Eden Chlamtac: Inapproximability of NP-Complete Variants of Nash Equilibrium.

Francesco Bonchi, Pooya Esfandiar, David F. Gleich, Chen Greif, Laks V. S. Lakshmanan: Fast matrix computations for pair-wise and column-wise commute times and Katz scores.

Masaaki Miki: Extended force density method and its expressions.

Tarun Agarwal, Shuguang Cui: Noncooperative Games for Autonomous Consumer Load Balancing over Smart Grid.

Alexandra Kolla, Konstantin Makarychev, Yury Makarychev: How to Play Unique Games against a Semi-Random Adversary.

Stephan Kreutzer, Siamak Tazari: Directed Nowhere Dense Classes of Graphs.

Juha Kärkkäinen, Simon J. Puglisi: Fixed Block Compression Boosting in FM-Indexes.

Ery Arias-Castro, Yonina C. Eldar: Noise Folding in Compressed Sensing.

Zachary Fitzsimmons, Robin Y. Flatland: Collective Construction of 2D Block Structures with Holes.

Michiel W. van Tol, Juha Koivisto: Extending and Implementing the Self-adaptive Virtual Processor for Distributed Memory Architectures.

Hongmei Xie, Zhiyuan Yan, Bruce W. Suter: General Linearized Polynomial Interpolation and Its Applications.

Lovro Subelj, Stefan Furlan, Marko Bajec: An expert system for detecting automobile insurance fraud using social network analysis.

Joachim Kneis, Alexander Langer, Peter Rossmanith: Courcelle's Theorem - A Game-Theoretic Approach.

Ali Tajer, Xiaodong Wang: Information Exchange Limits in Cooperative MIMO Networks.

Cynthia Dwork, Moritz Hardt, Toniann Pitassi, Omer Reingold, Richard S. Zemel: Fairness Through Awareness.

Bundit Laekhanukit: An improved approximation algorithm for the minimum-cost subset k-connected subgraph problem.

Christian Drescher, Toby Walsh: Translation-based Constraint Answer Set Solving.

Libin Shen: Understanding Exhaustive Pattern Learning.

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh: Symmetry Breaking for Distributed Multi-Context Systems.

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO.