Computer Science

Authors and titles for September 2004

[1] arXiv:cs/0409001 [pdf, other]

Title: Probabilistic heuristics for disseminating information in networks

A. O. Stauffer, V. C. Barbosa

Journal-ref: IEEE/ACM Transactions on Networking 15 (2007), 425-435

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)

[2] arXiv:cs/0409002 [pdf, other]

Title: Default reasoning over domains and concept hierarchies

Pascal Hitzler

Comments: Short version appeared in Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence

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

[3] arXiv:cs/0409003 [pdf, other]

Title: ScheduleNanny: Using GPS to Learn the User's Significant Locations, Travel Times and Schedule

Parth Bhawalkar, Victor Bigio, Adam Davis, Karthik Narayanaswami, Femi Olumoko

Comments: 7 pages, 10 figures. Adaptive & Ubiquitous Computing

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

[4] arXiv:cs/0409004 [pdf, other]

Title: The Password Change Phase is Still Insecure

Manoj Kumar

Comments: 10 Pages, This work is related to the remote user authentication scheme with smart cards

Subjects: Cryptography and Security (cs.CR)

[5] arXiv:cs/0409005 [pdf, other]

Title: Sharing Computer Network Logs for Security and Privacy: A Motivation for New Methodologies of Anonymization

Adam J. Slagell, William Yurcik

Comments: 17 pages, 1 figure

Subjects: Cryptography and Security (cs.CR)

[6] arXiv:cs/0409006 [pdf, other]

Title: Maple+GrTensorII libraries for cosmology

Dumitru N. Vulcanov, Valentina D. Vulcanov (The West University of Timisoara, Romania)

Comments: LaTeX LLNCS style, 8 pages, accepted for SYNASC 2004 - 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-30 2004

Subjects: Symbolic Computation (cs.SC); General Relativity and Quantum Cosmology (gr-qc)

[7] arXiv:cs/0409007 [pdf, other]

Title: The Generalized Pignistic Transformation

Jean Dezert, Florentin Smarandache, Milan Daniel

Comments: 8 pages, 3 graphs, many tables. The Seventh International Conference on Information Fusion, Stockholm, Sweden, 28 June - 1 July 2004

Journal-ref: Proceedings of the Seventh International Conference on Information Fusion, International Society for Information Fusion, Stockholm, Sweden, 384-391, 2004

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:cs/0409008 [pdf, other]

Title: A Model for Fine-Grained Alignment of Multilingual Texts

Lea Cyrus, Hendrik Feddes

Comments: 8 pages, 4 figures

Journal-ref: Proc. COLING 2004 Workshop on Multilingual Linguistic Resources (MLR2004), Geneva, August 28, 2004, pp. 15-22

Subjects: Computation and Language (cs.CL)

[9] arXiv:cs/0409009 [pdf, other]

Title: CrocoPat 2.1 Introduction and Reference Manual

Dirk Beyer (University of California, Berkeley), Andreas Noack (Brandenburg University of Technology)

Comments: 19 pages + cover, 2 eps figures, uses this http URL and this http URL, for downloading the source code, binaries, and RML examples, see this http URL

Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)

[10] arXiv:cs/0409010 [pdf, other]

Title: Distance properties of expander codes

Alexander Barg, Gilles Zemor

Comments: 19 pages, 7 figures

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)

[11] arXiv:cs/0409011 [pdf, other]

Title: Shannon meets Wiener II: On MMSE estimation in successive decoding schemes

G. David Forney Jr

Comments: 9 pages, 5 figures. To appear in Proc. 2004 Allerton Conf. (Monticello, IL), Sept. 2004; final version

Subjects: Information Theory (cs.IT)

[12] arXiv:cs/0409012 [pdf, other]

Title: A New Look at Survey Propagation and its Generalizations

Eliza N. Maneva, Elchanan Mossel, Martin J. Wainwright

Comments: v2:typoes and reference corrections; v3: expanded exposition

Subjects: Computational Complexity (cs.CC)

[13] arXiv:cs/0409013 [pdf, other]

Title: Locally connected spanning trees on graphs

Ching-Chi Lin, Gerard J. Chang, Gen-Huey Chen

Comments: 14 pages, 3 figures

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

[14] arXiv:cs/0409014 [pdf, other]

Title: A Digital Signature with Threshold Generation and Verification

Sunder lal, Manoj Kumar

Comments: 10 Pages

Subjects: Cryptography and Security (cs.CR)

[15] arXiv:cs/0409015 [pdf, other]

Title: The strength of replacement in weak arithmetic

Stephen Cook, Neil Thapen

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

[16] arXiv:cs/0409016 [pdf, other]

Title: Using a hierarchy of Domain Specific Languages in complex software systems design

V. S. Lugovsky

Comments: 8 pages, 1 figure

Subjects: Programming Languages (cs.PL); Data Structures and Algorithms (cs.DS); Software Engineering (cs.SE)

[17] arXiv:cs/0409017 [pdf, other]

Title: Near Optimal Routing for Small-World Networks with Augmented Local Awareness

Jianyang Zeng, Wen-Jing Hsu, Jiangdian Wang

Comments: 16 pages, 1 table and 3 figures. Experimental results are added

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

[18] arXiv:cs/0409018 [pdf, other]

Title: PKI Scalability Issues

Adam J Slagell, Rafael Bonilla

Comments: 23 pages, 2 figures

Subjects: Cryptography and Security (cs.CR)

[19] arXiv:cs/0409019 [pdf, other]

Title: Outlier Detection by Logic Programming

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

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

[20] arXiv:cs/0409020 [pdf, other]

Title: A Generalized Disjunctive Paraconsistent Data Model for Negative and Disjunctive Information

Haibin Wang, Yuanchun He, Rajshekhar Sunderraman

Comments: 12 pages

Subjects: Databases (cs.DB)

[21] arXiv:cs/0409021 [pdf, other]

Title: Should Cyberspace Chat Rooms be closed to protect Children?

Vita Hinze-Hoare

Subjects: Computers and Society (cs.CY)

[22] arXiv:cs/0409022 [pdf, other]

Title: Two Models for the Study of Congested Internet Connections

Ian Frommer, Eric Harder, Brian Hunt, Ryan Lance, Edward Ott, James Yorke

Comments: 10 pages, 9 figures, extended version of CCN '04 Paper

Subjects: Networking and Internet Architecture (cs.NI)

[23] arXiv:cs/0409023 [pdf, other]

Title: Proximity Inversion Functions on the Non-Negative Integers

Brendan Lucier

Comments: 20 pages, Latex; v2: Introduction expanded, Proof of main theorem rewritten for clarity, formatting changed

Subjects: Discrete Mathematics (cs.DM)

[24] arXiv:cs/0409024 [pdf, other]

Title: Aperiodic Tilings: Breaking Translational Symmetry

Leonid A. Levin

Comments: 4 pages, 2 figures, minor changes

Journal-ref: The Computer Journal, 48(6):642-645, 2005

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

[25] arXiv:cs/0409025 [pdf, other]

Title: Topics in asynchronous systems

Serban E. Vlad

Comments: 40 pages

Journal-ref: Analele Universitatii din Oradea, Fascicola Matematica, TOM X, 2003

Subjects: Hardware Architecture (cs.AR)

[26] arXiv:cs/0409026 [pdf, other]

Title: Capacity-achieving ensembles for the binary erasure channel with bounded complexity

H. Pfister, I. Sason, R. Urbanke

Comments: 47 pages, 9 figures. Submitted to IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, Vol. 51 (7), pp. 2352-2379, July 2005

Subjects: Information Theory (cs.IT)

[27] arXiv:cs/0409027 [pdf, other]

Title: Bounds on the decoding complexity of punctured codes on graphs

H. Pfister, I. Sason, R. Urbanke

Comments: 11 pages, 3 figures. To appear in the Proc. Forty-Second Annual Allerton Conference on Communication, Control and Computing, Urbana-Champaign, IL, USA, September 29-October 1, 2004

Subjects: Information Theory (cs.IT)

[28] arXiv:cs/0409028 [pdf, other]

Title: Incentive Systems in Multi-Level Markets for Virtual Goods

Andreas U. Schmidt

Comments: 18 pages, 5 figures; graphics with reduced resolution. Full resolution available on author's homepage. Accepted contribution to the Workshop 'Virtual Goods' at the Conference AXMEDIS 2005, 30. November - 2. December, Florence, Italy

Subjects: Computer Science and Game Theory (cs.GT); Computers and Society (cs.CY)

[29] arXiv:cs/0409029 [pdf, other]

Title: Efficient polynomial time algorithms computing industrial-strength primitive roots

Jacques Dubrois (Axalto), Jean-Guillaume Dumas (LJK)

Journal-ref: Information Processing Letters 97, 2 (2006) 41-45

Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)

[30] arXiv:cs/0409030 [pdf, other]

Title: Automatic Generation of CHR Constraint Solvers

Slim Abdennadher, Christophe Rigotti

Comments: to be published in Theory and Practice of Logic Programming, 16 pages, 2 figures

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

[31] arXiv:cs/0409031 [pdf, other]

Title: Field Geology with a Wearable Computer: First Results of the Cyborg Astrobiologist System

Patrick C. McGuire, Javier Gomez-Elvira, Jose Antonio Rodriguez-Manfredi, Eduardo Sebastian-Martinez, Jens Ormo, Enrique Diaz-Martinez, Helge Ritter, Markus Oesker, Robert Haschke, Joerg Ontrup

Comments: 7 pages, 6 figures. Submitted to ICRA'2005 (Int'l Conf. on Robotics & Automation, IEEE), April 18-22, 2005, Barcelona, Spain

Subjects: Computer Vision and Pattern Recognition (cs.CV); Astrophysics (astro-ph); Robotics (cs.RO)

[32] arXiv:cs/0409032 [pdf, other]

Title: Desynchronization and Speedup in an Asynchronous Conservative Parallel Update Protocol

A. Kolakowska, M. A. Novotny

Comments: Invited chapter in "Progress in Computer Science Research", Nova Science Publishers; 34 pages, 12 figures, 32 references

Journal-ref: Ch.6 in "Artificial Inteligence and Computer Science" ed by S. Shannon, pp.151-176 (2005 Nova Science Piblishers, Inc., New York) ISBN 1-59454-411-5

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Materials Science (cond-mat.mtrl-sci); Computational Physics (physics.comp-ph)

[33] arXiv:cs/0409033 [pdf, other]

Title: Mean and Variance Estimation by Kriging

Tomasz Suslo

Comments: 3 pages, 1 figure, source code (this http URL) and input file (this http URL) attached

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

[34] arXiv:cs/0409034 [pdf, other]

Title: Securing Data in Storage: A Review of Current Research

Paul Stanton

Comments: 22 pages, 4 figures, 3 tables

Subjects: Operating Systems (cs.OS); Cryptography and Security (cs.CR)

[35] arXiv:cs/0409035 [pdf, other]

Title: Parallel Computing Environments and Methods for Power Distribution System Simulation

Ning Lu, Z. Todd Taylor, David P. Chassin, Ross T. Guttromson, R. Scott Studham

Comments: 7 pages, 4 figures, 6 tables, submitted to HICSS-38

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Engineering, Finance, and Science (cs.CE); Multiagent Systems (cs.MA); Performance (cs.PF)

[36] arXiv:cs/0409036 [pdf, other]

Title: A Directed Signature Scheme and its Applications

Sunder Lal, Manoj Kumar

Comments: 9 Pages, No figures. Presented in the National Conference on Information Security, New Delhi- India, Jan-2003

Subjects: Cryptography and Security (cs.CR)

[37] arXiv:cs/0409037 [pdf, other]

Title: Business Processes: The Theoretical Impact of Process Thinking on Information Systems Development

Mark Dumay

Comments: 22 pages

Subjects: Other Computer Science (cs.OH)

[38] arXiv:cs/0409038 [pdf, other]

Title: Checking modes of HAL programs

Maria Garcia de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen

Comments: 46 pages, 3 figures To appear in Theory and Practice of Logic Programming

Journal-ref: Theory and Practice of Logic Programming: 5(6):623-668, 2005

Subjects: Programming Languages (cs.PL)

[39] arXiv:cs/0409039 [pdf, other]

Title: NP - P is not empty

Marius Constantin Ionescu

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[40] arXiv:cs/0409040 [pdf, other]

Title: Unification of Fusion Theories

Florentin Smarandache

Comments: 14 pages

Journal-ref: Presented at NATO Advanced Study Institute, Albena, Bulgaria, 16-27 May 2005. International Journal of Applied Mathematics & Statistics, Vol. 2, 1-14, 2004.

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:cs/0409041 [pdf, other]

Title: Four Principles Fundamental to Design Practice for Human Centred Systems

Vita Hinze-Hoare

Subjects: Human-Computer Interaction (cs.HC)

[42] arXiv:cs/0409042 [pdf, other]

Title: A new architecture for making highly scalable applications

Harry Fitié

Comments: 13 pages, 7 figures, 5 tables

Subjects: Human-Computer Interaction (cs.HC); Computation and Language (cs.CL)

[43] arXiv:cs/0409043 [pdf, other]

Title: Inapproximability of Combinatorial Optimization Problems

Luca Trevisan

Subjects: Computational Complexity (cs.CC)

[44] arXiv:cs/0409044 [pdf, other]

Title: Some Applications of Coding Theory in Computational Complexity

Luca Trevisan

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

[45] arXiv:cs/0409045 [pdf, other]

Title: Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results

Amar Isli

Comments: in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 123-127, Valencia, Spain, 2004

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

[46] arXiv:cs/0409046 [pdf, other]

Title: A TCSP-like decidable constraint language generalising existing cardinal direction relations

Amar Isli

Comments: in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 135-139, Valencia, Spain, 2004

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

[47] arXiv:cs/0409047 [pdf, other]

Title: An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change

Amar Isli

Comments: in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 129-133, Valencia, Spain, 2004

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

[48] arXiv:cs/0409048 [pdf, other]

Title: FORM Matters: Fast Symbolic Computation under UNIX

Michael M. Tung (Universidad Politecnica de Valencia)

Comments: 10 pages, PDF document (PDFLaTeX source available upon request) with 2 JPG figures; submitted to Computers & Mathematics with Applications

Journal-ref: Comp. Math. Appl. 49 (2005) 1127-1137

Subjects: Symbolic Computation (cs.SC)

[49] arXiv:cs/0409049 [pdf, other]

Title: A Directed -Threshold Multi-Signature Scheme

Sunder lal, Manoj Kumar

Comments: 12 pages, no figures

Subjects: Cryptography and Security (cs.CR)

[50] arXiv:cs/0409050 [pdf, other]

Title: Some Applications of Directed Signature Scheme

Sunder Lal, Manoj Kumar

Comments: 12 pages, no figures, this paper provides some application of directed signature scheme

Subjects: Cryptography and Security (cs.CR)