Computer Science

Authors and titles for June 2011

[101] arXiv:1106.0675 [pdf, other]

Title: The FF Planning System: Fast Plan Generation Through Heuristic Search

J. Hoffmann, B. Nebel

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 253-302, 2001

Subjects: Artificial Intelligence (cs.AI)

[102] arXiv:1106.0676 [pdf, other]

Title: Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System

M. Kearns, D. Litman, S. Singh, M. Walker

Journal-ref: Journal Of Artificial Intelligence Research, Volume 16, pages 105-133, 2002

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

[103] arXiv:1106.0678 [pdf, other]

Title: ATTac-2000: An Adaptive Autonomous Bidding Agent

M. Kearns, M. L. Littman, S. Singh, P. Stone

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 189-206, 2001

Subjects: Artificial Intelligence (cs.AI)

[104] arXiv:1106.0679 [pdf, other]

Title: Efficient Methods for Qualitative Spatial Reasoning

B. Nebel, J. Renz

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 289-318, 2001

Subjects: Artificial Intelligence (cs.AI)

[105] arXiv:1106.0680 [pdf, other]

Title: Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap

L. P. Kaelbling, H. Shatkay

Journal-ref: Journal Of Artificial Intelligence Research, Volume 16, pages 167-207, 2002

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO)

[106] arXiv:1106.0681 [pdf, other]

Title: Accelerating Reinforcement Learning through Implicit Imitation

C. Boutilier, B. Price

Journal-ref: Journal Of Artificial Intelligence Research, Volume 19, pages 569-629, 2003

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

[107] arXiv:1106.0683 [pdf, other]

Title: Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields

Matt Groff

Comments: 28 pages, 25 figures, 1 picture

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

[108] arXiv:1106.0685 [pdf, other]

Title: An Inversion Algorithm for Cyclic Nonadiagonal Matrix

Meral Yaşar, Durmuş Bozkurt

Comments: 16 Pages

Subjects: Numerical Analysis (math.NA)

[109] arXiv:1106.0706 [pdf, other]

Title: Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions

Dusko Pavlovic, Catherine Meadows

Comments: 32 pages, 12 figures, 3 tables; journal submission; extended references, added discussion

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY); Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI)

[110] arXiv:1106.0707 [pdf, other]

Title: Efficient Reinforcement Learning Using Recursive Least-Squares Methods

H. He, D. Hu, X. Xu

Journal-ref: Journal Of Artificial Intelligence Research, Volume 16, pages 259-292, 2002

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

[111] arXiv:1106.0718 [pdf, other]

Title: Probabilistic Management of OCR Data using an RDBMS

Arun Kumar, Christopher Ré

Comments: 41 pages including the appendix. Shorter version (without appendix) to appear as a full research paper in VLDB 2012

Journal-ref: Proceedings of the VLDB Endowment (PVLDB), Vol. 5, No. 4, pp. 322-333 (2011)

Subjects: Databases (cs.DB); Digital Libraries (cs.DL); Information Retrieval (cs.IR)

[112] arXiv:1106.0733 [pdf, other]

Title: Short-term Performance Limits of MIMO Systems with Side Information at the Transmitter

Liangbin Li, Hamid Jafarkhani

Subjects: Information Theory (cs.IT)

[113] arXiv:1106.0735 [pdf, other]

Title: Cross-Layer Scheduling for Cooperative Multi-Hop Cognitive Radio Networks

Dongyue Xue, Eylem Ekici

Comments: 10 pages

Subjects: Networking and Internet Architecture (cs.NI)

[114] arXiv:1106.0736 [pdf, other]

Title: Distributed Stochastic Power Control in Ad-hoc Networks: A Nonconvex Case

Lei Yang, Yalin E. Sagduyu, Junshan Zhang, Jason H. Li

Comments: Contains 12 pages, 10 figures, and 2 tables; work submitted to IEEE Transactions on Mobile Computing

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

[115] arXiv:1106.0760 [pdf, other]

Title: Simulating the Electroweak Phase Transition: Sonification of Bubble Nucleation

R. Michael Winters (1), Andrew Blaikie (1), Deva O'Neil (2) ((1) College of Wooster, (2) Bridgewater College)

Comments: 13 pages, 5 figures. To appear in Proc. ICAD 2011

Subjects: Sound (cs.SD); Cosmology and Nongalactic Astrophysics (astro-ph.CO); Multimedia (cs.MM)

[116] arXiv:1106.0776 [pdf, other]

Title: Semantics for Possibilistic Disjunctive Programs

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés

Comments: 37 pages, 5 figures. To appear in Theory and Practice of Logic Programming (TPLP)

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

[117] arXiv:1106.0778 [pdf, other]

Title: An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms

Oliver Friedmann (University of Munich)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (October 3, 2011) lmcs:1026

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

[118] arXiv:1106.0787 [pdf, other]

Title: Super-Exponential Solution in Markovian Supermarket Models: Framework and Challenge

Quan-Lin Li

Comments: Randomized load balancing, supermarket model, matrix-analytic method, super-exponential solution, density-dependent jump Markov process, Batch Markovian Arrival Process (BMAP), phase-type (PH) distribution, fixed point

Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF); Classical Analysis and ODEs (math.CA); Probability (math.PR)

[119] arXiv:1106.0814 [pdf, other]

Title: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification

Giovanna D'Agostino (Università degli Studi di Udine), Salvatore La Torre (Università degli Studi di Salerno)

Journal-ref: EPTCS 54, 2011

Subjects: Logic in Computer Science (cs.LO)

[120] arXiv:1106.0823 [pdf, other]

Title: Recovering Epipolar Geometry from Images of Smooth Surfaces

Oleg Kupervasser

Comments: accepted to "Pattern Recognition and Image Analysis" for publishing in 2013, 33 pages, 19 figures

Journal-ref: Pattern Recognition and Image Analysis, April 2013, Volume 23, Issue 2, pp 236-257

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

[121] arXiv:1106.0831 [pdf, other]

Title: Optimal Real-time Spectrum Sharing between Cooperative Relay and Ad-hoc Networks

Yin Sun, Xiaofeng Zhong, Tsung-Hui Chang, Shidong Zhou, Jing Wang, Chong-Yung Chi

Comments: One typo in the caption of Figure 5 is corrected

Journal-ref: IEEE Transactions on Singal Processing, vol. 60, no. 4, pp. 1971-1985, Apr. 2012

Subjects: Information Theory (cs.IT)

[122] arXiv:1106.0835 [pdf, other]

Title: Performance Analysis of the Low-Complexity Adaptive Channel Estimation over Non-Stationary Multipath Rayleigh Fading Channels Under Carrier Frequency Offsets

Sayed A. Hadei (Student Member, IEEE), Paeiz Azmi (Senior Member, IEEE)

Comments: This paper has been withdrawn by the author due to a crucial errors in title and notations

Subjects: Numerical Analysis (math.NA)

[123] arXiv:1106.0840 [pdf, other]

Title: Random Deployment of Data Collectors for Serving Randomly-Located Sensors

Taesoo Kwon, John. M. Cioffi

Comments: 22 pages, 9 figures

Subjects: Networking and Internet Architecture (cs.NI)

[124] arXiv:1106.0843 [pdf, other]

Title: A Novel Adaptive Channel Equalization Method Using Variable Step-Size Partial Rank Algorithm

Sayed A. Hadei (Student Member IEEE), Paeiz Azmi (Senior Member, IEEE)

Comments: 6th Advance International Conference on Telecommunications (AICT2010) Barcelona, Spanish

Subjects: Information Theory (cs.IT); Sound (cs.SD)

[125] arXiv:1106.0844 [pdf, other]

Title: A Fast Affine Projection Algorithm Based on Matching Pursuit in Adaptive Noise Cancellation for Speech Enhancement

Sayed A. Hadei (Student Member, IEEE), N. Sonbolestan

Comments: 2010 International Conference on Intelligent Systems, Modelling and Simulation, Liverpool, UK

Subjects: Sound (cs.SD)

[126] arXiv:1106.0846 [pdf, other]

Title: A Family of Adaptive Filter Algorithms in Noise Cancellation for Speech Enhancement

Sayed. A. Hadei (Student Member IEEE), M. lotfizad

Comments: International Journal of Computer and Electrical Engineering, Vol. 2, No. 2, pp. 307-315, Apr. 2010. Singapore

Subjects: Sound (cs.SD)

[127] arXiv:1106.0851 [pdf, other]

Title: A Dual Approach for Solving Nonlinear Infinite-Norm Minimization Problems with Applications in Separable Cases

Wajeb Gharibi, Yong Xia

Comments: 10 pages

Journal-ref: Numer. Math. J. Chinese Univ. (English Ser.), Issue 3, Vol. 16, pp. 265-270, 2007

Subjects: Computational Complexity (cs.CC)

[128] arXiv:1106.0853 [pdf, other]

Title: Studying and Classification of the Most Significant Malicious Software

Wajeb Gharibi

Comments: 5 pages

Subjects: Cryptography and Security (cs.CR)

[129] arXiv:1106.0855 [pdf, other]

Title: Ice-Creams and Wedge Graphs

Eyal Ackerman, Tsachik Gelander, Rom Pinchasi

Comments: 7 pages

Subjects: Computational Geometry (cs.CG)

[130] arXiv:1106.0868 [pdf, other]

Title: Python GUI Scripting Interface for Running Atomic Physics Applications

Amani Tahat, Mofleh Tahat

Comments: 7 pages, 2 figures

Journal-ref: The Python Papers Source Codes 3: 2, 2011

Subjects: Human-Computer Interaction (cs.HC)

[131] arXiv:1106.0869 [pdf, other]

Title: Impact of Mobility on MIMO Green Wireless Systems

Vineeth S Varma, Merouane Debbah, Samson Lasaulce, Salah Eddine Elayoubi

Comments: Accepted for EUSIPCO conference. 5 pages

Subjects: Information Theory (cs.IT)

[132] arXiv:1106.0874 [pdf, other]

Title: A Simple Characterization of the Minimal Obstruction Sets for Three-State Perfect Phylogenies

Brad Shutters, David Fernández-Baca

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

[133] arXiv:1106.0880 [pdf, other]

Title: Performance Analysis of Sequential Method for HandOver in Cognitive Radio Networks

Hossein Shokri, Mohammad Mozaffari, Adnan Gavili, Masoumeh Nasiri-Kenari

Comments: This paper has been withdrawn

Subjects: Performance (cs.PF)

[134] arXiv:1106.0895 [pdf, other]

Title: Computable Bounds for Rate Distortion with Feed-Forward for Stationary and Ergodic Sources

Iddo Naiss, Haim Permuter

Comments: 41 pages, 13 figures, 19 references

Subjects: Information Theory (cs.IT)

[135] arXiv:1106.0917 [pdf, other]

Title: Secure Deletion on Log-structured File Systems

Joel Reardon, Claudio Marforio, Srdjan Capkun, David Basin

Subjects: Cryptography and Security (cs.CR)

[136] arXiv:1106.0940 [pdf, other]

Title: Hadoop Performance Models

Herodotos Herodotou

Comments: 16 pages, 0 figures, Duke University Technical Report

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

[137] arXiv:1106.0941 [pdf, other]

Title: Link Delay Estimation via Expander Graphs

Mohammad H. Firooz, Sumit Roy

Journal-ref: IEEE Transactions on Communications, 2014

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

[138] arXiv:1106.0954 [pdf, other]

Title: Bits from Photons: Oversampled Image Acquisition Using Binary Poisson Statistics

Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetterli

Subjects: Information Theory (cs.IT); Multimedia (cs.MM)

[139] arXiv:1106.0961 [pdf, other]

Title: Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many Buyers

Saeed Alaei

Comments: A preliminary version was published in the proceedings of FOCS 2011

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

[140] arXiv:1106.0962 [pdf, other]

Title: An efficient circle detection scheme in digital images using ant system algorithm

K. Chattopadhyay, J. Basu, A. Konar

Comments: 4 pages, 3 figures, Published in Proceedings of the IEEE Sponsored Conference on Computational Intelligence, Control And Computer Vision In Robotics & Automation, 2008

Journal-ref: Proceedings of the 2008 IEEE Sponsored Conference on Computational Intelligence, Control And Computer Vision In Robotics & Automation, Rourkela, India, 2008, pages 145-148

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

[141] arXiv:1106.0969 [pdf, other]

Title: Long-Term Proportional Fair QoS Profile Follower Sub-carrier Allocation Algorithm in Dynamic OFDMA Systems

Arijit Ukil, Jaydip Sen, Debasish Bera

Comments: 5 pages, 5 figures

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)

[142] arXiv:1106.0987 [pdf, other]

Title: Nearest Prime Simplicial Complex for Object Recognition

Junping Zhang, Ziyu Xie, Stan Z. Li

Comments: 16pages, 6 figures

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Geometry (cs.CG); Computer Vision and Pattern Recognition (cs.CV)

[143] arXiv:1106.0989 [pdf, other]

Title: A study of the singularity locus in the joint space of planar parallel manipulators: special focus on cusps and nodes

Abdel Kader Zaiter (IRCCyN), Philippe Wenger (IRCCyN), Damien Chablat (IRCCyN)

Comments: 4th International Congress Design and Modeling of Mechanical Systems, Sousse : Tunisia (2011)

Subjects: Robotics (cs.RO)

[144] arXiv:1106.0994 [pdf, other]

Title: On Computational Order of Convergence of some Multi-Precision Solvers of Nonlinear Systems of Equations

Miquel Grau-Sánchez, Ángela Grau, Jose Luis Diaz-Barrero

Subjects: Numerical Analysis (math.NA)

[145] arXiv:1106.0996 [pdf, other]

Title: A Technique to Composite a Modified Newton's Method for Solving Nonlinear Equations

Miquel Grau-Sánchez, José Luis Díaz-Barrero

Subjects: Numerical Analysis (math.NA)

[146] arXiv:1106.1017 [pdf, other]

Title: MMSE of "Bad" Codes

Ronit Bustin, Shlomo Shamai

Comments: 8 pages, 2 figures, submitted to the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[147] arXiv:1106.1020 [pdf, other]

Title: On deterministic approximation of the Boltzmann equation in a bounded domain

Francis Filbet (ICJ)

Subjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)

[148] arXiv:1106.1049 [pdf, other]

Title: Hypercontractive Inequality for Pseudo-Boolean Functions of Bounded Fourier Width

Gregory Gutin, Anders Yeo

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

[149] arXiv:1106.1071 [pdf, other]

Title: Backward error analysis and the substitution law for Lie group integrators

Alexander Lundervold, Hans Munthe-Kaas

Comments: Minor corrections and additions. Final version

Journal-ref: Foundations of Computational Mathematics: Volume 13, Issue 2 (2013), Page 161-186

Subjects: Numerical Analysis (math.NA)

[150] arXiv:1106.1105 [pdf, other]

Title: Naturally Supervised Learning in Manipulable Technologies

Bradly Alicea

Comments: 27 pages, 12 figures, 5 tables

Subjects: Human-Computer Interaction (cs.HC); Neurons and Cognition (q-bio.NC)