Computer Science

Authors and titles for June 2011

[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)