Computer Science

Authors and titles for November 2011

[1] arXiv:1111.0024 [pdf, other]

Title: Text-Independent Speaker Recognition for Low SNR Environments with Encryption

Aman Chadha, Divya Jyoti, M. Mani Roja

Comments: Biometrics, Pattern Recognition, Security, Speaker Individuality, Text-independence, Pitch Extraction, Voice Recognition, Autocorrelation; Published by Foundation of Computer Science, New York, USA

Journal-ref: International Journal of Computer Applications 31(10):43-50, 2011

Subjects: Sound (cs.SD); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)

[2] arXiv:1111.0039 [pdf, other]

Title: Reasoning with Very Expressive Fuzzy Description Logics

I. Horrocks, J. Z. Pan, G. Stamou, G. Stoilos, V. Tzouvaras

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 273-320, 2007

Subjects: Artificial Intelligence (cs.AI)

[3] arXiv:1111.0040 [pdf, other]

Title: New Inference Rules for Max-SAT

C. M. Li, F. Manya, J. Planes

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 321-359, 2007

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:1111.0041 [pdf, other]

Title: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language

R. H. Bordini, A. F. Moreira, R. Vieira, M. Wooldridge

Journal-ref: Journal Of Artificial Intelligence Research, Volume 29, pages 221-267, 2007

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[5] arXiv:1111.0043 [pdf, other]

Title: Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms

B. Faltings, R. Jurca

Journal-ref: Journal Of Artificial Intelligence Research, Volume 29, pages 391-419, 2007

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:1111.0044 [pdf, other]

Title: Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting

C. Domshlak, J. Hoffmann

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 565-620, 2007

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:1111.0045 [pdf, other]

Title: Query-time Entity Resolution

I. Bhattacharya, L. Getoor

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 621-657, 2007

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[8] arXiv:1111.0046 [pdf, other]

Title: Chain: A Dynamic Double Auction Framework for Matching Patient Agents

J. L. Bredin, Q. Duong, D. C. Parkes

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 133-179, 2007

Subjects: Computer Science and Game Theory (cs.GT)

[9] arXiv:1111.0048 [pdf, other]

Title: Individual and Domain Adaptation in Sentence Planning for Dialogue

F. Mairesse, R. Prasad, A. Stent, M. A. Walker

Journal-ref: Journal Of Artificial Intelligence Research, Volume 30, pages 413-456, 2007

Subjects: Computation and Language (cs.CL)

[10] arXiv:1111.0049 [pdf, other]

Title: Conjunctive Query Answering for the Description Logic SHIQ

Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 157-204, 2008

Subjects: Artificial Intelligence (cs.AI)

[11] arXiv:1111.0051 [pdf, other]

Title: Qualitative System Identification from Imperfect Data

George M. Coghill, Ross D. King, Ashwin Srinivasan

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 825-877, 2008

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:1111.0053 [pdf, other]

Title: Exploiting Subgraph Structure in Multi-Robot Path Planning

Malcolm Ross Kinsella Ryan

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 497-542, 2008

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:1111.0054 [pdf, other]

Title: CTL Model Update for System Modifications

Yulin Ding, Y. Ding, Yan Zhang, Y. Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 113-155, 2008

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[14] arXiv:1111.0055 [pdf, other]

Title: Extended RDF as a Semantic Foundation of Rule Markup Languages

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 37-94, 2008

Subjects: Artificial Intelligence (cs.AI)

[15] arXiv:1111.0056 [pdf, other]

Title: The Complexity of Planning Problems With Simple Causal Graphs

Omer Giménez, Anders Jonsson

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 319-351, 2008

Subjects: Artificial Intelligence (cs.AI)

[16] arXiv:1111.0057 [pdf, other]

Title: The Complexity of Linear Tensor Product Problems in (Anti-) Symmetric Hilbert Spaces

Markus Weimar

Comments: Extended version (53 pages); corrected typos, added journal reference

Journal-ref: J. Approx. Theory 164 (2012), 1345-1368

Subjects: Numerical Analysis (math.NA)

[17] arXiv:1111.0059 [pdf, other]

Title: Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 217-257, 2008

Subjects: Artificial Intelligence (cs.AI)

[18] arXiv:1111.0060 [pdf, other]

Title: A Constraint Programming Approach for Solving a Queueing Control Problem

Daria Terekhov, J. Christopher Beck

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 123-167, 2008

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:1111.0062 [pdf, other]

Title: Optimal and Approximate Q-value Functions for Decentralized POMDPs

Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 289-353, 2008

Subjects: Artificial Intelligence (cs.AI)

[20] arXiv:1111.0064 [pdf, other]

Title: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Jiří Barnat, Keijo Heljanko

Comments: EPTCS 72, 2011

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[21] arXiv:1111.0065 [pdf, other]

Title: Communication-Based Decomposition Mechanisms for Decentralized MDPs

Claudia V. Goldman, Shlomo Zilberstein

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 169-202, 2008

Subjects: Artificial Intelligence (cs.AI)

[22] arXiv:1111.0067 [pdf, other]

Title: A General Theory of Additive State Space Abstractions

Fan Yang, Joseph Culberson, Robert Holte, Uzi Zahavi, Ariel Felner

Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 631-662, 2008

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:1111.0068 [pdf, other]

Title: First Order Decision Diagrams for Relational MDPs

Chenggang Wang, Saket Joshi, Roni Khardon

Journal-ref: Journal Of Artificial Intelligence Research, Volume 31, pages 431-472, 2008

Subjects: Artificial Intelligence (cs.AI)

[24] arXiv:1111.0084 [pdf, other]

Title: Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward

Yiwei Song, Natasha Devroye

Comments: submitted to IEEE Transactions on Information Theory, October 30, 2011. Revised October 15, 2012

Subjects: Information Theory (cs.IT)

[25] arXiv:1111.0085 [pdf, other]

Title: A Lambda Term Representation Inspired by Linear Ordered Logic

Andreas Abel (LMU Munich), Nicolai Kraus (University of Nottingham)

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 1-13

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[26] arXiv:1111.0086 [pdf, other]

Title: A Bigraph Relational Model

Maxime Beauquier (IT University of Copenhagen), Carsten Schürmann (IT University of Copenhagen)

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 14-28

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1111.0087 [pdf, other]

Title: Multi-level Contextual Type Theory

Mathieu Boespflug (McGill University), Brigitte Pientka (McGill University)

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 29-43

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[28] arXiv:1111.0088 [pdf, other]

Title: Nominal Logic with Equations Only

Ranald Clouston

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 44-57

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1111.0089 [pdf, other]

Title: Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets

Murdoch J. Gabbay, Dominic P. Mulligan

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 58-75

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[30] arXiv:1111.0090 [pdf, other]

Title: An Improved Implementation and Abstract Interface for Hybrid

Alan J. Martin (University of Ottawa), Amy P. Felty (University of Ottawa)

Comments: In Proceedings LFMTP 2011, arXiv:1110.6685

Journal-ref: EPTCS 71, 2011, pp. 76-90

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[31] arXiv:1111.0094 [pdf, other]

Title: Generalization of a few results in Integer Partitions

Manosij Ghosh Dastidar, Sourav Sen Gupta

Comments: 7 pages paper, extension of http://arxiv.org/abs/1007.3459

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Number Theory (math.NT)

[32] arXiv:1111.0123 [pdf, other]

Title: Proof-irrelevant model of CC with predicative induction and judgmental equality

Gyesik Lee (ROSAEC Center, Seoul National University, Korea), Benjamin Werner (INRIA Saclay, France)

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

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1111.0129 [pdf, other]

Title: Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input

Quan Quan, Hai Lin, Kai-Yuan Cai

Comments: 22 pages, 7 figures

Journal-ref: International Journal of Systems Science, 2012,43(4):641-646

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[34] arXiv:1111.0156 [pdf, other]

Title: A secure additive protocol for card players

Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Joost J. Joosten, Fernando Soler-Toscano

Journal-ref: Australasian Journal of Combinatorics 54: 163-175, 2012

Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR)

[35] arXiv:1111.0158 [pdf, other]

Title: Applying Fuzzy ID3 Decision Tree for Software Effort Estimation

Sanaa Elyassami, Ali Idri

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 4, No 1, 131-138 (2011)

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)

[36] arXiv:1111.0167 [pdf, other]

Title: Probabilist Set Inversion using a new framework for interval arithmetic

Abdelouahab Kenoufi, Nicolas Goze, Michel Goze

Comments: 8 figures

Subjects: Numerical Analysis (math.NA)

[37] arXiv:1111.0219 [pdf, other]

Title: On Optimum Causal Cognitive Spectrum Reutilization Strategy

Kasra Haghighi, Erik G. Ström, Erik Agrell

Journal-ref: IEEE Journal on Selected Areas in Communications, vol. 30, no. 10, pp. 1911-1921, Nov. 2012

Subjects: Information Theory (cs.IT)

[38] arXiv:1111.0228 [pdf, other]

Title: Classification of extremal and $s$-extremal binary self-dual codes of length 38

Carlos Aguilar-Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé

Comments: revised version - paper submitted (4/4/2011) to IEEE trans. Information and accepted 20/10/2011

Subjects: Discrete Mathematics (cs.DM)

[39] arXiv:1111.0233 [pdf, other]

Title: Gas turbine diagnostic system

Shuvatov Talgat, Suleimenov Batrbek

Subjects: Other Computer Science (cs.OH)

[40] arXiv:1111.0242 [pdf, other]

Title: Storage Balancing in Self-organizing Multimedia Delivery Systems

Anita Sobe, Wilfried Elmenreich, Laszlo Böszörmenyi

Subjects: Multimedia (cs.MM); Distributed, Parallel, and Cluster Computing (cs.DC); Adaptation and Self-Organizing Systems (nlin.AO)

[41] arXiv:1111.0305 [pdf, other]

Title: Construction of an NP Problem with an Exponential Lower Bound

Roman V. Yampolskiy

Subjects: Computational Complexity (cs.CC)

[42] arXiv:1111.0307 [pdf, other]

Title: Swayed by Friends or by the Crowd?

Zeinab Abbassi, Christina Aperjis, Bernardo A. Huberman

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

[43] arXiv:1111.0311 [pdf, other]

Title: Operational Method for Finite Difference Equations

S. Merino

Comments: 6 pages

Subjects: Numerical Analysis (math.NA)

[44] arXiv:1111.0321 [pdf, other]

Title: Anonymous Meeting in Networks

Yoann Dieudonné, Andrzej Pelc

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[45] arXiv:1111.0337 [pdf, other]

Title: OpenWeather: a peer-to-peer weather data transmission protocol

Adrian Yanes

Comments: Available as well: this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[46] arXiv:1111.0338 [pdf, other]

Title: Exploring Linkablility of Community Reviewing

Mishari Almishari, Gene Tsudik

Subjects: Cryptography and Security (cs.CR)

[47] arXiv:1111.0352 [pdf, other]

Title: Revisiting k-means: New Algorithms via Bayesian Nonparametrics

Brian Kulis, Michael I. Jordan

Comments: 14 pages. Updated based on the corresponding ICML paper

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[48] arXiv:1111.0368 [pdf, other]

Title: Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Luboš Brim (Masaryk University), Jiří Barnat (Masaryk University)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 1-12

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[49] arXiv:1111.0369 [pdf, other]

Title: Variations on Multi-Core Nested Depth-First Search

Alfons Laarman (University of Twente), Jaco van de Pol (University of Twente)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 13-28

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:1111.0370 [pdf, other]

Title: Distributed Parametric and Statistical Model Checking

Peter Bulychev (Aalborg University), Alexandre David (Aalborg University), Kim Guldstrand Larsen (Aalborg University), Marius Mikučionis (Aalborg University), Axel Legay (Aalborg University and INRIA Rennes)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 30-42

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[51] arXiv:1111.0371 [pdf, other]

Title: Lazy Decomposition for Distributed Decision Procedures

Youssef Hamadi (Microsoft Research), Joao Marques-Silva (University College Dublin), Christoph M. Wintersteiger (Microsoft Research)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 43-54

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[52] arXiv:1111.0372 [pdf, other]

Title: PKind: A parallel k-induction based model checker

Temesghen Kahsai (The University of Iowa), Cesare Tinelli (The University of Iowa)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 55-62

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[53] arXiv:1111.0373 [pdf, other]

Title: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola Beneš (FI MU), Ivana Černá (FI MU), Milan Křivánek

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 63-67

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[54] arXiv:1111.0374 [pdf, other]

Title: Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar (VU University Amsterdam), Kees Verstoep (VU University Amsterdam), Wan Fokkink (VU University Amsterdam), Henri Bal (VU University Amsterdam)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 84-90

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[55] arXiv:1111.0375 [pdf, other]

Title: The HIVE Tool for Informed Swarm State Space Exploration

Anton Wijs (Eindhoven University of Technology)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 91-98

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[56] arXiv:1111.0376 [pdf, other]

Title: Outlier Detection for DNA Fragment Assembly

Christina Boucher, Christine Lo, Daniel Lokshtanov

Comments: 29 pages, 1 figure

Subjects: Data Structures and Algorithms (cs.DS)

[57] arXiv:1111.0380 [pdf, other]

Title: An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks

Jaydip Sen, Sripad Krishna

Comments: withdrawn by author. arXiv admin note: v1 substantial text overlap with arXiv:1012.2516

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[58] arXiv:1111.0382 [pdf, other]

Title: A Distributed Intrusion Detection System Using Cooperating Agents

Jaydip Sen

Comments: 10 pages, 4 figures, 1 table. In Proceedings of the 3rd International Conference on Information Processing (ICIP'09), August 7 - 9, Bangalore, 2009, pp. 559 - 568

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[59] arXiv:1111.0385 [pdf, other]

Title: A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks

Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy

Comments: 7 pages, 9 figures, 1 table. In Proceedings of the International Conference on Telecommunications and Malaysian International Conference on Communications (ICT-MICC'07), May 14-17, Penang, Malaysia. Paper ID: 74, Track: 3: Ad Hoc Routing and Protocols. ISBN: 1-4244-1094-0

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[60] arXiv:1111.0386 [pdf, other]

Title: A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks

Jaydip Sen, M. Girish Chandra, Harihara S. G., Harish Reddy, P. Balamuralidhar

Comments: 5 pages, 5 figures, 3 tables. In Proceedings of the 6th International Conference on Information, Communications and Signal Processing (ICICS '07), Singapore, December 10-13, 2007, Paper ID: 0458, Track: Th2.5- Network Security. ISBN: 1-4244-0983-7

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[61] arXiv:1111.0387 [pdf, other]

Title: A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks

Jaydip Sen, Sripad Koilakonda, Arijit Ukil

Comments: 6 pages, 10 figures, 2 tables. In Proceedings of the 2nd International Conference on Intelligent Systems, Modeling and Simulation (ISMS'11), pp. 338-343, Phnom Penh, Cambodia, January 25-27, 2011

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[62] arXiv:1111.0405 [pdf, other]

Title: Making the long code shorter, with applications to the Unique Games Conjecture

Boaz Barak, Parikshit Gopalan, Johan Hastad, Raghu Meka, Prasad Raghavendra, David Steurer

Comments: 45 pages

Subjects: Computational Complexity (cs.CC)

[63] arXiv:1111.0422 [pdf, other]

Title: Inclusion of Unambiguous RE#s is NP-Hard

Pekka Kilpeläinen

Comments: 2 pages; unpublished; "Unambiguity" is also known as "weak determinism"; The paper actually shows the co-NP-hardness of the problem

Subjects: Computational Complexity (cs.CC)

[64] arXiv:1111.0427 [pdf, other]

Title: A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network

Bidyut Biman Sarkar, Sugata Sanyal, Nabendu Chaki

Comments: The paper has been withdrawn as the authors have found some inadvertent but, serious gaps in the content

Subjects: Other Computer Science (cs.OH)

[65] arXiv:1111.0432 [pdf, other]

Title: Approximate Stochastic Subgradient Estimation Training for Support Vector Machines

Sangkyun Lee, Stephen J. Wright

Comments: An extended version of the ICPRAM 2012 paper

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[66] arXiv:1111.0434 [pdf, other]

Title: Pancake Flipping is Hard

Laurent Bulteau, Guillaume Fertin, Irena Rusu

Comments: Corrected references

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[67] arXiv:1111.0466 [pdf, other]

Title: Kernel diff-hash

Michael M Bronstein

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[68] arXiv:1111.0476 [pdf, other]

Title: Equational theories of profinite structures

Michał Skrzypczak

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

[69] arXiv:1111.0499 [pdf, other]

Title: Evaluating geometric queries using few arithmetic operations

Rafael Grimson, Joos Heintz, Bart Kuijpers

Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB); Algebraic Geometry (math.AG)

[70] arXiv:1111.0500 [pdf, other]

Title: Development of a Cost-efficient Autonomous MAV for an Unstructured Indoor Environment

Serge Kernbach, Kristof Jebens

Subjects: Robotics (cs.RO)

[71] arXiv:1111.0503 [pdf, other]

Title: Spectrum Leasing as an Incentive towards Uplink Macrocell and Femtocell Cooperation

Francesco Pantisano, Mehdi Bennis, Walid Saad, Mérouane Debbah

Comments: 29 pages, 11 figures, accepted at the IEEE JSAC on Femtocell Networks

Subjects: Computer Science and Game Theory (cs.GT)

[72] arXiv:1111.0508 [pdf, other]

Title: Geometric Graph Properties of the Spatial Preferred Attachment model

Jeannette Janssen, Pawel Pralat, Rory Wilson

Journal-ref: Advances in Applied Mathematics, published on-line, 2012

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

[73] arXiv:1111.0554 [pdf, other]

Title: On a Bounded Budget Network Creation Game

Shayan Ehsani, Saber Shokat Fadaee, MohammadAmin Fazli, Abbas Mehrabian, Sina Sadeghian Sadeghabad, MohammadAli Safari, Morteza Saghafian

Comments: 28 pages, 3 figures, preliminary version appeared in SPAA'11

Journal-ref: ACM Transactions on Algorithms (2015), 11(4), article 34

Subjects: Computer Science and Game Theory (cs.GT)

[74] arXiv:1111.0562 [pdf, other]

Title: Model-driven system development: Experimental design and report of the pilot experiment

Sergio España, Nelly Condori, Roel Wieringa, Arturo González, Óscar Pastor

Comments: 83 pages, 45 figures, 16 tables

Subjects: Software Engineering (cs.SE)

[75] arXiv:1111.0567 [pdf, other]

Title: A Primal Dual Algorithm for a Heterogeneous Traveling Salesman Problem

Jungyun Bae, Sivakumar Rathinam

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

[76] arXiv:1111.0570 [pdf, other]

Title: Clique cover and graph separation: New incompressibility results

Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk, Magnus Wahlström

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[77] arXiv:1111.0582 [pdf, other]

Title: Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits

Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, Nitin Saxena

Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC)

[78] arXiv:1111.0583 [pdf, other]

Title: Information Spreading in Dynamic Graphs

Andrea Clementi, Riccardo Silvestri, Luca Trevisan

Subjects: Discrete Mathematics (cs.DM); Distributed, Parallel, and Cluster Computing (cs.DC)

[79] arXiv:1111.0594 [pdf, other]

Title: Exploring Oracle RDBMS latches using Solaris DTrace

Andrey Nikolaev

Comments: 14 pages, 6 figures, 6 tables. MEDIAS 2011 Conference. Limassol, Cyprus

Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)

[80] arXiv:1111.0595 [pdf, other]

Title: An achievable region for the double unicast problem based on a minimum cut analysis

Shurui Huang, Aditya Ramamoorthy

Comments: ITW, 2011

Subjects: Information Theory (cs.IT)

[81] arXiv:1111.0618 [pdf, other]

Title: A Computational Study of the Weak Galerkin Method for Second-Order Elliptic Equations

Lin Mu, Junping Wang, Yanqiu Wang, Xiu Ye

Comments: 19 pages

Journal-ref: Numerical Algorithms, 2012

Subjects: Numerical Analysis (math.NA)

[82] arXiv:1111.0623 [pdf, other]

Title: Beating Randomized Response on Incoherent Matrices

Moritz Hardt, Aaron Roth

Subjects: Data Structures and Algorithms (cs.DS)

[83] arXiv:1111.0627 [pdf, other]

Title: Computing Optimal Cycle Mean in Parallel on CUDA

Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 68-83

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[84] arXiv:1111.0640 [pdf, other]

Title: Partial Redundancy Elimination for Multi-threaded Programs

Mohamed A. El-Zawawy, Hamada A. Nayel

Comments: 7 pages

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, Vol.11 No.10, October 2011, 127-133

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[85] arXiv:1111.0654 [pdf, other]

Title: Distributed Lossy Source Coding Using Real-Number Codes

Mojtaba Vaezi, Fabrice Labeau

Comments: 5 pages, 5 figures, to appear in VTC_Fall 2012

Subjects: Information Theory (cs.IT); Computer Vision and Pattern Recognition (cs.CV); Networking and Internet Architecture (cs.NI)

[86] arXiv:1111.0663 [pdf, other]

Title: On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing

Michael A. Forbes, Amir Shpilka

Comments: 55 pages

Journal-ref: Proceedings of the 44th Symposium on Theory of Computing (2012), 163-172

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[87] arXiv:1111.0670 [pdf, other]

Title: Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

Comments: ICALP12 submission, technical report/extended version. 33 pages+title page

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[88] arXiv:1111.0671 [pdf, other]

Title: A Numerical Study on the Weak Galerkin Method for the Helmholtz Equation with Large Wave Numbers

Lin Mu, Junping Wang, Xiu Ye, Shan Zhao

Comments: 20 pages, many figures from computation

Subjects: Numerical Analysis (math.NA)

[89] arXiv:1111.0689 [pdf, other]

Title: Symmetrical Multilevel Diversity Coding and Subset Entropy Inequalities

Jinjing Jiang, Neeharika Marukala, Tie Liu

Comments: 44 pages, 5 figures. Major revision in November 2012. Revised draft submitted to the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[90] arXiv:1111.0703 [pdf, other]

Title: Efficient Network for Non-Binary QC-LDPC Decoder

Chuan Zhang, Keshab K. Parhi

Subjects: Hardware Architecture (cs.AR)

[91] arXiv:1111.0704 [pdf, other]

Title: Reduced-Latency SC Polar Decoder Architectures

Chuan Zhang, Bo Yuan, Keshab K. Parhi

Subjects: Hardware Architecture (cs.AR)

[92] arXiv:1111.0705 [pdf, other]

Title: Low-Latency SC Decoder Architectures for Polar Codes

Chuan Zhang, Bo Yuan, Keshab K. Parhi

Subjects: Hardware Architecture (cs.AR)

[93] arXiv:1111.0706 [pdf, other]

Title: Maximum Bounded Rooted-Tree Packing Problem

Herve Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou

Subjects: Computational Complexity (cs.CC)

[94] arXiv:1111.0711 [pdf, other]

Title: Hierarchical and High-Girth QC LDPC Codes

Yige Wang, Stark C. Draper, Jonathan S. Yedidia

Comments: Submitted to IEEE Transactions on Information THeory

Subjects: Information Theory (cs.IT)

[95] arXiv:1111.0712 [pdf, other]

Title: Online Learning with Preference Feedback

Pannagadatta K. Shivaswamy, Thorsten Joachims

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[96] arXiv:1111.0727 [pdf, other]

Title: Self-Interference Cancellation in Multi-hop Full-Duplex Networks via Structured Signaling

Evan Everett, Debashis Dash, Chris Dick, Ashutosh Sabharawal

Comments: Draft of the paper to be presented at the Allerton Conference on Sept 29, 2011; Proc. 49th Annual Allerton Conference on Communication, Control, and Computing, September 2011

Subjects: Information Theory (cs.IT)

[97] arXiv:1111.0732 [pdf, other]

Title: Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Subjects: Symbolic Computation (cs.SC)

[98] arXiv:1111.0735 [pdf, other]

Title: Using Automated Dependency Analysis To Generate Representation Information

Andrew N. Jackson

Comments: 4 pages, conference paper

Subjects: Digital Libraries (cs.DL)

[99] arXiv:1111.0737 [pdf, other]

Title: Practical design of multi-channel oversampled warped cosine-modulated filter banks

Maxim Vashkevich, Wanggen Wan, Alexander Petrovsky

Comments: 6 pages, 9 figures. IET International Communication Conference on Wireless Mobile & Computing 2011

Subjects: Information Theory (cs.IT)

[100] arXiv:1111.0753 [pdf, other]

Title: Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach

Sourav Dutta, Souvik Bhattacherjee, Ankur Narang

Comments: 11 pages, 8 figures, 5 tables

Subjects: Information Retrieval (cs.IR); Data Structures and Algorithms (cs.DS)