Computer Science

Authors and titles for June 2011

[51] arXiv:1106.0251 [pdf, other]

Title: Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes

N. L. Zhang, W. Zhang

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 29-51, 2001

Subjects: Artificial Intelligence (cs.AI)

[52] arXiv:1106.0252 [pdf, other]

Title: Conformant Planning via Symbolic Model Checking

A. Cimatti, M. Roveri

Journal-ref: Journal Of Artificial Intelligence Research, Volume 13, pages 305-338, 2000

Subjects: Artificial Intelligence (cs.AI)

[53] arXiv:1106.0253 [pdf, other]

Title: AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks

J. Cheng, M. J. Druzdzel

Journal-ref: Journal Of Artificial Intelligence Research, Volume 13, pages 155-188, 2000

Subjects: Artificial Intelligence (cs.AI)

[54] arXiv:1106.0254 [pdf, other]

Title: Conflict-Directed Backjumping Revisited

X. Chen, P. van Beek

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 53-81, 2001

Subjects: Artificial Intelligence (cs.AI)

[55] arXiv:1106.0256 [pdf, other]

Title: Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic

J. M. Siskind

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 31-90, 2001

Subjects: Artificial Intelligence (cs.AI)

[56] arXiv:1106.0257 [pdf, other]

Title: Popular Ensemble Methods: An Empirical Study

R. Maclin, D. Opitz

Journal-ref: Journal Of Artificial Intelligence Research, Volume 11, pages 169-198, 1999

Subjects: Artificial Intelligence (cs.AI)

[57] arXiv:1106.0264 [pdf, other]

Title: Achievable Degrees of Freedom of the K-user Interference Channel with Partial Cooperation

Ahmed A.Naguib, Khaled Elsayed, Mohammed Nafie

Subjects: Information Theory (cs.IT)

[58] arXiv:1106.0284 [pdf, other]

Title: An Evolutionary Algorithm with Advanced Goal and Priority Specification for Multi-objective Optimization

E. F. Khor, T. H. Lee, R. Sathikannan, K. C. Tan

Journal-ref: Journal Of Artificial Intelligence Research, Volume 18, pages 183-215, 2003

Subjects: Artificial Intelligence (cs.AI)

[59] arXiv:1106.0285 [pdf, other]

Title: The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning

I. Refanidis, I. Vlahavas

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 115-161, 2001

Subjects: Artificial Intelligence (cs.AI)

[60] arXiv:1106.0304 [pdf, other]

Title: Using Ontologies for the Design of Data Warehouses

Jesús Pardillo, Jose-Norberto Mazón

Comments: 15 pages, 2 figures

Journal-ref: International Journal of Database Management Systems (IJDMS), Vol.3, No.2, May 2011

Subjects: Databases (cs.DB)

[61] arXiv:1106.0305 [pdf, other]

Title: Slime mould computes planar shapes

Andrew Adamatzky

Journal-ref: International Journal of Bio-Inspired Computation 2012 - Vol. 4, No.3 pp. 149 - 154

Subjects: Emerging Technologies (cs.ET); Pattern Formation and Solitons (nlin.PS)

[62] arXiv:1106.0342 [pdf, other]

Title: Arenas of Finite State Machines

Giordano Pola, Maria D. Di Benedetto, Elena De Santis

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

[63] arXiv:1106.0346 [pdf, other]

Title: Entropy-based Classification of 'Retweeting' Activity on Twitter

Rumi Ghosh, Tawan Surachawala, Kristina Lerman

Comments: snakdd-11(submitted)

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)

[64] arXiv:1106.0357 [pdf, other]

Title: Learning Hierarchical Sparse Representations using Iterative Dictionary Learning and Dimension Reduction

Mohamad Tarifi, Meera Sitharam, Jeffery Ho

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

[65] arXiv:1106.0359 [pdf, other]

Title: Composite Social Network for Predicting Mobile Apps Installation

Wei Pan, Nadav Aharony, Alex Pentland

Journal-ref: Proceeding of AAAI 2011

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

[66] arXiv:1106.0365 [pdf, other]

Title: Lower Bounds for Sparse Recovery

Khanh Do Ba, Piotr Indyk, Eric Price, David P. Woodruff

Comments: 11 pages. Appeared at SODA 2010

Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)

[67] arXiv:1106.0371 [pdf, other]

Title: A Novel Image Segmentation Enhancement Technique based on Active Contour and Topological Alignments

Ashraf A. Aly, Safaai Bin Deris, Nazar Zaki

Comments: 7 pages

Journal-ref: Advanced Computing: An International Journal ( ACIJ ), Vol.2, No.3, May 2011

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

[68] arXiv:1106.0380 [pdf, other]

Title: A Note on Multiple-Access Channels with Strictly-Causal State Information

Amos Lapidoth, Yossef Steinberg

Comments: To appear in the proceedings of Wireless Advanced, London June 20-22, 2011

Subjects: Information Theory (cs.IT)

[69] arXiv:1106.0399 [pdf, other]

Title: Focalization and phase models for classical extensions of non-associative Lambek calculus

Arno Bastenhof

Comments: To be submitted

Subjects: Logic in Computer Science (cs.LO)

[70] arXiv:1106.0411 [pdf, other]

Title: Quantum-Like Uncertain Conditionals for Text Analysis

Alvaro Francisco Huertas-Rosero, C. J. van Rijsbergen

Comments: 11 pages, 2 figures. To be published in the proceedings of Quantum Interaction 2011

Subjects: Computation and Language (cs.CL); Quantum Physics (quant-ph)

[71] arXiv:1106.0423 [pdf, other]

Title: Physarum Can Compute Shortest Paths

Vincenzo Bonifaci, Kurt Mehlhorn, Girish Varma

Comments: Accepted in SODA 2012

Journal-ref: Journal of Theoretical Biology, 309:121-133, 2012

Subjects: Data Structures and Algorithms (cs.DS); Computational Engineering, Finance, and Science (cs.CE); Emerging Technologies (cs.ET); Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC); Biological Physics (physics.bio-ph)

[72] arXiv:1106.0424 [pdf, other]

Title: Field of values analysis of preconditioners for the Helmholtz equation in lossy media

Antti Hannukainen

Subjects: Numerical Analysis (math.NA)

[73] arXiv:1106.0436 [pdf, other]

Title: Linear-algebraic list decoding of folded Reed-Solomon codes

Venkatesan Guruswami

Comments: 16 pages. Extended abstract in Proc. of IEEE Conference on Computational Complexity (CCC), 2011

Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)

[74] arXiv:1106.0443 [pdf, other]

Title: Why Does Flow Director Cause Packet Reordering?

Wenji Wu, Phil DeMar, Matt Crawford

Journal-ref: IEEE Commun.Lett.15:253-255,2011

Subjects: Networking and Internet Architecture (cs.NI)

[75] arXiv:1106.0445 [pdf, other]

Title: A Transport-Friendly NIC for Multicore/Multiprocessor Systems

Wenji Wu, Matt Crawford, Phil DeMar

Subjects: Networking and Internet Architecture (cs.NI)

[76] arXiv:1106.0447 [pdf, other]

Title: Selective Memoization

Umut A. Acar, Guy E. Blelloch, Robert Harper

Comments: Total of 31 pages. This is the full version of a conference paper with the same title that appears in ACM Conference on Principles of Programming Languages (POPL) in 2003

Subjects: Programming Languages (cs.PL)

[77] arXiv:1106.0461 [pdf, other]

Title: Random hyperplane search trees in high dimensions

Luc Devroye, James King

Comments: 19 pages, 4 figures

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Probability (math.PR)

[78] arXiv:1106.0463 [pdf, other]

Title: A new and efficient method for the computation of Legendre coefficients

Enrico De Micheli, Giovanni Alberto Viano

Comments: 5 pages

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

[79] arXiv:1106.0468 [pdf, other]

Title: From Boolean Functional Equations to Control Software

Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[80] arXiv:1106.0478 [pdf, other]

Title: A Consistent Semantics of Self-Adjusting Computation

Umut A. Acar, Matthias Blume, Jacob Donham

Comments: 91 pages including the full Twelf proof in the appendix. This paper is a full version of the conference paper (published in European Symposium on Programming, ESOP, 2007)

Subjects: Programming Languages (cs.PL)

[81] arXiv:1106.0483 [pdf, other]

Title: Learning unbelievable marginal probabilities

Xaq Pitkow, Yashar Ahmadian, Ken D. Miller

Comments: 10 pages, 3 figures, submitted to NIPS*2011

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

[82] arXiv:1106.0488 [pdf, other]

Title: A Half-Duplex Cooperative Scheme with Partial Decode-Forward Relaying

Ahmad Abu Al Haija, Mai Vu

Comments: 2011 IEEE International Symposium on Information Theory (ISIT 2011)

Subjects: Information Theory (cs.IT)

[83] arXiv:1106.0489 [pdf, other]

Title: Recovery from Link Failures in Networks with Arbitrary Topology via Diversity Coding

S. N. Avci, X. Hu, E. Ayanoglu

Journal-ref: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, Houston, TX, USA, 2011, pp. 1-6

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

[84] arXiv:1106.0518 [pdf, other]

Title: Submodular Functions Are Noise Stable

Mahdi Cheraghchi, Adam Klivans, Pravesh Kothari, Homin K. Lee

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[85] arXiv:1106.0519 [pdf, other]

Title: Extreme-Value Theorems for Optimal Multidimensional Pricing

Yang Cai, Constantinos Daskalakis

Comments: 58 pages, 2 figure, Appeared in FOCS 2011 and accepted to Games and Economics Behavior

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[86] arXiv:1106.0541 [pdf, other]

Title: Sum rate analysis of a reduced feedback OFDMA system employing joint scheduling and diversity

Seong-Ho (Paul)Hur, Bhaskar D. Rao

Comments: In revision for IEEE Trans. Signal Processing

Subjects: Information Theory (cs.IT)

[87] arXiv:1106.0547 [pdf, other]

Title: A Modified EMD Algorithm and its Applications

Mayer Humi

Comments: To be presented at "The 2011 International Conference on Scientific Computing (CSC'11)" Las-Vegas Nevada July 17-21, 2011

Subjects: Numerical Analysis (math.NA); Data Analysis, Statistics and Probability (physics.data-an)

[88] arXiv:1106.0566 [pdf, other]

Title: The Impact of Mutation Rate on the Computation Time of Evolutionary Dynamic Optimization

Tianshi Chen, Yunji Chen, Ke Tang, Guoliang Chen, Xin Yao

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[89] arXiv:1106.0598 [pdf, other]

Title: A Two Step, Fourth Order, Nearly-Linear Method with Energy Preserving Properties

Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Comments: 14 pages, 4 figures, 2 tables

Journal-ref: Computer Physics Communications 183 (2012) 1860-1868

Subjects: Numerical Analysis (math.NA)

[90] arXiv:1106.0602 [pdf, other]

Title: Numerical investigation of the smallest eigenvalues of the p-Laplace operator on planar domains

Jiří Horák

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[91] arXiv:1106.0631 [pdf, other]

Title: On positivity of principal minors of bivariate Bezier collocation matrix

Gasper Jaklic, Tadej Kanduc

Journal-ref: Appl. Math. Comput. 227 (2014) 320-328

Subjects: Numerical Analysis (math.NA)

[92] arXiv:1106.0664 [pdf, other]

Title: The Complexity of Reasoning about Spatial Congruence

M. Cristani

Journal-ref: Journal Of Artificial Intelligence Research, Volume 11, pages 361-390, 1999

Subjects: Artificial Intelligence (cs.AI)

[93] arXiv:1106.0665 [pdf, other]

Title: Infinite-Horizon Policy-Gradient Estimation

Jonathan Baxter, Peter L. Bartlett

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 319-350, 2001

Subjects: Artificial Intelligence (cs.AI)

[94] arXiv:1106.0666 [pdf, other]

Title: Experiments with Infinite-Horizon, Policy-Gradient Estimation

J. Baxter, P. L. Bartlett, L. Weaver

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 351-381, 2001

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

[95] arXiv:1106.0667 [pdf, other]

Title: Reasoning within Fuzzy Description Logics

U. Straccia

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 137-166, 2001

Subjects: Artificial Intelligence (cs.AI)

[96] arXiv:1106.0668 [pdf, other]

Title: An Analysis of Reduced Error Pruning

T. Elomaa, M. Kaariainen

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 163-187, 2001

Subjects: Artificial Intelligence (cs.AI)

[97] arXiv:1106.0669 [pdf, other]

Title: GIB: Imperfect Information in a Computationally Challenging Game

M. L. Ginsberg

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 303-358, 2001

Subjects: Artificial Intelligence (cs.AI)

[98] arXiv:1106.0671 [pdf, other]

Title: Domain Filtering Consistencies

C. Bessiere, R. Debruyne

Journal-ref: Journal Of Artificial Intelligence Research, Volume 14, pages 205-230, 2001

Subjects: Artificial Intelligence (cs.AI)

[99] arXiv:1106.0672 [pdf, other]

Title: Policy Recognition in the Abstract Hidden Markov Model

H. H. Bui, S. Venkatesh, G. West

Journal-ref: Journal Of Artificial Intelligence Research, Volume 17, pages 451-499, 2002

Subjects: Artificial Intelligence (cs.AI)

[100] arXiv:1106.0673 [pdf, other]

Title: Computational Approach to Anaphora Resolution in Spanish Dialogues

P. Martinez-Barco, M. Palomar

Journal-ref: Journal Of Artificial Intelligence Research, Volume 15, pages 263-287, 2001

Subjects: Computation and Language (cs.CL)