Computer Science

Authors and titles for November 2011

[101] arXiv:1111.0762 [pdf, other]

Title: Multidimensional Balanced Allocation for Multiple Choice & (1 + Beta) Processes

Ankur Narang, Sourav Dutta, Souvik Bhattacherjee

Subjects: Data Structures and Algorithms (cs.DS)

[102] arXiv:1111.0773 [pdf, other]

Title: On the Value of Job Migration in Online Makespan Minimization

Susanne Albers, Matthias Hellwig

Comments: Revised version

Subjects: Data Structures and Algorithms (cs.DS)

[103] arXiv:1111.0801 [pdf, other]

Title: Perfectly Balanced Allocation With Estimated Average Using Expected Constant Retries

Sourav Dutta, Souvik Bhattacherjee, Ankur Narang

Subjects: Data Structures and Algorithms (cs.DS)

[104] arXiv:1111.0808 [pdf, other]

Title: Quantum/Relativistic Computation of Security and Efficiency of Electrical Power System for a Day-Ahead

Stefan Z. Stefanov

Comments: 52 pages, extended version

Subjects: Other Computer Science (cs.OH)

[105] arXiv:1111.0855 [pdf, other]

Title: OSERENA, an Optimized Coloring Algorithm for Dense or Large Scale Wireless Networks

Ichrak Amdouni (INRIA Rocquencourt), Minet Pascale (INRIA Rocquencourt), Cédric Adjih (INRIA Rocquencourt)

Comments: No. RR-7785 (2011)

Subjects: Networking and Internet Architecture (cs.NI)

[106] arXiv:1111.0860 [pdf, other]

Title: Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas

E. Giunchiglia, M. Narizzano, A. Tacchella

Journal-ref: Journal Of Artificial Intelligence Research, Volume 26, pages 371-416, 2006

Subjects: Artificial Intelligence (cs.AI)

[107] arXiv:1111.0862 [pdf, other]

Title: Quantitative Languages Defined by Functional Automata

Emmanuel Filiot (Université Libre de Bruxelles), Raffaella Gentilini (Università degli Studi di Perugia), Jean-François Raskin (Université Libre de Bruxelles)

Comments: 32 pages, extended version of CONCUR'12

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1590

Subjects: Formal Languages and Automata Theory (cs.FL)

[108] arXiv:1111.0870 [pdf, other]

Title: A Formal Approach for Agent Based Large Concurrent Intelligent Systems

Ankit Chaudhary, Jagdish L. Raheja

Comments: IJAET Vol.1, Issue 1, 2010, 95-103

Subjects: Software Engineering (cs.SE)

[109] arXiv:1111.0873 [pdf, other]

Title: Collective Energy Foraging of Robot Swarms and Robot Organisms

Serge Kernbach

Subjects: Robotics (cs.RO)

[110] arXiv:1111.0875 [pdf, other]

Title: Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation

Aditya Kurve, Christopher Griffin, David J. Miller, George Kesidis

Comments: Requires a more thorough study on actual simulator platform

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[111] arXiv:1111.0882 [pdf, other]

Title: Using Neighborhood Beyond One Hop in Disruption-Tolerant Networks

Tiphaine Phe-Neau, Marcelo Dias de Amorim, Vania Conan

Comments: 5 pages, 5 figures, 1 table

Subjects: Networking and Internet Architecture (cs.NI)

[112] arXiv:1111.0885 [pdf, other]

Title: Graph Regularized Nonnegative Matrix Factorization for Hyperspectral Data Unmixing

Roozbeh Rajabi, Mahdi Khodadadzadeh, Hassan Ghassemian

Comments: 4 pages, conference

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[113] arXiv:1111.0897 [pdf, other]

Title: Active Property Testing

Maria-Florina Balcan, Eric Blais, Avrim Blum, Liu Yang

Subjects: Data Structures and Algorithms (cs.DS)

[114] arXiv:1111.0907 [pdf, other]

Title: Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem

Yang Yu, Chao Qian, Zhi-Hua Zhou

Subjects: Neural and Evolutionary Computing (cs.NE)

[115] arXiv:1111.0920 [pdf, other]

Title: Extracting spatial information from networks with low-order eigenvectors

Mihai Cucuringu, Vincent D. Blondel, Paul Van Dooren

Comments: 15 pages

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[116] arXiv:1111.0922 [pdf, other]

Title: Comparison of different Propagation Steps for the Lattice Boltzmann Method

Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein

Comments: 17 pages, 11 figures, 8 tables, preprint submitted to Computers & Mathematics with Applications

Journal-ref: Computers & Mathematics with Applications, Volume 65, Issue 6, Pages 924-935 (2013)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[117] arXiv:1111.0934 [pdf, other]

Title: Improved integer programming models for simple assembly line balancing and related problems

Marcus Ritt, Alysson M. Costa

Comments: 17 pages

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[118] arXiv:1111.0948 [pdf, other]

Title: Network Characteristics of Video Streaming Traffic

Ashwin Rao (INRIA Sophia Antipolis / INRIA Grenoble Rhône-Alpes), Yeon-Sup Lim, Chadi Barakat (INRIA Sophia Antipolis / INRIA Grenoble Rhône-Alpes), Arnaud Legout (INRIA Sophia Antipolis / INRIA Grenoble Rhône-Alpes), Don Towsley, Walid Dabbous (INRIA Sophia Antipolis / INRIA Grenoble Rhône-Alpes)

Comments: This is the author version of the paper accepted as a full paper at ACM CoNEXT 2011

Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)

[119] arXiv:1111.0952 [pdf, other]

Title: Computing a Nonnegative Matrix Factorization -- Provably

Sanjeev Arora, Rong Ge, Ravi Kannan, Ankur Moitra

Comments: 29 pages, 3 figures

Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)

[120] arXiv:1111.0965 [pdf, other]

Title: Many Sparse Cuts via Higher Eigenvalues

Anand Louis, Prasad Raghavendra, Prasad Tetali, Santosh Vempala

Subjects: Data Structures and Algorithms (cs.DS)

[121] arXiv:1111.0983 [pdf, other]

Title: A Finite Difference Ghost-Cell Multigrid Approach for Poisson Equation with Mixed Boundary Conditions in Arbitrary Domain

Armando Coco, Giovanni Russo

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[122] arXiv:1111.1011 [pdf, other]

Title: Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Mohamed Faouzi Atig (LIAFA, CNRS and University of Paris Diderot (Paris 7)), Ahmed Bouajjani (LIAFA, CNRS and University of Paris Diderot (Paris 7)), Shaz Qadeer (Microsoft Research, Redmond)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 4 (November 23, 2011) lmcs:708

Subjects: Logic in Computer Science (cs.LO)

[123] arXiv:1111.1013 [pdf, other]

Title: Better bases for kernel spaces

E. J. Fuselier, T. C. Hangelbroek, F. J. Narcowich, J. D. Ward, G. B. Wright

Comments: 26 pages, 5 figures, 3 tables

Subjects: Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA)

[124] arXiv:1111.1014 [pdf, other]

Title: Sparsity and Robustness in Face Recognition

John Wright, Arvind Ganesh, Allen Yang, Zihan Zhou, Yi Ma

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[125] arXiv:1111.1020 [pdf, other]

Title: Stochastic Belief Propagation: A Low-Complexity Alternative to the Sum-Product Algorithm

Nima Noorshams, Martin J. Wainwright

Comments: Portions of the results were initially reported at the Allerton Conference on Communications, Control, and Computing (September 2011). The work was also submitted to IEEE Transaction on Information Theory in November 2011

Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

[126] arXiv:1111.1022 [pdf, other]

Title: Towards the integration of formal specification in the \'Ancora methodology

Carlos Alberto Fernandez-y-Fernandez, Martín José José

Subjects: Software Engineering (cs.SE)

[127] arXiv:1111.1041 [pdf, other]

Title: Accurate Prediction of Phase Transitions in Compressed Sensing via a Connection to Minimax Denoising

David Donoho, Iain Johnstone, Andrea Montanari

Comments: 71 pages, 32 pdf figures

Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)

[128] arXiv:1111.1048 [pdf, other]

Title: Achievable and Crystallized Rate Regions of the Interference Channel with Interference as Noise

Mohamad Awad Charafeddine, Aydin Sezgin, Zhu Han, Arogyaswami Paulraj

Comments: 28 pages, 12 figures, to appear in IEEE Transactions of Wireless Communication

Journal-ref: IEEE Transactions of Wireless Communications, March 2012, Volume 11, Issue 3, Pages 1100-1111

Subjects: Information Theory (cs.IT)

[129] arXiv:1111.1051 [pdf, other]

Title: Multiuser Diversity in Interfering Broadcast Channels: Achievable Degrees of Freedom and User Scaling Law

Jung Hoon Lee, Wan Choi, Bhaskar D. Rao

Comments: To appear, IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[130] arXiv:1111.1053 [pdf, other]

Title: Modelling and Performance analysis of a Network of Chemical Sensors with Dynamic Collaboration

Alex Skvortsov, Branko Ristic

Comments: 21 pages and 7 figures

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[131] arXiv:1111.1084 [pdf, other]

Title: Sparse Differential Resultant for Laurent Differential Polynomials

Wei Li, Chun-Ming Yuan, Xiao-Shan Gao

Comments: 70 pages

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

[132] arXiv:1111.1086 [pdf, other]

Title: Design and Simulation of an 8-bit Dedicated Processor for calculating the Sine and Cosine of an Angle using the CORDIC Algorithm

Aman Chadha, Divya Jyoti, M. G. Bhatia

Comments: CORDIC, VHDL, dedicated processor, datapath, finite state machine

Journal-ref: Proceedings of the 2011 IEEE International Conference on Computational Intelligence and Computing Research (ICCIC); IEEE Xplore: CFB1120J-ART; ISBN: 978-1-61284-694-1; Print Version: CFB1120J-PRT; ISBN: 978-1-61284-766-5

Subjects: Hardware Architecture (cs.AR); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS)

[133] arXiv:1111.1090 [pdf, other]

Title: A robust, low-cost approach to Face Detection and Face Recognition

Divya Jyoti, Aman Chadha, Pallavi Vaidya, M. Mani Roja

Comments: discrete wavelet transform, face detection, face recognition, person identification

Journal-ref: CiiT International Journal of Digital Image Processing, Vol. 15, No. 10, October 2011, ISSN 0974 - 9691 (Print) & ISSN 0974 - 9586 (Online)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Cryptography and Security (cs.CR); Image and Video Processing (eess.IV)

[134] arXiv:1111.1092 [pdf, other]

Title: A finite volume scheme for nonlinear degenerate parabolic equations

Marianne Bessemoulin-Chatard (LMBP), Francis Filbet (ICJ)

Journal-ref: SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (5), pp.559-583

Subjects: Numerical Analysis (math.NA)

[135] arXiv:1111.1093 [pdf, other]

Title: Securing Biometric Images using Reversible Watermarking

Sabu M. Thampi, Ann Jisma Jacob

Comments: 8 pages, 7 figures

Journal-ref: International Journal of Image Processing (IJIP), Volume: 5,Issue:4, September/October 2011

Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)

[136] arXiv:1111.1094 [pdf, other]

Title: On Three Challenges of Artificial Living Systems and Embodied Evolution

Serge Kernbach

Subjects: Robotics (cs.RO); Emerging Technologies (cs.ET)

[137] arXiv:1111.1103 [pdf, other]

Title: Using a Telepresence System to Investigate Route Choice Behavior

Tobias Kretz, Stefan Hengst, Antonia Pérez Arias, Simon Friedberger, Uwe D. Hanebeck

Comments: Preprint of TGF11 (Traffic and Granular Flow, Moscow, September 2011) conference proceedings contribution

Subjects: Human-Computer Interaction (cs.HC)

[138] arXiv:1111.1109 [pdf, other]

Title: Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs

Martin Grohe, Dániel Marx

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[139] arXiv:1111.1124 [pdf, other]

Title: Tight Bounds on Proper Equivalence Query Learning of DNF

Lisa Hellerstein, Devorah Kletenik, Linda Sellie, Rocco Servedio

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC)

[140] arXiv:1111.1129 [pdf, other]

Title: Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations

Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein

Journal-ref: Computers & Fluids, Volume 80, Pages 283-289 (2013)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[141] arXiv:1111.1136 [pdf, other]

Title: Universal MMSE Filtering With Logarithmic Adaptive Regret

Dan Garber, Elad Hazan

Comments: 14 pages

Subjects: Machine Learning (cs.LG); Information Theory (cs.IT)

[142] arXiv:1111.1144 [pdf, other]

Title: The State-Dependent Semideterministic Broadcast Channel

Amos Lapidoth, Ligong Wang

Comments: To appear in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[143] arXiv:1111.1167 [pdf, other]

Title: Second Order Multigrid Methods for Elliptic Problems with Discontinuous Coefficients on an Arbitrary Interface, I: One Dimensional Problems

Armando Coco, Giovanni Russo

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[144] arXiv:1111.1170 [pdf, other]

Title: Record-replay debugging for the SCOOP concurrency model

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[145] arXiv:1111.1182 [pdf, other]

Title: Error estimates for shock capturing finite element approximations of the one dimensional Burgers' equation

Erik Burman

Comments: 22 pages

Subjects: Numerical Analysis (math.NA)

[146] arXiv:1111.1191 [pdf, other]

Title: Constant Envelope Precoding for Power-Efficient Downlink Wireless Communication in Multi-User MIMO Systems Using Large Antenna Arrays

Saif Khan Mohammed, Erik G. Larsson

Comments: Submitted to 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP' 2012)

Subjects: Information Theory (cs.IT)

[147] arXiv:1111.1227 [pdf, other]

Title: More Voices Than Ever? Quantifying Media Bias in Networks

Yu-Ru Lin, James P. Bagrow, David Lazer

Comments: 10 Pages, 7 figures, appeared in ICWSM 2011

Journal-ref: Proceedings of the Fifth International AAAI Conference on Weblogs and Social Media (ICWSM 2011), 17-21 July 2011, Barcelona, Spain

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)

[148] arXiv:1111.1250 [pdf, other]

Title: Using Transcoding for Hidden Communication in IP Telephony

Wojciech Mazurczyk, Pawel Szaga, Krzysztof Szczypiorski

Comments: 17 pages, 16 figures, 4 tables

Subjects: Cryptography and Security (cs.CR); Multimedia (cs.MM)

[149] arXiv:1111.1261 [pdf, other]

Title: A Casual Tour Around a Circuit Complexity Bound

Ryan Williams

Comments: 21 pages, 2 figures. An earlier version appeared in SIGACT News, September 2011

Subjects: Computational Complexity (cs.CC)

[150] arXiv:1111.1274 [pdf, other]

Title: Catching the k-NAESAT Threshold

Amin Coja-Oghlan, Konstantinos Panagiotou

Journal-ref: Proc. 44th STOC (2012) 899 - 908)

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)