Computer Science

Authors and titles for January 2008

[51] arXiv:0801.0949 [pdf, other]

Title: On the Refinement of Liveness Properties of Distributed Systems

Paul C. Attie

Comments: 54 pages, 12 figures

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:0801.0996 [pdf, other]

Title: Hamilton-Pontryagin Integrators on Lie Groups: Introduction and Structure-Preserving Properties

Nawaf Bou-Rabee, Jerrold E. Marsden

Comments: 26 pages, 4 figures

Subjects: Numerical Analysis (math.NA)

[53] arXiv:0801.1002 [pdf, other]

Title: Capacity Bounds for Peak-Constrained Multiantenna Wideband Channels

Ulrich G. Schuster, Giuseppe Durisi, Helmut Bölcskei, H. Vincent Poor

Comments: Submitted to the IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[54] arXiv:0801.1033 [pdf, other]

Title: The What, Who, Where, When, Why and How of Context-Awareness

George Tsibidis, Theodoros N. Arvanitis, Chris Baber

Comments: Accepted manuscript at the CHI 2000, April 3-2000, The Hague, The Netherlands

Subjects: Human-Computer Interaction (cs.HC)

[55] arXiv:0801.1060 [pdf, other]

Title: On the Period of a Periodic-Finite-Type Shift

Akiko Manada, Navin Kashyap

Comments: revised version; 5 pages; to appear in the Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT'08), Toronto, Canada

Subjects: Information Theory (cs.IT)

[56] arXiv:0801.1063 [pdf, other]

Title: Modeling Online Reviews with Multi-grain Topic Models

Ivan Titov, Ryan McDonald

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

[57] arXiv:0801.1067 [pdf, other]

Title: The lowest-possible BER and FER for any discrete memoryless channel with given capacity

Johannes B. Huber, Thorsten Hehn

Comments: Accepted as a Transactions on Communications Letter,9 Pages, 4 Figures

Subjects: Information Theory (cs.IT)

[58] arXiv:0801.1126 [pdf, other]

Title: Concave Programming Upper Bounds on the Capacity of 2-D Constraints

Ido Tal, Ron M. Roth

Subjects: Information Theory (cs.IT)

[59] arXiv:0801.1136 [pdf, other]

Title: A Constrained Channel Coding Approach to Joint Communication and Channel Estimation

Wenyi Zhang, Satish Vedantam, Urbashi Mitra

Comments: Submitted to ISIT 2008

Subjects: Information Theory (cs.IT)

[60] arXiv:0801.1138 [pdf, other]

Title: An Addendum to "How Good is PSK for Peak-Limited Fading Channels in the Low-SNR Regime?"

Wenyi Zhang

Comments: Submitted as an addendum to the paper appearing in the title

Subjects: Information Theory (cs.IT)

[61] arXiv:0801.1141 [pdf, other]

Title: Coding Strategies for Noise-Free Relay Cascades with Half-Duplex Constraint

Tobias Lutz, Christoph Hausl, Ralf Kötter

Comments: Proceedings of the 2008 IEEE International Symposium on Information Theory, Toronto, ON, Canada, July 6 - 11, 2008

Subjects: Information Theory (cs.IT)

[62] arXiv:0801.1179 [pdf, other]

Title: Corpus sp{\'e}cialis{\'e} et ressource de sp{\'e}cialit{\'e}

Bernard Jacquemin (ISC, UMR 7044, GERIICO), Sabine Ploux (ISC)

Comments: 16 pages, in French

Journal-ref: Appears in Fran\c{c}ois Maniez; Pascaline Dury; Nathalie Arlin; Claire Rougemont. Corpus et dictionnaires de langues de sp{\'e}cialit{\'e}, Presses Universitaires de Granoble, pp.197-212, 2008

Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)

[63] arXiv:0801.1185 [pdf, other]

Title: Capacity of the Discrete-Time AWGN Channel Under Output Quantization

Jaspreet Singh, Onkar Dabeer, Upamanyu Madhow

Comments: To appear at ISIT 2008. (Some changes in the content (in Section IV) compared to the first version uploaded on Jan 08, 2008.)

Subjects: Information Theory (cs.IT)

[64] arXiv:0801.1208 [pdf, other]

Title: Hybrid Decoding of Finite Geometry LDPC Codes

Guangwen Li, Dashe Li, Yuling Wang, Wenyan Sun

Comments: 19 pages, 5 figures, 5 tables

Subjects: Information Theory (cs.IT)

[65] arXiv:0801.1210 [pdf, other]

Title: Increasing GP Computing Power via Volunteer Computing

Daniel Lombrana Gonzalez, Francisco Fernandez de Vega, L. Trujillo, G. Olague, F. Chavez de la O, M. Cardenas, L. Araujo, P. Castillo, K. Sharman

Comments: First draft, preparing for PPSN 2008

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

[66] arXiv:0801.1219 [pdf, other]

Title: DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework

Andrey Breslav

Comments: 15 pages, 3 figures

Subjects: Programming Languages (cs.PL)

[67] arXiv:0801.1245 [pdf, other]

Title: Matrix Graph Grammars

Pedro Pablo Perez Velasco

Comments: 321 pages, 75 figures. This book has is publisehd by VDM verlag, ISBN 978-3639212556

Subjects: Discrete Mathematics (cs.DM)

[68] arXiv:0801.1251 [pdf, other]

Title: Generative Unbinding of Names

Andrew M. Pitts, Mark R. Shinwell

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 1 (March 18, 2008) lmcs:916

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

[69] arXiv:0801.1253 [pdf, other]

Title: Linear Logic by Levels and Bounded Time Complexity

Patrick Baillot, Damiano Mazza

Comments: 63 pages. To appear in Theoretical Computer Science. This version corrects minor fonts problems from v2

Journal-ref: Theoretical Computer Science 411 (2010) 470-503

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[70] arXiv:0801.1275 [pdf, other]

Title: Le terme et le concept : fondements d'une ontoterminologie

Christophe Roche (LISTIC)

Comments: 22 pages

Journal-ref: Dans TOTh 2007 : Terminologie et Ontologie : Th\'eories et Applications - TOTh 2007 : Terminologie et Ontologie : Th\'eories et Applications, Annecy : France (2007)

Subjects: Artificial Intelligence (cs.AI)

[71] arXiv:0801.1276 [pdf, other]

Title: On the guaranteed error correction capability of LDPC codes

Shashi Kiran Chilappagari, Dung Viet Nguyen, Bane Vasic, Michael Marcellin

Comments: 5 pages, submitted to IEEE International Symposium on Information Theory (ISIT), 2008

Subjects: Information Theory (cs.IT)

[72] arXiv:0801.1282 [pdf, other]

Title: LDPC Codes Which Can Correct Three Errors Under Iterative Decoding

Shashi Kiran Chilappagari, Anantha Raman Krishnan, Bane Vasic

Comments: 5 pages, 3 figures, submitted to IEEE Information Theory Workshop (ITW), 2008

Subjects: Information Theory (cs.IT)

[73] arXiv:0801.1300 [pdf, other]

Title: Almost 2-SAT is Fixed-Parameter Tractable

Igor Razgon, Barry O'Sullivan

Comments: This new version fixes the bug found by Somnath Sikdar in the proof of Claim 8. In the repaired version the modification of the Almost 2-SAT problem called 2-SLASAT is no longer needed and only the modification called 2-ASLASAT remains relevant. Hence the whole manuscript is updated so that the 2-SLASAT problem is not mentioned there anymore

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Logic in Computer Science (cs.LO)

[74] arXiv:0801.1306 [pdf, other]

Title: Capacity Bounds for the Gaussian Interference Channel

Abolfazl S. Motahari, Amir K. Khandani

Comments: 35 pages, 14 figures, submitted to IEEE Trans. on Inf. Theory

Subjects: Information Theory (cs.IT)

[75] arXiv:0801.1307 [pdf, other]

Title: Alternating Hierarchies for Time-Space Tradeoffs

Chris Pollett, Eric Miles

Comments: 14 pages

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)